class Tensai::Logic::Formulas::Atom

Atomic formula

Public Instance Methods

after_initialize() click to toggle source
# File lib/tensai/logic/formulas/atom.rb, line 20
def after_initialize
  raise ArgumentError, "Invalid values #{values} for predicate #{predicate}" unless predicate.accepts? values
end
inspect() click to toggle source
# File lib/tensai/logic/formulas/atom.rb, line 24
def inspect
  "(#{predicate.name} #{values.map { |name, value| "#{name}: #{value.inspect}" }.join(', ')})"
end