constraints - Factor Documentation (original) (raw)

constraints

Vocabulary
compiler.tree.propagation.constraints

Variable description
A sequence of assocs. They maps constraints to constraints ('A implies B').

Definition

IN: compiler.tree.propagation.constraints

SYMBOL: constraints inline