class

PatternMatching::PresentConstraint

Inherits PatternMatching::Constraint < Reference < Object

Present constraint - ensures atoms exist in the atomspace

Constructors

new(atoms : Array(AtomSpace::Atom))
new(atom : AtomSpace::Atom)

Instance methods

atoms
satisfied?(bindings : VariableBinding, atomspace : AtomSpace::AtomSpace) : Bool
to_s(io)