Contents

module Ravensat
  class OrNode < OprNode
    def cnf?
      return false if @children.any?{|node| node.is_a? AndNode}
      @children.map(&:cnf?).reduce(:&)
    end
  end
end

Version data entries

5 entries across 5 versions & 1 rubygems

Version	Path
ravensat-0.3.2	lib/ravensat/ast/or_node.rb
ravensat-0.3.1	lib/ravensat/ast/or_node.rb
ravensat-0.3.0	lib/ravensat/ast/or_node.rb
ravensat-0.2.2	lib/ravensat/ast/or_node.rb
ravensat-0.2.1	lib/ravensat/ast/or_node.rb