Class: Ravensat::PropVar

Inherits:
Object
  • Object
show all
Defined in:
lib/ravensat/prop_var.rb

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize ⇒ PropVar 



5
6
7
 
# File 'lib/ravensat/prop_var.rb', line 5

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

Instance Attribute Details

#value ⇒ Object

Returns the value of attribute value.



3
4
5
 
# File 'lib/ravensat/prop_var.rb', line 3

def value
  @value
end

Instance Method Details

#&(object) ⇒ Object 



25
26
27
28
 
# File 'lib/ravensat/prop_var.rb', line 25

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

#formula ⇒ Object 



35
36
37
38
 
# File 'lib/ravensat/prop_var.rb', line 35

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

#|(object) ⇒ Object 



30
31
32
33
 
# File 'lib/ravensat/prop_var.rb', line 30

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

#~@ ⇒ Object

def -@

# return PropLogic object
'this is -@ method'

end



20
21
22
23
 
# File 'lib/ravensat/prop_var.rb', line 20

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