Support for predicated value info (original) (raw)
Support for predicated value info
A constraint is a statement about a value. The compiler.tree.propagation.constraints vocabulary implements these constraints for propagation of values through the compilation process.
