class

Lrama::Counterexamples::Example

Inherits Reference < Object

Constructors

new(path1 : Array(StateItem), path2 : Array(StateItem), conflict : State::ShiftReduceConflict | State::ReduceReduceConflict, conflict_symbol : Grammar::Symbol, counterexamples : Counterexamples)
Source

Instance methods

conflict
Source
conflict_symbol
Source
derivations1
Source
derivations2
Source
path1
Source
path1_item
Source
path2
Source
path2_item
Source
type
Source