Set element propagators More...
Classes | |
class | ElementDisjoint |
Propagator for element with disjointness More... | |
class | ElementIntersection |
Propagator for element with intersection More... | |
class | ElementUnion |
Propagator for element with union More... | |
class | ElementUnionConst |
Propagator for element with union of constant sets More... |
Set element propagators