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