class Ravensat::PropVar

Attributes

value[RW]

Public Class Methods

new() click to toggle source
# File lib/ravensat/prop_var.rb, line 5
def initialize
  @value # => true | false | undef
end

Public Instance Methods

&( object ) click to toggle source
# File lib/ravensat/prop_var.rb, line 25
def &( object )
  Ravensat::PropLogic.new [:and, self, object.formula]
  # return PropLogic object
end
formula() click to toggle source
# File lib/ravensat/prop_var.rb, line 35
def formula
  # $BIU$1>F?O%a%=%C%I(B
  self
end
|( object ) click to toggle source
# File lib/ravensat/prop_var.rb, line 30
def |( object )
  Ravensat::PropLogic.new [:or, self, object.formula]
  # return PropLogic object
end