class

Lrama::Counterexamples

See: https://www.cs.cornell.edu/andru/papers/cupex/cupex.pdf 4. Constructing Nonunifying Counterexamples

Constants

CumulativeTimeLimit = 120

PathSearchTimeLimit = 10

new(states : States)

compute(conflict_state : State) : Array(Example)

inspect

Returns an unambiguous and information-rich string representation of this object, typically intended for developers.

This method should usually not be overridden. It delegates to #inspect(IO) which can be overridden for custom implementations.

Also see #to_s.

productions

to_s

Returns a nicely readable and concise string representation of this object, typically intended for users.

This method should usually not be overridden. It delegates to #to_s(IO) which can be overridden for custom implementations.

Also see #inspect.

transitions