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

Inherits:

Struct

• Object
• Struct
• Ibex::Verify::ActionCorrespondence::Result

Defined in:

lib/ibex/verify/action_correspondence.rb

Instance Attribute Summary

• #differences ⇒ Object

  Returns the value of attribute differences.

• #explored ⇒ Object

  Returns the value of attribute explored.

• #truncated ⇒ Object

  Returns the value of attribute truncated.

Instance Method Summary

• #ok? ⇒ Boolean

Instance Attribute Details

#differences ⇒ Object

Returns the value of attribute differences

Returns:

• (Object) —

  the current value of differences

# 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

# 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

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

def truncated
  @truncated
end

Instance Method Details

#ok? ⇒ Boolean

Returns:

• (Boolean)

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

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