Contents

module Ravensat
  class AndNode < OprNode
    def &(object)
      @children.append object
      self
    end

    def to_dimacs
      " 0\n"
    end
  end
end

Version data entries

7 entries across 7 versions & 1 rubygems

Version	Path
ravensat-1.0.6	lib/ravensat/ast/and_node.rb
ravensat-1.0.5	lib/ravensat/ast/and_node.rb
ravensat-1.0.4	lib/ravensat/ast/and_node.rb
ravensat-1.0.3	lib/ravensat/ast/and_node.rb
ravensat-1.0.2	lib/ravensat/ast/and_node.rb
ravensat-1.0.1	lib/ravensat/ast/and_node.rb
ravensat-1.0.0	lib/ravensat/ast/and_node.rb