Vocabulary
compiler.tree.propagation.constraints

Inputs
constraintan object
boolean-valuean object


Outputs
constraint'an object


Definition


: f--> ( constraint boolean-value -- constraint' ) =f swap --> ;