class

Lrama::Counterexamples::StateItem

Inherits Reference < Object

Constructors

new(id : Int32, state : State, item : State::Item)
Source

Instance methods

item
Source
state
Source
type
Source