Class: Ibex::Verify::ActionCorrespondence::Result

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

Instance Attribute Details

#differences ⇒ Object

Returns the value of attribute differences

Returns:

  • (Object) —

    the current value of differences



21
22
23
 
# File 'lib/ibex/verify/action_correspondence.rb', line 21

def differences
  @differences
end

#explored ⇒ Object

Returns the value of attribute explored

Returns:

  • (Object) —

    the current value of explored



21
22
23
 
# File 'lib/ibex/verify/action_correspondence.rb', line 21

def explored
  @explored
end

#truncated ⇒ Object

Returns the value of attribute truncated

Returns:

  • (Object) —

    the current value of truncated



21
22
23
 
# File 'lib/ibex/verify/action_correspondence.rb', line 21

def truncated
  @truncated
end

Class Method Details

.new ⇒ instance

Parameters:

  • differences: (Array[Difference])
  • explored: (Integer)
  • truncated: (Boolean)

Returns:

  • (instance) 


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

def self.new: (differences: Array[Difference], explored: Integer, truncated: bool) -> instance

Instance Method Details

#ok? ⇒ Boolean

Returns:

  • (Boolean) 


22
23
24
 
# File 'lib/ibex/verify/action_correspondence.rb', line 22

def ok?
  differences.empty? && !truncated
end