-- 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..