class

PatternMatching::PresentConstraint

Inherits PatternMatching::Constraint < Reference < Object

Present constraint - ensures atoms exist in the atomspace

Constructors

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

Instance methods

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