class

PatternMatching::EqualityConstraint

Inherits PatternMatching::Constraint < Reference < Object

Equality constraint - ensures two expressions bind to equal atoms

Constructors

new(left : AtomSpace::Atom, right : AtomSpace::Atom)

Instance methods

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