Contents

module Ravensat
  class OrNode < OprNode
    def |(object)
      raise TypeError.new("#{object.class} can't be coerced into Ravensat::Node") unless object.is_a? Node
      @children.append object
      self
    end

    def cnf?
      return false if @children.any?{|node| node.is_a? AndNode}
      @children.map(&:cnf?).reduce(:&)
    end

    def to_dimacs
      " "
    end
  end
end

Version data entries

2 entries across 2 versions & 1 rubygems

Version	Path
ravensat-1.0.8	lib/ravensat/ast/or_node.rb
ravensat-1.0.7	lib/ravensat/ast/or_node.rb