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)
Source

Instance methods

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