Contents

module Ravensat
  class PropVar
    attr_accessor :value

    def initialize
      @value # => true | false | undef
    end

    # def +@
    #   # unuse?
    #   # return PropLogic object
    #   'this is +@ method'
    # end

    # def -@
    #   # return PropLogic object
    #   'this is -@ method'
    # end

    def ~@
      Ravensat::PropLogic.new [:not, self]
      # return PropLogic object
    end

    def &( object )
      Ravensat::PropLogic.new [:and, self, object.formula]
      # return PropLogic object
    end

    def |( object )
      Ravensat::PropLogic.new [:or, self, object.formula]
      # return PropLogic object
    end

    def formula
      # $BIU$1>F?O%a%=%C%I(B
      self
    end

    # def self
    #   'this is self method'
    # end

  end
end

Version data entries

2 entries across 2 versions & 1 rubygems

Version	Path
ravensat-0.1.1	lib/ravensat/prop_var.rb
ravensat-0.1.0	lib/ravensat/prop_var.rb