satisfied? ( constraint -- ? )


Vocabulary
compiler.tree.propagation.constraints

Inputs
constrainta constraint


Outputs
?a boolean


Word description
The name satisfied? is imprecise. This word is used to prevent infinite loops, so it is only implemented for true-constraint and false-constraint.

Definition


Methods