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