Class: Falluto::NuSMV::AuxiliarVariable

Inherits:

Object

• Object
• Falluto::NuSMV::AuxiliarVariable

Defined in:

lib/falluto/nusmv/fault.rb

Instance Attribute Summary

• #condition ⇒ Object readonly

  Returns the value of attribute condition.

• #name ⇒ Object readonly

  Returns the value of attribute name.

Instance Method Summary

• #initialize(name, condition) ⇒ AuxiliarVariable constructor

  A new instance of AuxiliarVariable.

Constructor Details

#initialize(name, condition) ⇒ AuxiliarVariable

Returns a new instance of AuxiliarVariable.

# File 'lib/falluto/nusmv/fault.rb', line 5

def initialize name, condition
  @name, @condition = name, condition
end

Instance Attribute Details

#condition ⇒ Object (readonly)

Returns the value of attribute condition.

# File 'lib/falluto/nusmv/fault.rb', line 4

def condition
  @condition
end

#name ⇒ Object (readonly)

Returns the value of attribute name.

# File 'lib/falluto/nusmv/fault.rb', line 4

def name
  @name
end