Class: Ravensat::AndNode

Inherits:
OprNode show all
Defined in:
lib/ravensat/ast/and_node.rb

Instance Attribute Summary

Attributes inherited from Node

#children

Instance Method Summary collapse

Methods inherited from OprNode

#initialize

Methods inherited from Node

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

Constructor Details

This class inherits a constructor from Ravensat::OprNode

Instance Method Details

#&(object) ⇒ Object 



3
4
5
6
 
# File 'lib/ravensat/ast/and_node.rb', line 3

def &(object)
  @children.append object
  self
end

#to_dimacs ⇒ Object 



8
9
10
 
# File 'lib/ravensat/ast/and_node.rb', line 8

def to_dimacs
  " 0\n"
end