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 |