Contents

module Ravensat
  class VarNode < Node
    attr_accessor :value
    def initialize
      @value
      @children = []
    end

    def ~@
      NotNode.new(self)
    end

    def cnf?
      true
    end
  end
end

Version data entries

3 entries across 3 versions & 1 rubygems

Version	Path
ravensat-0.3.0	lib/ravensat/ast/var_node.rb
ravensat-0.2.2	lib/ravensat/ast/var_node.rb
ravensat-0.2.1	lib/ravensat/ast/var_node.rb