Class: Ibex::Verify::ActionCorrespondence::Difference

Inherits:
Struct
  • Object
show all
Defined in:
lib/ibex/verify/action_correspondence.rb

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(**values) ⇒ Difference

Returns a new instance of Difference.



15
16
17
18
 
# File 'lib/ibex/verify/action_correspondence.rb', line 15

def initialize(**values)
  super
  freeze
end

Instance Attribute Details

#canonical ⇒ Object

Returns the value of attribute canonical

Returns:

  • (Object) —

    the current value of canonical



13
14
15
 
# File 'lib/ibex/verify/action_correspondence.rb', line 13

def canonical
  @canonical
end

#canonical_state ⇒ Object

Returns the value of attribute canonical_state

Returns:

  • (Object) —

    the current value of canonical_state



13
14
15
 
# File 'lib/ibex/verify/action_correspondence.rb', line 13

def canonical_state
  @canonical_state
end

#kind ⇒ Object

Returns the value of attribute kind

Returns:

  • (Object) —

    the current value of kind



13
14
15
 
# File 'lib/ibex/verify/action_correspondence.rb', line 13

def kind
  @kind
end

#symbol ⇒ Object

Returns the value of attribute symbol

Returns:

  • (Object) —

    the current value of symbol



13
14
15
 
# File 'lib/ibex/verify/action_correspondence.rb', line 13

def symbol
  @symbol
end

#target ⇒ Object

Returns the value of attribute target

Returns:

  • (Object) —

    the current value of target



13
14
15
 
# File 'lib/ibex/verify/action_correspondence.rb', line 13

def target
  @target
end

#target_state ⇒ Object

Returns the value of attribute target_state

Returns:

  • (Object) —

    the current value of target_state



13
14
15
 
# File 'lib/ibex/verify/action_correspondence.rb', line 13

def target_state
  @target_state
end