Class for posting equalities for non-relaxed variables. More...
Public Member Functions | |
ExecStatus | operator() (Home home, SetVar x, SetVar sx) |
Post the actual equality for non-relaxed variables. More... | |
ExecStatus Gecode::Set::Relax::operator() | ( | Home | home, |
SetVar | x, | ||
SetVar | sx | ||
) |
Post the actual equality for non-relaxed variables.