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

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

Instance Attribute Summary collapse

Class Method 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

Class Method Details

.new ⇒ instance

Parameters:

  • kind: (Symbol)
  • canonical_state: (Integer)
  • target_state: (Integer)
  • symbol: (Integer, nil)
  • canonical: (correspondence_action, nil)
  • target: (correspondence_action, nil)

Returns:

  • (instance) 


16
 
# File 'sig/ibex/verify/action_correspondence.rbs', line 16

def self.new: (kind: Symbol, canonical_state: Integer, target_state: Integer, symbol: Integer?, canonical: correspondence_action?, target: correspondence_action?) -> instance