Class: Lrama::Counterexamples::StateItem

Inherits:

Struct

• Object
• Struct
• Lrama::Counterexamples::StateItem

Defined in:

lib/lrama/counterexamples/state_item.rb

Instance Attribute Summary

• #item ⇒ Object

  Returns the value of attribute item.

• #state ⇒ Object

  Returns the value of attribute state.

Instance Attribute Details

#item ⇒ Object

Returns the value of attribute item

Returns:

• (Object) —

  the current value of item

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

def item
  @item
end

#state ⇒ Object

Returns the value of attribute state

Returns:

• (Object) —

  the current value of state

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

def state
  @state
end