class School::BinaryPattern(F, A, B)

• School::BinaryPattern(F, A, B)
• School::FactPattern
• School::Pattern
• School::BasePattern
• Reference
• Object

Overview

A pattern that matches a fact with two arguments.

Defined in:

Constructors

• .new(fact_class : F.class, a : A, b : B)
• .new(a : A, b : B)

Class Method Summary

• .assert(a : F::A | Lit | Var, b : F::B | Lit | Var, bindings : Bindings)

  Asserts the associated Fact.

• .retract(a : F::A | Lit | Var, b : F::B | Lit | Var, bindings : Bindings)

  Retracts the associated Fact.

Instance Method Summary

• #a
• #b
• #match(fact : Fact, bindings : Bindings) : Bindings | Nil

  Indicates whether or not the fact matches the pattern.

• #vars : Enumerable(String)

  Returns the variables in the pattern.

Constructor Detail

Class Method Detail

Instance Method Detail