Contents

module Ravensat
  class NotNode < OprNode
    def ~@
      @children.first
    end

    def to_dimacs
      "-"
    end
  end
end

Version data entries

10 entries across 10 versions & 1 rubygems

Version	Path
ravensat-1.0.9	lib/ravensat/ast/not_node.rb
ravensat-1.0.8	lib/ravensat/ast/not_node.rb
ravensat-1.0.7	lib/ravensat/ast/not_node.rb
ravensat-1.0.6	lib/ravensat/ast/not_node.rb
ravensat-1.0.5	lib/ravensat/ast/not_node.rb
ravensat-1.0.4	lib/ravensat/ast/not_node.rb
ravensat-1.0.3	lib/ravensat/ast/not_node.rb
ravensat-1.0.2	lib/ravensat/ast/not_node.rb
ravensat-1.0.1	lib/ravensat/ast/not_node.rb
ravensat-1.0.0	lib/ravensat/ast/not_node.rb