class

Lrama::Counterexamples::Derivation

Inherits Reference < Object

Constructors

new(item : State::Item, left : Derivation | Nil)
Source

Instance methods

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.

Source
item
Source
left
Source
render_for_report
Source
render_strings_for_report
Source
right
Source
right=(right : Derivation | Nil)
Source
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.

Source