Class: Lrama::Counterexamples::StateItem

Inherits:
Struct
  • Object
show all
Defined in:
lib/lrama/counterexamples/state_item.rb

Instance Attribute Summary collapse

Instance Attribute Details

#itemObject

Returns the value of attribute item

Returns:

  • (Object)

    the current value of item



5
6
7
# File 'lib/lrama/counterexamples/state_item.rb', line 5

def item
  @item
end

#stateObject

Returns the value of attribute state

Returns:

  • (Object)

    the current value of state



5
6
7
# File 'lib/lrama/counterexamples/state_item.rb', line 5

def state
  @state
end