Class: Ravensat::InitialNode

Inherits:

Node

• Object
• Node
• Ravensat::InitialNode

Defined in:

lib/ravensat/ast/initial_node.rb

Instance Attribute Summary

Attributes inherited from Node

#children

Instance Method Summary

• #&(object) ⇒ Object
• #|(object) ⇒ Object

Methods inherited from Node

#clauses_size, #cnf?, #each, #initialize, #to_s, #vars, #vars_size

Constructor Details

This class inherits a constructor from Ravensat::Node

Instance Method Details

#&(object) ⇒ Object

# File 'lib/ravensat/ast/initial_node.rb', line 3

def &(object)
  object
end

#|(object) ⇒ Object

# File 'lib/ravensat/ast/initial_node.rb', line 7

def |(object)
  object
end