Set operation/relation constraints
[Using integer set variables and constraints]
Functions | |
void | Gecode::rel (Home home, SetVar x, SetOpType op, SetVar y, SetRelType r, SetVar z) |
Post propagator for . | |
void | Gecode::rel (Home home, SetOpType op, const SetVarArgs &x, SetVar y) |
Post propagator for . | |
void | Gecode::rel (Home home, SetOpType op, const SetVarArgs &x, const IntSet &z, SetVar y) |
Post propagator for . | |
void | Gecode::rel (Home home, SetOpType op, const IntVarArgs &x, const IntSet &z, SetVar y) |
Post propagator for . | |
void | Gecode::rel (Home home, SetOpType op, const IntVarArgs &x, SetVar y) |
Post propagator for . | |
void | Gecode::rel (Home home, const IntSet &x, SetOpType op, SetVar y, SetRelType r, SetVar z) |
Post propagator for . | |
void | Gecode::rel (Home home, SetVar x, SetOpType op, const IntSet &y, SetRelType r, SetVar z) |
Post propagator for . | |
void | Gecode::rel (Home home, SetVar x, SetOpType op, SetVar y, SetRelType r, const IntSet &z) |
Post propagator for . | |
void | Gecode::rel (Home home, const IntSet &x, SetOpType op, SetVar y, SetRelType r, const IntSet &z) |
Post propagator for . | |
void | Gecode::rel (Home home, SetVar x, SetOpType op, const IntSet &y, SetRelType r, const IntSet &z) |
Post propagator for . |
Function Documentation
void Gecode::rel | ( | Home | home, | |
SetVar | x, | |||
SetOpType | op, | |||
SetVar | y, | |||
SetRelType | r, | |||
SetVar | z | |||
) |
Post propagator for .
void Gecode::rel | ( | Home | home, | |
SetOpType | op, | |||
const SetVarArgs & | x, | |||
SetVar | y | |||
) |
Post propagator for .
void Gecode::rel | ( | Home | home, | |
SetOpType | op, | |||
const SetVarArgs & | x, | |||
const IntSet & | z, | |||
SetVar | y | |||
) |
Post propagator for .
void Gecode::rel | ( | Home | home, | |
SetOpType | op, | |||
const IntVarArgs & | x, | |||
const IntSet & | z, | |||
SetVar | y | |||
) |
Post propagator for .
void Gecode::rel | ( | Home | home, | |
SetOpType | op, | |||
const IntVarArgs & | x, | |||
SetVar | y | |||
) |
Post propagator for .
void Gecode::rel | ( | Home | home, | |
const IntSet & | x, | |||
SetOpType | op, | |||
SetVar | y, | |||
SetRelType | r, | |||
SetVar | z | |||
) |
Post propagator for .
void Gecode::rel | ( | Home | home, | |
SetVar | x, | |||
SetOpType | op, | |||
const IntSet & | y, | |||
SetRelType | r, | |||
SetVar | z | |||
) |
Post propagator for .
void Gecode::rel | ( | Home | home, | |
SetVar | x, | |||
SetOpType | op, | |||
SetVar | y, | |||
SetRelType | r, | |||
const IntSet & | z | |||
) |
Post propagator for .
void Gecode::rel | ( | Home | home, | |
const IntSet & | x, | |||
SetOpType | op, | |||
SetVar | y, | |||
SetRelType | r, | |||
const IntSet & | z | |||
) |
Post propagator for .
void Gecode::rel | ( | Home | home, | |
SetVar | x, | |||
SetOpType | op, | |||
const IntSet & | y, | |||
SetRelType | r, | |||
const IntSet & | z | |||
) |
Post propagator for .