-- ConflictAnal.mesa
-- last edit     January 21, 1986 12:08:20 pm PST
-- Sturgis, April 1, 1986 9:45:55 am PST

DIRECTORY
IO USING[STREAM],
ParserGraphAlgorithms USING[Event],
ParserGraphs USING[Graph],
TerminalSequences USING[TerminalSeqSet];


ConflictAnal: CEDAR DEFINITIONS  =

BEGIN

AnalyzeLALR1Conflicts: PROC[graph: ParserGraphs.Graph, on: IO.STREAM, noteEvent: PROC[ParserGraphAlgorithms.Event]] 
RETURNS[--IsLR1-- BOOLEAN];


<<following is implemented in FixedTerminalSequencesImpl and should be exported by TerminalSequencesImpl to TerminalSequences>>

TestNonEmptyIntersection: PUBLIC PROC[a, b: TerminalSequences.TerminalSeqSet] RETURNS[BOOLEAN]

END..