Class: Ravensat::OprNode

Inherits:

Node

• Object
• Node
• Ravensat::OprNode

Defined in:

lib/ravensat/ast/opr_node.rb

Direct Known Subclasses

AndNode, NotNode, OrNode

Instance Attribute Summary

Attributes inherited from Node

#children

Instance Method Summary

• #initialize(*nodes) ⇒ OprNode constructor

  A new instance of OprNode.

Methods inherited from Node

#&, #clauses_size, #cnf?, #each, #each_by_descriptive, #eval, #to_dimacs, #to_s, #vars, #vars_size, #|

Constructor Details

#initialize(*nodes) ⇒ OprNode

Returns a new instance of OprNode.

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

def initialize(*nodes)
  @children = nodes
end