Class: Ravensat::Extension::BooleanVariable

Inherits:

Variable

• Object
• Variable
• Ravensat::Extension::BooleanVariable

Extended by:

Forwardable

Defined in:

lib/ravensat/extension/variable/boolean_variable.rb

Instance Attribute Summary

Attributes inherited from Variable

#args, #name

Instance Method Summary

• #initialize(name, args) ⇒ BooleanVariable constructor

  A new instance of BooleanVariable.

Methods inherited from Variable

#is_defined?

Constructor Details

#initialize(name, args) ⇒ BooleanVariable

Returns a new instance of BooleanVariable.

# File 'lib/ravensat/extension/variable/boolean_variable.rb', line 11

def initialize(name, args)
  super
  @var_node = VarNode.new
end