class

PatternMatching::Constraint

Inherits Reference < Object

Base class for pattern matching constraints

Instance methods

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