"accepted" grants the step: constraint propagation may derive values
through it. "rejected" withholds the step and strikes the whole premise
the operator lives in from the evaluated set — it asserts nothing, and in
particular never forces the expression or its children to false.
Operator decision recorded by a reader.
"accepted"grants the step: constraint propagation may derive values through it."rejected"withholds the step and strikes the whole premise the operator lives in from the evaluated set — it asserts nothing, and in particular never forces the expression or its children tofalse.