class LogicalContext
Public Instance Methods
!=(a, b)
click to toggle source
# File lib/logic_analyzer/logical_context.rb, line 26 def !=(a, b) a.xor b end
<=>(a, b)
click to toggle source
# File lib/logic_analyzer/logical_context.rb, line 22 def <=>(a, b) a.if_and_only_if b end
>(a, b)
click to toggle source
# File lib/logic_analyzer/logical_context.rb, line 18 def >(a, b) a.then b end
connectors()
click to toggle source
# File lib/logic_analyzer/logical_context.rb, line 4 def connectors %i[and or xor then if_and_only_if not] end
define_premise(premise, value)
click to toggle source
# File lib/logic_analyzer/logical_context.rb, line 8 def define_premise(premise, value) define_singleton_method(premise) do value end end
not(expression)
click to toggle source
# File lib/logic_analyzer/logical_context.rb, line 30 def not(expression) !expression end
truth_value(sentence)
click to toggle source
# File lib/logic_analyzer/logical_context.rb, line 14 def truth_value(sentence) eval('lambda { ' + sentence + ' } ').call end