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