Functions | |
void | Gecode::min (Home home, SetVar s, IntVar x) |
Post propagator that propagates that x is the minimal element of s, and that s is not empty. More... | |
void | Gecode::notMin (Home home, SetVar s, IntVar x) |
Post propagator that propagates that x is not the minimal element of s. More... | |
void | Gecode::min (Home home, SetVar s, IntVar x, Reify r) |
Post reified propagator for b iff x is the minimal element of s. More... | |
void | Gecode::max (Home home, SetVar s, IntVar x) |
Post propagator that propagates that x is the maximal element of s, and that s is not empty. More... | |
void | Gecode::notMax (Home home, SetVar s, IntVar x) |
Post propagator that propagates that x is not the maximal element of s. More... | |
void | Gecode::max (Home home, SetVar s, IntVar x, Reify r) |
Post reified propagator for b iff x is the maximal element of s. More... | |
void | Gecode::cardinality (Home home, SetVar s, IntVar x) |
Post propagator for ![]() | |
void | Gecode::weights (Home home, IntSharedArray elements, IntSharedArray weights, SetVar x, IntVar y) |
Post propagator for ![]() | |
Post propagator for .
Definition at line 70 of file cardinality.cpp.
void Gecode::weights | ( | Home | home, |
IntSharedArray | elements, | ||
IntSharedArray | weights, | ||
SetVar | x, | ||
IntVar | y | ||
) |