Unary constraint (source code)

= Unary constraint

A restriction on the value of one <variable>. In a finite-domain <constraint satisfaction problem>, it can be applied by deleting disallowed values from that <variable>'s <constraint domain> before search. It introduces no <edge> in the binary <constraint graph>.