
Class for posting equalities for non-relaxed variables. More...
Public Member Functions | |
| ExecStatus | operator() (Home home, IntVar x, IntVar sx) |
| Post the actual equality for non-relaxed variables. | |
| ExecStatus | operator() (Home home, BoolVar x, BoolVar sx) |
| Post the actual equality for non-relaxed variables. | |
|
inline |
|
inline |