|
void | abs (Home home, FloatVar x0, FloatVar x1) |
| Post propagator for . More...
|
|
void | max (Home home, FloatVar x0, FloatVar x1, FloatVar x2) |
| Post propagator for . More...
|
|
void | max (Home home, const FloatVarArgs &x, FloatVar y) |
| Post propagator for If x is empty, an exception of type Float::TooFewArguments is thrown. More...
|
|
void | min (Home home, FloatVar x0, FloatVar x1, FloatVar x2) |
| Post propagator for . More...
|
|
void | min (Home home, const FloatVarArgs &x, FloatVar y) |
| Post propagator for If x is empty, an exception of type Float::TooFewArguments is thrown. More...
|
|
void | mult (Home home, FloatVar x0, FloatVar x1, FloatVar x2) |
| Post propagator for . More...
|
|
void | sqr (Home home, FloatVar x0, FloatVar x1) |
| Post propagator for . More...
|
|
void | sqrt (Home home, FloatVar x0, FloatVar x1) |
| Post propagator for . More...
|
|
void | pow (Home home, FloatVar x0, int n, FloatVar x1) |
| Post propagator for for $n\geq 0$. More...
|
|
void | nroot (Home home, FloatVar x0, int n, FloatVar x1) |
| Post propagator for for $n\geq 0$. More...
|
|
void | div (Home home, FloatVar x0, FloatVar x1, FloatVar x2) |
| Post propagator for . More...
|
|
void | ite (Home home, BoolVar b, FloatVar x, FloatVar y, FloatVar z) |
| Post propagator for if-then-else constraint. More...
|
|
FloatAssign | FLOAT_ASSIGN_MIN (void) |
| Select median value of the lower part. More...
|
|
FloatAssign | FLOAT_ASSIGN_MAX (void) |
| Select median value of the upper part. More...
|
|
FloatAssign | FLOAT_ASSIGN_RND (Rnd r) |
| Select median value of a randomly chosen part. More...
|
|
FloatAssign | FLOAT_ASSIGN (FloatBranchVal v, FloatBranchCommit c) |
|
Archive & | operator<< (Archive &e, FloatNumBranch nl) |
|
Archive & | operator >> (Archive &e, FloatNumBranch &nl) |
|
FloatValBranch | FLOAT_VAL_SPLIT_MIN (void) |
| Select values not greater than mean of smallest and largest value. More...
|
|
FloatValBranch | FLOAT_VAL_SPLIT_MAX (void) |
| Select values greater than mean of smallest and largest value. More...
|
|
FloatValBranch | FLOAT_VAL_SPLIT_RND (Rnd r) |
| Select values randomly which are not greater or not smaller than mean of largest and smallest value. More...
|
|
FloatValBranch | FLOAT_VAL (FloatBranchVal v, FloatBranchCommit c) |
|
FloatVarBranch | FLOAT_VAR_NONE (void) |
| Select first unassigned variable. More...
|
|
FloatVarBranch | FLOAT_VAR_MERIT_MIN (FloatBranchMerit bm, BranchTbl tbl=nullptr) |
| Select variable with least merit according to branch merit function bm. More...
|
|
FloatVarBranch | FLOAT_VAR_MERIT_MAX (FloatBranchMerit bm, BranchTbl tbl=nullptr) |
| Select variable with highest merit according to branch merit function bm. More...
|
|
FloatVarBranch | FLOAT_VAR_RND (Rnd r) |
| Select random variable (uniform distribution, for tie breaking) More...
|
|
FloatVarBranch | FLOAT_VAR_DEGREE_MIN (BranchTbl tbl=nullptr) |
| Select variable with smallest degree. More...
|
|
FloatVarBranch | FLOAT_VAR_DEGREE_MAX (BranchTbl tbl=nullptr) |
| Select variable with largest degree. More...
|
|
FloatVarBranch | FLOAT_VAR_AFC_MIN (double d=1.0, BranchTbl tbl=nullptr) |
| Select variable with smallest accumulated failure count with decay factor d. More...
|
|
FloatVarBranch | FLOAT_VAR_AFC_MIN (FloatAFC a, BranchTbl tbl=nullptr) |
| Select variable with smallest accumulated failure count. More...
|
|
FloatVarBranch | FLOAT_VAR_AFC_MAX (double d=1.0, BranchTbl tbl=nullptr) |
| Select variable with largest accumulated failure count with decay factor d. More...
|
|
FloatVarBranch | FLOAT_VAR_AFC_MAX (FloatAFC a, BranchTbl tbl=nullptr) |
| Select variable with largest accumulated failure count. More...
|
|
FloatVarBranch | FLOAT_VAR_ACTION_MIN (double d=1.0, BranchTbl tbl=nullptr) |
| Select variable with lowest action with decay factor d. More...
|
|
FloatVarBranch | FLOAT_VAR_ACTION_MIN (FloatAction a, BranchTbl tbl=nullptr) |
| Select variable with lowest action. More...
|
|
FloatVarBranch | FLOAT_VAR_ACTION_MAX (double d=1.0, BranchTbl tbl=nullptr) |
| Select variable with highest action with decay factor d. More...
|
|
FloatVarBranch | FLOAT_VAR_ACTION_MAX (FloatAction a, BranchTbl tbl=nullptr) |
| Select variable with highest action. More...
|
|
FloatVarBranch | FLOAT_VAR_CHB_MIN (BranchTbl tbl=nullptr) |
| Select variable with lowest CHB Q-score. More...
|
|
FloatVarBranch | FLOAT_VAR_CHB_MIN (FloatCHB a, BranchTbl tbl=nullptr) |
| Select variable with lowest CHB Q-score. More...
|
|
FloatVarBranch | FLOAT_VAR_CHB_MAX (BranchTbl tbl=nullptr) |
| Select variable with highest CHB Q-score. More...
|
|
FloatVarBranch | FLOAT_VAR_CHB_MAX (FloatCHB a, BranchTbl tbl=nullptr) |
| Select variable with highest CHB Q-score. More...
|
|
FloatVarBranch | FLOAT_VAR_MIN_MIN (BranchTbl tbl=nullptr) |
| Select variable with smallest min. More...
|
|
FloatVarBranch | FLOAT_VAR_MIN_MAX (BranchTbl tbl=nullptr) |
| Select variable with largest min. More...
|
|
FloatVarBranch | FLOAT_VAR_MAX_MIN (BranchTbl tbl=nullptr) |
| Select variable with smallest max. More...
|
|
FloatVarBranch | FLOAT_VAR_MAX_MAX (BranchTbl tbl=nullptr) |
| Select variable with largest max. More...
|
|
FloatVarBranch | FLOAT_VAR_SIZE_MIN (BranchTbl tbl=nullptr) |
| Select variable with smallest domain size. More...
|
|
FloatVarBranch | FLOAT_VAR_SIZE_MAX (BranchTbl tbl=nullptr) |
| Select variable with largest domain size. More...
|
|
FloatVarBranch | FLOAT_VAR_DEGREE_SIZE_MIN (BranchTbl tbl=nullptr) |
| Select variable with smallest degree divided by domain size. More...
|
|
FloatVarBranch | FLOAT_VAR_DEGREE_SIZE_MAX (BranchTbl tbl=nullptr) |
| Select variable with largest degree divided by domain size. More...
|
|
FloatVarBranch | FLOAT_VAR_AFC_SIZE_MIN (double d=1.0, BranchTbl tbl=nullptr) |
| Select variable with smalllest accumulated failure count divided by domain size with decay factor d. More...
|
|
FloatVarBranch | FLOAT_VAR_AFC_SIZE_MIN (FloatAFC a, BranchTbl tbl=nullptr) |
| Select variable with smallest accumulated failure count divided by domain size. More...
|
|
FloatVarBranch | FLOAT_VAR_AFC_SIZE_MAX (double d=1.0, BranchTbl tbl=nullptr) |
| Select variable with largest accumulated failure count divided by domain size with decay factor d. More...
|
|
FloatVarBranch | FLOAT_VAR_AFC_SIZE_MAX (FloatAFC a, BranchTbl tbl=nullptr) |
| Select variable with largest accumulated failure count divided by domain size. More...
|
|
FloatVarBranch | FLOAT_VAR_ACTION_SIZE_MIN (double d=1.0, BranchTbl tbl=nullptr) |
| Select variable with smallest action divided by domain size with decay factor d. More...
|
|
FloatVarBranch | FLOAT_VAR_ACTION_SIZE_MIN (FloatAction a, BranchTbl tbl=nullptr) |
| Select variable with smallest action divided by domain size. More...
|
|
FloatVarBranch | FLOAT_VAR_ACTION_SIZE_MAX (double d=1.0, BranchTbl tbl=nullptr) |
| Select variable with largest action divided by domain size with decay factor d. More...
|
|
FloatVarBranch | FLOAT_VAR_ACTION_SIZE_MAX (FloatAction a, BranchTbl tbl=nullptr) |
| Select variable with largest action divided by domain size. More...
|
|
FloatVarBranch | FLOAT_VAR_CHB_SIZE_MIN (BranchTbl tbl=nullptr) |
| Select variable with smallest CHB Q-score divided by domain size. More...
|
|
FloatVarBranch | FLOAT_VAR_CHB_SIZE_MIN (FloatCHB c, BranchTbl tbl=nullptr) |
| Select variable with smallest CHB Q-score divided by domain size. More...
|
|
FloatVarBranch | FLOAT_VAR_CHB_SIZE_MAX (BranchTbl tbl=nullptr) |
| Select variable with largest CHB Q-score divided by domain size. More...
|
|
FloatVarBranch | FLOAT_VAR_CHB_SIZE_MAX (FloatCHB a, BranchTbl tbl=nullptr) |
| Select variable with largest CHB Q-score divided by domain size. More...
|
|
void | branch (Home home, const FloatVarArgs &x, FloatVarBranch vars, FloatValBranch vals, FloatBranchFilter bf=nullptr, FloatVarValPrint vvp=nullptr) |
| Branch over x with variable selection vars and value selection vals. More...
|
|
void | branch (Home home, const FloatVarArgs &x, TieBreak< FloatVarBranch > vars, FloatValBranch vals, FloatBranchFilter bf=nullptr, FloatVarValPrint vvp=nullptr) |
| Branch over x with tie-breaking variable selection vars and value selection vals. More...
|
|
void | branch (Home home, FloatVar x, FloatValBranch vals, FloatVarValPrint vvp=nullptr) |
| Branch over x with value selection vals. More...
|
|
void | assign (Home home, const FloatVarArgs &x, FloatAssign vals, FloatBranchFilter bf=nullptr, FloatVarValPrint vvp=nullptr) |
| Assign all x with value selection vals. More...
|
|
void | assign (Home home, FloatVar x, FloatAssign vals, FloatVarValPrint vvp=nullptr) |
| Assign x with value selection vals. More...
|
|
void | channel (Home home, FloatVar x0, IntVar x1) |
| Post propagator for channeling a float and an integer variable . More...
|
|
void | channel (Home home, FloatVar x0, BoolVar x1) |
| Post propagator for channeling a float and a Boolean variable . More...
|
|
void | channel (Home home, IntVar x0, FloatVar x1) |
| Post propagator for channeling a float and an integer variable . More...
|
|
void | channel (Home home, BoolVar x0, FloatVar x1) |
| Post propagator for channeling a float and a Boolean variable . More...
|
|
void | dom (Home home, FloatVar x, FloatVal n) |
| Propagates . More...
|
|
void | dom (Home home, const FloatVarArgs &x, FloatVal n) |
| Propagates for all . More...
|
|
void | dom (Home home, FloatVar x, FloatNum l, FloatNum m) |
| Propagates . More...
|
|
void | dom (Home home, const FloatVarArgs &x, FloatNum l, FloatNum u) |
| Propagates for all . More...
|
|
void | dom (Home home, FloatVar x, FloatVal n, Reify r) |
| Post domain consistent propagator for . More...
|
|
void | dom (Home home, FloatVar x, FloatNum l, FloatNum u, Reify r) |
| Post domain consistent propagator for . More...
|
|
void | dom (Home home, FloatVar x, FloatVar d) |
| Constrain domain of x according to domain of d. More...
|
|
void | dom (Home home, const FloatVarArgs &x, const FloatVarArgs &d) |
| Constrain domain of according to domain of for all . More...
|
|
void | wait (Home home, FloatVar x, std::function< void(Space &home)> c) |
| Execute c when x becomes assigned. More...
|
|
void | wait (Home home, const FloatVarArgs &x, std::function< void(Space &home)> c) |
| Execute c when all variables in x become assigned. More...
|
|
void | linear (Home home, const FloatVarArgs &x, FloatRelType frt, FloatVal c) |
| Post propagator for . More...
|
|
void | linear (Home home, const FloatVarArgs &x, FloatRelType frt, FloatVal c, Reify r) |
| Post propagator for . More...
|
|
void | linear (Home home, const FloatValArgs &a, const FloatVarArgs &x, FloatRelType frt, FloatVal c) |
| Post propagator for . More...
|
|
void | linear (Home home, const FloatValArgs &a, const FloatVarArgs &x, FloatRelType frt, FloatVal c, Reify r) |
| Post propagator for . More...
|
|
void | linear (Home home, const FloatVarArgs &x, FloatRelType frt, FloatVar y) |
| Post propagator for . More...
|
|
void | linear (Home home, const FloatVarArgs &x, FloatRelType frt, FloatVar y, Reify r) |
| Post propagator for . More...
|
|
void | linear (Home home, const FloatValArgs &a, const FloatVarArgs &x, FloatRelType frt, FloatVar y) |
| Post propagator for . More...
|
|
void | linear (Home home, const FloatValArgs &a, const FloatVarArgs &x, FloatRelType frt, FloatVar y, Reify r) |
| Post propagator for . More...
|
|
FloatNum | pi_half_lower (void) |
| Return lower bound of . More...
|
|
FloatNum | pi_half_upper (void) |
| Return upper bound of . More...
|
|
FloatNum | pi_lower (void) |
| Return lower bound of . More...
|
|
FloatNum | pi_upper (void) |
| Return upper bound of . More...
|
|
FloatNum | pi_twice_lower (void) |
| Return lower bound of . More...
|
|
FloatNum | pi_twice_upper (void) |
| Return upper bound of . More...
|
|
void | rel (Home home, FloatVar x, FloatRelType frt, FloatVal c) |
| Propagates . More...
|
|
void | rel (Home home, FloatVar x0, FloatRelType frt, FloatVar x1) |
| Post propagator for . More...
|
|
void | rel (Home home, FloatVar x0, FloatRelType frt, FloatVar x1, Reify r) |
| Post propagator for . More...
|
|
void | rel (Home home, FloatVar x, FloatRelType frt, FloatVal c, Reify r) |
| Post propagator for . More...
|
|
void | rel (Home home, const FloatVarArgs &x, FloatRelType frt, FloatVal c) |
| Propagates for all . More...
|
|
void | rel (Home home, const FloatVarArgs &x, FloatRelType frt, FloatVar y) |
| Propagates for all . More...
|
|
void | relax (Home home, const FloatVarArgs &x, const FloatVarArgs &sx, Rnd r, double p) |
|
void | trace (Home home, const FloatVarArgs &x, TraceFilter tf, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|TE_DONE), FloatTracer &t=StdFloatTracer::def) |
| Create a tracer for float variables. More...
|
|
void | trace (Home home, const FloatVarArgs &x, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|TE_DONE), FloatTracer &t=StdFloatTracer::def) |
| Create a tracer for float variables. More...
|
|
void | exp (Home home, FloatVar x0, FloatVar x1) |
| Post propagator for . More...
|
|
void | log (Home home, FloatVar x0, FloatVar x1) |
| Post propagator for . More...
|
|
void | log (Home home, FloatNum base, FloatVar x0, FloatVar x1) |
| Post propagator for . More...
|
|
void | pow (Home home, FloatNum base, FloatVar x0, FloatVar x1) |
| Post propagator for . More...
|
|
void | asin (Home home, FloatVar x0, FloatVar x1) |
| Post propagator for . More...
|
|
void | sin (Home home, FloatVar x0, FloatVar x1) |
| Post propagator for . More...
|
|
void | acos (Home home, FloatVar x0, FloatVar x1) |
| Post propagator for . More...
|
|
void | cos (Home home, FloatVar x0, FloatVar x1) |
| Post propagator for . More...
|
|
void | atan (Home home, FloatVar x0, FloatVar x1) |
| Post propagator for . More...
|
|
void | tan (Home home, FloatVar x0, FloatVar x1) |
| Post propagator for . More...
|
|
FloatVal | operator+ (const FloatVal &x) |
|
FloatVal | operator - (const FloatVal &x) |
|
FloatVal | operator+ (const FloatVal &x, const FloatVal &y) |
|
FloatVal | operator+ (const FloatVal &x, const FloatNum &y) |
|
FloatVal | operator+ (const FloatNum &x, const FloatVal &y) |
|
FloatVal | operator - (const FloatVal &x, const FloatVal &y) |
|
FloatVal | operator - (const FloatVal &x, const FloatNum &y) |
|
FloatVal | operator - (const FloatNum &x, const FloatVal &y) |
|
FloatVal | operator * (const FloatVal &x, const FloatVal &y) |
|
FloatVal | operator * (const FloatVal &x, const FloatNum &y) |
|
FloatVal | operator * (const FloatNum &x, const FloatVal &y) |
|
FloatVal | operator/ (const FloatVal &x, const FloatVal &y) |
|
FloatVal | operator/ (const FloatVal &x, const FloatNum &y) |
|
FloatVal | operator/ (const FloatNum &x, const FloatVal &y) |
|
bool | operator< (const FloatVal &x, const FloatVal &y) |
|
bool | operator< (const FloatVal &x, const FloatNum &y) |
|
bool | operator<= (const FloatVal &x, const FloatVal &y) |
|
bool | operator<= (const FloatVal &x, const FloatNum &y) |
|
bool | operator > (const FloatVal &x, const FloatVal &y) |
|
bool | operator > (const FloatVal &x, const FloatNum &y) |
|
bool | operator >= (const FloatVal &x, const FloatVal &y) |
|
bool | operator >= (const FloatVal &x, const FloatNum &y) |
|
bool | operator== (const FloatVal &x, const FloatVal &y) |
|
bool | operator== (const FloatVal &x, const FloatNum &y) |
|
bool | operator != (const FloatVal &x, const FloatVal &y) |
|
bool | operator != (const FloatVal &x, const FloatNum &y) |
|
bool | operator< (const FloatNum &x, const FloatVal &y) |
|
bool | operator<= (const FloatNum &x, const FloatVal &y) |
|
bool | operator > (const FloatNum &x, const FloatVal &y) |
|
bool | operator >= (const FloatNum &x, const FloatVal &y) |
|
bool | operator== (const FloatNum &x, const FloatVal &y) |
|
bool | operator != (const FloatNum &x, const FloatVal &y) |
|
template<class Char , class Traits > |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const FloatVal &x) |
|
FloatVal | abs (const FloatVal &x) |
|
FloatVal | sqrt (const FloatVal &x) |
|
FloatVal | sqr (const FloatVal &x) |
|
FloatVal | pow (const FloatVal &x, int n) |
|
FloatVal | nroot (const FloatVal &x, int n) |
|
FloatVal | max (const FloatVal &x, const FloatVal &y) |
|
FloatVal | max (const FloatVal &x, const FloatNum &y) |
|
FloatVal | max (const FloatNum &x, const FloatVal &y) |
|
FloatVal | min (const FloatVal &x, const FloatVal &y) |
|
FloatVal | min (const FloatVal &x, const FloatNum &y) |
|
FloatVal | min (const FloatNum &x, const FloatVal &y) |
|
FloatVal | exp (const FloatVal &x) |
|
FloatVal | log (const FloatVal &x) |
|
FloatVal | fmod (const FloatVal &x, const FloatVal &y) |
|
FloatVal | fmod (const FloatVal &x, const FloatNum &y) |
|
FloatVal | fmod (const FloatNum &x, const FloatVal &y) |
|
FloatVal | sin (const FloatVal &x) |
|
FloatVal | cos (const FloatVal &x) |
|
FloatVal | tan (const FloatVal &x) |
|
FloatVal | asin (const FloatVal &x) |
|
FloatVal | acos (const FloatVal &x) |
|
FloatVal | atan (const FloatVal &x) |
|
FloatVal | sinh (const FloatVal &x) |
|
FloatVal | cosh (const FloatVal &x) |
|
FloatVal | tanh (const FloatVal &x) |
|
FloatVal | asinh (const FloatVal &x) |
|
FloatVal | acosh (const FloatVal &x) |
|
FloatVal | atanh (const FloatVal &x) |
|
template<class Char , class Traits > |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const FloatVar &x) |
|
void | abs (Home home, IntVar x0, IntVar x1, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | max (Home home, IntVar x0, IntVar x1, IntVar x2, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | max (Home home, const IntVarArgs &x, IntVar y, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | min (Home home, IntVar x0, IntVar x1, IntVar x2, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | min (Home home, const IntVarArgs &x, IntVar y, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | argmax (Home home, const IntVarArgs &x, IntVar y, bool tiebreak=true, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | argmax (Home home, const IntVarArgs &x, int o, IntVar y, bool tiebreak=true, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | argmin (Home home, const IntVarArgs &x, IntVar y, bool tiebreak=true, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | argmin (Home home, const IntVarArgs &x, int o, IntVar y, bool tiebreak=true, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | mult (Home home, IntVar x0, IntVar x1, IntVar x2, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | divmod (Home home, IntVar x0, IntVar x1, IntVar x2, IntVar x3, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | div (Home home, IntVar x0, IntVar x1, IntVar x2, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | mod (Home home, IntVar x0, IntVar x1, IntVar x2, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | sqr (Home home, IntVar x0, IntVar x1, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | sqrt (Home home, IntVar x0, IntVar x1, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | pow (Home home, IntVar x0, int n, IntVar x1, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | nroot (Home home, IntVar x0, int n, IntVar x1, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | binpacking (Home home, const IntVarArgs &l, const IntVarArgs &b, const IntArgs &s, IntPropLevel ipl=IPL_DEF) |
| Post propagator for bin packing. More...
|
|
IntSet | binpacking (Home home, int d, const IntVarArgs &l, const IntVarArgs &b, const IntArgs &s, const IntArgs &c, IntPropLevel) |
|
void | rel (Home home, BoolVar x0, IntRelType irt, BoolVar x1, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | rel (Home home, BoolVar x, IntRelType irt, int n, IntPropLevel ipl=IPL_DEF) |
| Propagates . More...
|
|
void | rel (Home home, BoolVar x0, IntRelType irt, BoolVar x1, Reify r, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | rel (Home home, BoolVar x, IntRelType irt, int n, Reify r, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | rel (Home home, const BoolVarArgs &x, IntRelType irt, BoolVar y, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for for all . More...
|
|
void | rel (Home home, const BoolVarArgs &x, IntRelType irt, int n, IntPropLevel ipl=IPL_DEF) |
| Propagates for all . More...
|
|
void | rel (Home home, const BoolVarArgs &x, IntRelType irt, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for relation between elements in x. More...
|
|
void | rel (Home home, const BoolVarArgs &x, IntRelType irt, const BoolVarArgs &y, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for relation between x and y. More...
|
|
void | rel (Home home, const BoolVarArgs &x, IntRelType irt, const IntArgs &y, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for relation between x and y. More...
|
|
void | rel (Home home, const IntArgs &x, IntRelType irt, const BoolVarArgs &y, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for relation between x and y. More...
|
|
void | rel (Home home, BoolVar x0, BoolOpType o, BoolVar x1, BoolVar x2, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for Boolean operation on x0 and x1. More...
|
|
void | rel (Home home, BoolVar x0, BoolOpType o, BoolVar x1, int n, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for Boolean operation on x0 and x1. More...
|
|
void | rel (Home home, BoolOpType o, const BoolVarArgs &x, BoolVar y, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for Boolean operation on x. More...
|
|
void | rel (Home home, BoolOpType o, const BoolVarArgs &x, int n, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for Boolean operation on x. More...
|
|
void | clause (Home home, BoolOpType o, const BoolVarArgs &x, const BoolVarArgs &y, int n, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for Boolean clause with positive variables x and negative variables y. More...
|
|
void | clause (Home home, BoolOpType o, const BoolVarArgs &x, const BoolVarArgs &y, BoolVar z, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for Boolean clause with positive variables x and negative variables y. More...
|
|
void | ite (Home home, BoolVar b, IntVar x, IntVar y, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post propagator for if-then-else constraint. More...
|
|
void | ite (Home home, BoolVar b, BoolVar x, BoolVar y, BoolVar z, IntPropLevel ipl=IPL_DEF) |
| Post propagator for if-then-else constraint. More...
|
|
IntAssign | INT_ASSIGN_MIN (void) |
| Select smallest value. More...
|
|
IntAssign | INT_ASSIGN_MED (void) |
| Select greatest value not greater than the median. More...
|
|
IntAssign | INT_ASSIGN_MAX (void) |
| Select largest value. More...
|
|
IntAssign | INT_ASSIGN_RND (Rnd r) |
| Select random value. More...
|
|
IntAssign | INT_ASSIGN (IntBranchVal v, IntBranchCommit c=nullptr) |
| Select value as defined by the value function v and commit function c. More...
|
|
BoolAssign | BOOL_ASSIGN_MIN (void) |
| Select smallest value. More...
|
|
BoolAssign | BOOL_ASSIGN_MAX (void) |
| Select largest value. More...
|
|
BoolAssign | BOOL_ASSIGN_RND (Rnd r) |
| Select random value. More...
|
|
BoolAssign | BOOL_ASSIGN (BoolBranchVal v, BoolBranchCommit c=nullptr) |
| Select value as defined by the value function v and commit function c. More...
|
|
IntValBranch | INT_VAL_MIN (void) |
| Select smallest value. More...
|
|
IntValBranch | INT_VAL_MED (void) |
| Select greatest value not greater than the median. More...
|
|
IntValBranch | INT_VAL_MAX (void) |
| Select largest value. More...
|
|
IntValBranch | INT_VAL_RND (Rnd r) |
| Select random value. More...
|
|
IntValBranch | INT_VAL_SPLIT_MIN (void) |
| Select values not greater than mean of smallest and largest value. More...
|
|
IntValBranch | INT_VAL_SPLIT_MAX (void) |
| Select values greater than mean of smallest and largest value. More...
|
|
IntValBranch | INT_VAL_RANGE_MIN (void) |
| Select the smallest range of the variable domain if it has several ranges, otherwise select values not greater than mean of smallest and largest value. More...
|
|
IntValBranch | INT_VAL_RANGE_MAX (void) |
| Select the largest range of the variable domain if it has several ranges, otherwise select values greater than mean of smallest and largest value. More...
|
|
IntValBranch | INT_VAL (IntBranchVal v, IntBranchCommit c=nullptr) |
| Select value as defined by the value function v and commit function c Uses a commit function as default that posts the constraints that a variable x must be equal to a value n for the first alternative and that x must be different from n for the second alternative. More...
|
|
IntValBranch | INT_VALUES_MIN (void) |
| Try all values starting from smallest. More...
|
|
IntValBranch | INT_VALUES_MAX (void) |
| Try all values starting from largest. More...
|
|
BoolValBranch | BOOL_VAL_MIN (void) |
| Select smallest value. More...
|
|
BoolValBranch | BOOL_VAL_MAX (void) |
| Select largest value. More...
|
|
BoolValBranch | BOOL_VAL_RND (Rnd r) |
| Select random value. More...
|
|
BoolValBranch | BOOL_VAL (BoolBranchVal v, BoolBranchCommit c=nullptr) |
| Select value as defined by the value function v and commit function c Uses a commit function as default that posts the constraints that a variable x must be equal to a value n for the first alternative and that x must be different from n for the second alternative. More...
|
|
IntVarBranch | INT_VAR_NONE (void) |
| Select first unassigned variable. More...
|
|
IntVarBranch | INT_VAR_RND (Rnd r) |
| Select random variable (uniform distribution, for tie breaking) More...
|
|
IntVarBranch | INT_VAR_MERIT_MIN (IntBranchMerit bm, BranchTbl tbl=nullptr) |
| Select variable with least merit according to branch merit function bm. More...
|
|
IntVarBranch | INT_VAR_MERIT_MAX (IntBranchMerit bm, BranchTbl tbl=nullptr) |
| Select variable with highest merit according to branch merit function bm. More...
|
|
IntVarBranch | INT_VAR_DEGREE_MIN (BranchTbl tbl=nullptr) |
| Select variable with smallest degree. More...
|
|
IntVarBranch | INT_VAR_DEGREE_MAX (BranchTbl tbl=nullptr) |
| Select variable with largest degree. More...
|
|
IntVarBranch | INT_VAR_AFC_MIN (double d=1.0, BranchTbl tbl=nullptr) |
| Select variable with smallest accumulated failure count with decay factor d. More...
|
|
IntVarBranch | INT_VAR_AFC_MIN (IntAFC a, BranchTbl tbl=nullptr) |
| Select variable with smallest accumulated failure count. More...
|
|
IntVarBranch | INT_VAR_AFC_MAX (double d=1.0, BranchTbl tbl=nullptr) |
| Select variable with largest accumulated failure count with decay factor d. More...
|
|
IntVarBranch | INT_VAR_AFC_MAX (IntAFC a, BranchTbl tbl=nullptr) |
| Select variable with largest accumulated failure count. More...
|
|
IntVarBranch | INT_VAR_ACTION_MIN (double d=1.0, BranchTbl tbl=nullptr) |
| Select variable with lowest action with decay factor d. More...
|
|
IntVarBranch | INT_VAR_ACTION_MIN (IntAction a, BranchTbl tbl=nullptr) |
| Select variable with lowest action. More...
|
|
IntVarBranch | INT_VAR_ACTION_MAX (double d=1.0, BranchTbl tbl=nullptr) |
| Select variable with highest action with decay factor d. More...
|
|
IntVarBranch | INT_VAR_ACTION_MAX (IntAction a, BranchTbl tbl=nullptr) |
| Select variable with highest action. More...
|
|
IntVarBranch | INT_VAR_CHB_MIN (IntCHB c, BranchTbl tbl=nullptr) |
| Select variable with lowest CHB Q-score. More...
|
|
IntVarBranch | INT_VAR_CHB_MIN (BranchTbl tbl=nullptr) |
| Select variable with lowest CHB Q-score. More...
|
|
IntVarBranch | INT_VAR_CHB_MAX (IntCHB c, BranchTbl tbl=nullptr) |
| Select variable with largest CHB Q-score. More...
|
|
IntVarBranch | INT_VAR_CHB_MAX (BranchTbl tbl=nullptr) |
| Select variable with largest CHB Q-score. More...
|
|
IntVarBranch | INT_VAR_MIN_MIN (BranchTbl tbl=nullptr) |
| Select variable with smallest min. More...
|
|
IntVarBranch | INT_VAR_MIN_MAX (BranchTbl tbl=nullptr) |
| Select variable with largest min. More...
|
|
IntVarBranch | INT_VAR_MAX_MIN (BranchTbl tbl=nullptr) |
| Select variable with smallest max. More...
|
|
IntVarBranch | INT_VAR_MAX_MAX (BranchTbl tbl=nullptr) |
| Select variable with largest max. More...
|
|
IntVarBranch | INT_VAR_SIZE_MIN (BranchTbl tbl=nullptr) |
| Select variable with smallest domain size. More...
|
|
IntVarBranch | INT_VAR_SIZE_MAX (BranchTbl tbl=nullptr) |
| Select variable with largest domain size. More...
|
|
IntVarBranch | INT_VAR_DEGREE_SIZE_MIN (BranchTbl tbl=nullptr) |
| Select variable with smallest degree divided by domain size. More...
|
|
IntVarBranch | INT_VAR_DEGREE_SIZE_MAX (BranchTbl tbl=nullptr) |
| Select variable with largest degree divided by domain size. More...
|
|
IntVarBranch | INT_VAR_AFC_SIZE_MIN (double d=1.0, BranchTbl tbl=nullptr) |
| Select variable with smallest accumulated failure count divided by domain size with decay factor d. More...
|
|
IntVarBranch | INT_VAR_AFC_SIZE_MIN (IntAFC a, BranchTbl tbl=nullptr) |
| Select variable with smallest accumulated failure count divided by domain size. More...
|
|
IntVarBranch | INT_VAR_AFC_SIZE_MAX (double d=1.0, BranchTbl tbl=nullptr) |
| Select variable with largest accumulated failure count divided by domain size with decay factor d. More...
|
|
IntVarBranch | INT_VAR_AFC_SIZE_MAX (IntAFC a, BranchTbl tbl=nullptr) |
| Select variable with largest accumulated failure count divided by domain size. More...
|
|
IntVarBranch | INT_VAR_ACTION_SIZE_MIN (double d=1.0, BranchTbl tbl=nullptr) |
| Select variable with smallest action divided by domain size with decay factor d. More...
|
|
IntVarBranch | INT_VAR_ACTION_SIZE_MIN (IntAction a, BranchTbl tbl=nullptr) |
| Select variable with smallest action divided by domain size. More...
|
|
IntVarBranch | INT_VAR_ACTION_SIZE_MAX (double d=1.0, BranchTbl tbl=nullptr) |
| Select variable with largest action divided by domain size with decay factor d. More...
|
|
IntVarBranch | INT_VAR_ACTION_SIZE_MAX (IntAction a, BranchTbl tbl=nullptr) |
| Select variable with largest action divided by domain size. More...
|
|
IntVarBranch | INT_VAR_CHB_SIZE_MIN (IntCHB c, BranchTbl tbl=nullptr) |
| Select variable with smallest CHB Q-score divided by domain size. More...
|
|
IntVarBranch | INT_VAR_CHB_SIZE_MIN (BranchTbl tbl=nullptr) |
| Select variable with smallest CHB Q-score divided by domain size. More...
|
|
IntVarBranch | INT_VAR_CHB_SIZE_MAX (IntCHB c, BranchTbl tbl=nullptr) |
| Select variable with largest CHB Q-score divided by domain size. More...
|
|
IntVarBranch | INT_VAR_CHB_SIZE_MAX (BranchTbl tbl=nullptr) |
| Select variable with largest CHB Q-score divided by domain size. More...
|
|
IntVarBranch | INT_VAR_REGRET_MIN_MIN (BranchTbl tbl=nullptr) |
| Select variable with smallest min-regret. More...
|
|
IntVarBranch | INT_VAR_REGRET_MIN_MAX (BranchTbl tbl=nullptr) |
| Select variable with largest min-regret. More...
|
|
IntVarBranch | INT_VAR_REGRET_MAX_MIN (BranchTbl tbl=nullptr) |
| Select variable with smallest max-regret. More...
|
|
IntVarBranch | INT_VAR_REGRET_MAX_MAX (BranchTbl tbl=nullptr) |
| Select variable with largest max-regret. More...
|
|
BoolVarBranch | BOOL_VAR_NONE (void) |
| Select first unassigned variable. More...
|
|
BoolVarBranch | BOOL_VAR_RND (Rnd r) |
| Select random variable (uniform distribution, for tie breaking) More...
|
|
BoolVarBranch | BOOL_VAR_MERIT_MIN (BoolBranchMerit bm, BranchTbl tbl=nullptr) |
| Select variable with least merit according to branch merit function bm. More...
|
|
BoolVarBranch | BOOL_VAR_MERIT_MAX (BoolBranchMerit bm, BranchTbl tbl=nullptr) |
| Select variable with highest merit according to branch merit function bm. More...
|
|
BoolVarBranch | BOOL_VAR_DEGREE_MIN (BranchTbl tbl=nullptr) |
| Select variable with smallest degree. More...
|
|
BoolVarBranch | BOOL_VAR_DEGREE_MAX (BranchTbl tbl=nullptr) |
| Select variable with largest degree. More...
|
|
BoolVarBranch | BOOL_VAR_AFC_MIN (double d=1.0, BranchTbl tbl=nullptr) |
| Select variable with smallest accumulated failure count with decay factor d. More...
|
|
BoolVarBranch | BOOL_VAR_AFC_MIN (BoolAFC a, BranchTbl tbl=nullptr) |
| Select variable with smallest accumulated failure count. More...
|
|
BoolVarBranch | BOOL_VAR_AFC_MAX (double d=1.0, BranchTbl tbl=nullptr) |
| Select variable with largest accumulated failure count with decay factor d. More...
|
|
BoolVarBranch | BOOL_VAR_AFC_MAX (BoolAFC a, BranchTbl tbl=nullptr) |
| Select variable with largest accumulated failure count. More...
|
|
BoolVarBranch | BOOL_VAR_ACTION_MIN (double d=1.0, BranchTbl tbl=nullptr) |
| Select variable with lowest action with decay factor d. More...
|
|
BoolVarBranch | BOOL_VAR_ACTION_MIN (BoolAction a, BranchTbl tbl=nullptr) |
| Select variable with lowest action. More...
|
|
BoolVarBranch | BOOL_VAR_ACTION_MAX (double d=1.0, BranchTbl tbl=nullptr) |
| Select variable with highest action with decay factor d. More...
|
|
BoolVarBranch | BOOL_VAR_ACTION_MAX (BoolAction a, BranchTbl tbl=nullptr) |
| Select variable with highest action. More...
|
|
BoolVarBranch | BOOL_VAR_CHB_MIN (BoolCHB c, BranchTbl tbl=nullptr) |
| Select variable with lowest CHB Q-score. More...
|
|
BoolVarBranch | BOOL_VAR_CHB_MIN (BranchTbl tbl=nullptr) |
| Select variable with lowest CHB Q-score. More...
|
|
BoolVarBranch | BOOL_VAR_CHB_MAX (BoolCHB c, BranchTbl tbl=nullptr) |
| Select variable with largest CHB Q-score. More...
|
|
BoolVarBranch | BOOL_VAR_CHB_MAX (BranchTbl tbl=nullptr) |
| Select variable with largest CHB Q-score. More...
|
|
void | branch (Home home, const IntVarArgs &x, IntVarBranch vars, IntValBranch vals, IntBranchFilter bf=nullptr, IntVarValPrint vvp=nullptr) |
| Branch over x with variable selection vars and value selection vals. More...
|
|
void | branch (Home home, const IntVarArgs &x, TieBreak< IntVarBranch > vars, IntValBranch vals, IntBranchFilter bf=nullptr, IntVarValPrint vvp=nullptr) |
| Branch over x with tie-breaking variable selection vars and value selection vals. More...
|
|
void | branch (Home home, IntVar x, IntValBranch vals, IntVarValPrint vvp=nullptr) |
| Branch over x with value selection vals. More...
|
|
void | assign (Home home, const IntVarArgs &x, IntAssign vals, IntBranchFilter bf=nullptr, IntVarValPrint vvp=nullptr) |
| Assign all x with value selection vals. More...
|
|
void | assign (Home home, IntVar x, IntAssign vals, IntVarValPrint vvp=nullptr) |
| Assign x with value selection vals. More...
|
|
void | branch (Home home, const BoolVarArgs &x, BoolVarBranch vars, BoolValBranch vals, BoolBranchFilter bf=nullptr, BoolVarValPrint vvp=nullptr) |
| Branch over x with variable selection vars and value selection vals. More...
|
|
void | branch (Home home, const BoolVarArgs &x, TieBreak< BoolVarBranch > vars, BoolValBranch vals, BoolBranchFilter bf=nullptr, BoolVarValPrint vvp=nullptr) |
| Branch over x with tie-breaking variable selection vars and value selection vals. More...
|
|
void | branch (Home home, BoolVar x, BoolValBranch vals, BoolVarValPrint vvp=nullptr) |
| Branch over x with value selection vals. More...
|
|
void | assign (Home home, const BoolVarArgs &x, BoolAssign vals, BoolBranchFilter bf=nullptr, BoolVarValPrint vvp=nullptr) |
| Assign all x with value selection vals. More...
|
|
void | assign (Home home, BoolVar x, BoolAssign vals, BoolVarValPrint vvp=nullptr) |
| Assign x with value selection vals. More...
|
|
void | channel (Home home, const IntVarArgs &x, int xoff, const IntVarArgs &y, int yoff, IntPropLevel ipl=IPL_DEF) |
| Post propagator for for all . More...
|
|
void | channel (Home home, const IntVarArgs &x, const IntVarArgs &y, IntPropLevel ipl=IPL_DEF) |
| Post propagator for for all . More...
|
|
void | channel (Home home, BoolVar x0, IntVar x1, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for channeling a Boolean and an integer variable . More...
|
|
void | channel (Home home, const BoolVarArgs &x, IntVar y, int o=0, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for channeling Boolean and integer variables . More...
|
|
void | channel (Home home, IntVar x0, BoolVar x1, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for channeling an integer and a Boolean variable . More...
|
|
void | circuit (Home home, int offset, const IntVarArgs &x, IntPropLevel ipl=IPL_DEF) |
| Post propagator such that x forms a circuit. More...
|
|
void | circuit (Home home, const IntVarArgs &x, IntPropLevel ipl=IPL_DEF) |
| Post propagator such that x forms a circuit. More...
|
|
void | circuit (Home home, const IntArgs &c, int offset, const IntVarArgs &x, const IntVarArgs &y, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post propagator such that x forms a circuit with costs y and z. More...
|
|
void | circuit (Home home, const IntArgs &c, const IntVarArgs &x, const IntVarArgs &y, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post propagator such that x forms a circuit with costs y and z. More...
|
|
void | circuit (Home home, const IntArgs &c, int offset, const IntVarArgs &x, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post propagator such that x forms a circuit with cost z. More...
|
|
void | circuit (Home home, const IntArgs &c, const IntVarArgs &x, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post propagator such that x forms a circuit with cost z. More...
|
|
void | path (Home home, int offset, const IntVarArgs &x, IntVar s, IntVar e, IntPropLevel ipl=IPL_DEF) |
| Post propagator such that x forms a Hamiltonian path. More...
|
|
void | path (Home home, const IntVarArgs &x, IntVar s, IntVar e, IntPropLevel ipl=IPL_DEF) |
| Post propagator such that x forms a Hamiltonian path. More...
|
|
void | path (Home home, const IntArgs &c, int offset, const IntVarArgs &x, IntVar s, IntVar e, const IntVarArgs &y, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post propagator such that x forms a Hamiltonian path with costs y and z. More...
|
|
void | path (Home home, const IntArgs &c, const IntVarArgs &x, IntVar s, IntVar e, const IntVarArgs &y, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post propagator such that x forms a Hamiltonian path with costs y and z. More...
|
|
void | path (Home home, const IntArgs &c, int offset, const IntVarArgs &x, IntVar s, IntVar e, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post propagator such that x forms a Hamiltonian path with cost z. More...
|
|
void | path (Home home, const IntArgs &c, const IntVarArgs &x, IntVar s, IntVar e, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post propagator such that x forms a Hamiltonian path with cost z. More...
|
|
void | count (Home home, const IntVarArgs &x, int n, IntRelType irt, int m, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | count (Home home, const IntVarArgs &x, IntVar y, IntRelType irt, int m, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | count (Home home, const IntVarArgs &x, const IntSet &y, IntRelType irt, int m, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | count (Home home, const IntVarArgs &x, const IntArgs &y, IntRelType irt, int m, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | count (Home home, const IntVarArgs &x, int n, IntRelType irt, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | count (Home home, const IntVarArgs &x, IntVar y, IntRelType irt, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | count (Home home, const IntVarArgs &x, const IntSet &y, IntRelType irt, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | count (Home home, const IntVarArgs &x, const IntArgs &y, IntRelType irt, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | cumulative (Home home, int c, const TaskTypeArgs &t, const IntVarArgs &flex, const IntArgs &fix, const IntArgs &u, IntPropLevel ipl=IPL_DEF) |
| Post propagators for scheduling tasks on cumulative resources. More...
|
|
void | cumulative (Home home, IntVar c, const TaskTypeArgs &t, const IntVarArgs &flex, const IntArgs &fix, const IntArgs &u, IntPropLevel ipl=IPL_DEF) |
| Post propagators for scheduling tasks on cumulative resources. More...
|
|
void | cumulative (Home home, int c, const TaskTypeArgs &t, const IntVarArgs &flex, const IntArgs &fix, const IntArgs &u, const BoolVarArgs &m, IntPropLevel ipl=IPL_DEF) |
| Post propagators for scheduling optional tasks on cumulative resources. More...
|
|
void | cumulative (Home home, IntVar c, const TaskTypeArgs &t, const IntVarArgs &flex, const IntArgs &fix, const IntArgs &u, const BoolVarArgs &m, IntPropLevel ipl=IPL_DEF) |
| Post propagators for scheduling optional tasks on cumulative resources. More...
|
|
void | cumulative (Home home, int c, const IntVarArgs &s, const IntArgs &p, const IntArgs &u, IntPropLevel ipl=IPL_DEF) |
| Post propagators for scheduling tasks on cumulative resources. More...
|
|
void | cumulative (Home home, IntVar c, const IntVarArgs &s, const IntArgs &p, const IntArgs &u, IntPropLevel ipl=IPL_DEF) |
| Post propagators for scheduling tasks on cumulative resources. More...
|
|
void | cumulative (Home home, int c, const IntVarArgs &s, const IntArgs &p, const IntArgs &u, const BoolVarArgs &m, IntPropLevel ipl=IPL_DEF) |
| Post propagators for scheduling optional tasks on cumulative resources. More...
|
|
void | cumulative (Home home, IntVar c, const IntVarArgs &s, const IntArgs &p, const IntArgs &u, const BoolVarArgs &m, IntPropLevel ipl=IPL_DEF) |
| Post propagators for scheduling optional tasks on cumulative resources. More...
|
|
void | cumulative (Home home, int c, const IntVarArgs &s, const IntVarArgs &p, const IntVarArgs &e, const IntArgs &u, IntPropLevel ipl=IPL_DEF) |
| Post propagators for scheduling tasks on cumulative resources. More...
|
|
void | cumulative (Home home, IntVar c, const IntVarArgs &s, const IntVarArgs &p, const IntVarArgs &e, const IntArgs &u, IntPropLevel ipl=IPL_DEF) |
| Post propagators for scheduling tasks on cumulative resources. More...
|
|
void | cumulative (Home home, int c, const IntVarArgs &s, const IntVarArgs &p, const IntVarArgs &e, const IntArgs &u, const BoolVarArgs &m, IntPropLevel ipl=IPL_DEF) |
| Post propagators for scheduling optional tasks on cumulative resources. More...
|
|
void | cumulative (Home home, IntVar c, const IntVarArgs &s, const IntVarArgs &p, const IntVarArgs &e, const IntArgs &u, const BoolVarArgs &m, IntPropLevel ipl=IPL_DEF) |
| Post propagators for scheduling optional tasks on cumulative resources. More...
|
|
void | cumulatives (Home home, const IntVarArgs &m, const IntVarArgs &s, const IntVarArgs &p, const IntVarArgs &e, const IntVarArgs &u, const IntArgs &c, bool at_most, IntPropLevel ipl=IPL_DEF) |
| Post propagators for the cumulatives constraint. More...
|
|
void | cumulatives (Home home, const IntArgs &m, const IntVarArgs &s, const IntVarArgs &p, const IntVarArgs &e, const IntVarArgs &u, const IntArgs &c, bool at_most, IntPropLevel ipl=IPL_DEF) |
| Post propagators for the cumulatives constraint. More...
|
|
void | cumulatives (Home home, const IntVarArgs &m, const IntVarArgs &s, const IntArgs &p, const IntVarArgs &e, const IntVarArgs &u, const IntArgs &c, bool at_most, IntPropLevel ipl=IPL_DEF) |
| Post propagators for the cumulatives constraint. More...
|
|
void | cumulatives (Home home, const IntArgs &m, const IntVarArgs &s, const IntArgs &p, const IntVarArgs &e, const IntVarArgs &u, const IntArgs &c, bool at_most, IntPropLevel ipl=IPL_DEF) |
| Post propagators for the cumulatives constraint. More...
|
|
void | cumulatives (Home home, const IntVarArgs &m, const IntVarArgs &s, const IntVarArgs &p, const IntVarArgs &e, const IntArgs &u, const IntArgs &c, bool at_most, IntPropLevel ipl=IPL_DEF) |
| Post propagators for the cumulatives constraint. More...
|
|
void | cumulatives (Home home, const IntArgs &m, const IntVarArgs &s, const IntVarArgs &p, const IntVarArgs &e, const IntArgs &u, const IntArgs &c, bool at_most, IntPropLevel ipl=IPL_DEF) |
| Post propagators for the cumulatives constraint. More...
|
|
void | cumulatives (Home home, const IntVarArgs &m, const IntVarArgs &s, const IntArgs &p, const IntVarArgs &e, const IntArgs &u, const IntArgs &c, bool at_most, IntPropLevel ipl=IPL_DEF) |
| Post propagators for the cumulatives constraint. More...
|
|
void | cumulatives (Home home, const IntArgs &m, const IntVarArgs &s, const IntArgs &p, const IntVarArgs &e, const IntArgs &u, const IntArgs &c, bool at_most, IntPropLevel ipl=IPL_DEF) |
| Post propagators for the cumulatives constraint. More...
|
|
void | distinct (Home home, const IntVarArgs &x, IntPropLevel ipl=IPL_DEF) |
| Post propagator for for all . More...
|
|
void | distinct (Home home, const IntArgs &n, const IntVarArgs &x, IntPropLevel ipl=IPL_DEF) |
| Post propagator for for all . More...
|
|
void | distinct (Home home, const BoolVarArgs &b, const IntVarArgs &x, IntPropLevel ipl=IPL_DEF) |
| Post propagator for for all . More...
|
|
void | distinct (Home home, const IntVarArgs &x, int c, IntPropLevel ipl=IPL_DEF) |
| Post propagator for for all . More...
|
|
void | dom (Home home, IntVar x, int n, IntPropLevel ipl=IPL_DEF) |
| Propagates . More...
|
|
void | dom (Home home, const IntVarArgs &x, int n, IntPropLevel ipl=IPL_DEF) |
| Propagates for all . More...
|
|
void | dom (Home home, IntVar x, int l, int m, IntPropLevel ipl=IPL_DEF) |
| Propagates . More...
|
|
void | dom (Home home, const IntVarArgs &x, int l, int m, IntPropLevel ipl=IPL_DEF) |
| Propagates for all . More...
|
|
void | dom (Home home, IntVar x, const IntSet &s, IntPropLevel ipl=IPL_DEF) |
| Propagates . More...
|
|
void | dom (Home home, const IntVarArgs &x, const IntSet &s, IntPropLevel ipl=IPL_DEF) |
| Propagates for all . More...
|
|
void | dom (Home home, IntVar x, int n, Reify r, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | dom (Home home, IntVar x, int l, int m, Reify r, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | dom (Home home, IntVar x, const IntSet &s, Reify r, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | dom (Home home, IntVar x, IntVar d, IntPropLevel ipl=IPL_DEF) |
| Constrain domain of x according to domain of d. More...
|
|
void | dom (Home home, BoolVar x, BoolVar d, IntPropLevel ipl=IPL_DEF) |
| Constrain domain of x according to domain of d. More...
|
|
void | dom (Home home, const IntVarArgs &x, const IntVarArgs &d, IntPropLevel ipl=IPL_DEF) |
| Constrain domain of according to domain of for all . More...
|
|
void | dom (Home home, const BoolVarArgs &x, const BoolVarArgs &d, IntPropLevel ipl=IPL_DEF) |
| Constrain domain of according to domain of for all . More...
|
|
void | element (Home home, IntSharedArray n, IntVar x0, IntVar x1, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | element (Home home, IntSharedArray n, IntVar x0, BoolVar x1, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | element (Home home, IntSharedArray n, IntVar x0, int x1, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | element (Home home, const IntVarArgs &x, IntVar y0, IntVar y1, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | element (Home home, const IntVarArgs &x, IntVar y0, int y1, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | element (Home home, const BoolVarArgs &x, IntVar y0, BoolVar y1, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | element (Home home, const BoolVarArgs &x, IntVar y0, int y1, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | element (Home home, IntSharedArray a, IntVar x, int w, IntVar y, int h, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | element (Home home, IntSharedArray a, IntVar x, int w, IntVar y, int h, BoolVar z, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | element (Home home, const IntVarArgs &a, IntVar x, int w, IntVar y, int h, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | element (Home home, const BoolVarArgs &a, IntVar x, int w, IntVar y, int h, BoolVar z, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | wait (Home home, IntVar x, std::function< void(Space &home)> c, IntPropLevel ipl=IPL_DEF) |
| Execute c when x becomes assigned. More...
|
|
void | wait (Home home, BoolVar x, std::function< void(Space &home)> c, IntPropLevel ipl=IPL_DEF) |
| Execute c when x becomes assigned. More...
|
|
void | wait (Home home, const IntVarArgs &x, std::function< void(Space &home)> c, IntPropLevel ipl=IPL_DEF) |
| Execute c when all variables in x become assigned. More...
|
|
void | wait (Home home, const BoolVarArgs &x, std::function< void(Space &home)> c, IntPropLevel ipl=IPL_DEF) |
| Execute c when all variables in x become assigned. More...
|
|
void | when (Home home, BoolVar x, std::function< void(Space &home)> t, std::function< void(Space &home)> e, IntPropLevel ipl=IPL_DEF) |
| Execute t (then) when x is assigned one, and e (else) otherwise. More...
|
|
void | when (Home home, BoolVar x, std::function< void(Space &home)> t, IntPropLevel ipl=IPL_DEF) |
| Execute t (then) when x is assigned one. More...
|
|
template<class Char , class Traits > |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const DFA &d) |
|
template<class Char , class Traits , class T > |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const TupleSet &ts) |
|
void | extensional (Home home, const IntVarArgs &x, DFA d, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for extensional constraint described by a DFA. More...
|
|
void | extensional (Home home, const BoolVarArgs &x, DFA d, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for extensional constraint described by a DFA. More...
|
|
void | extensional (Home home, const IntVarArgs &x, const TupleSet &t, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | extensional (Home home, const BoolVarArgs &x, const TupleSet &t, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | count (Home home, const IntVarArgs &x, const IntVarArgs &c, const IntArgs &v, IntPropLevel ipl=IPL_DEF) |
| Posts a global count (cardinality) constraint. More...
|
|
void | count (Home home, const IntVarArgs &x, const IntVarArgs &c, IntPropLevel ipl=IPL_DEF) |
| Posts a global count (cardinality) constraint. More...
|
|
void | count (Home home, const IntVarArgs &x, const IntSetArgs &c, const IntArgs &v, IntPropLevel ipl=IPL_DEF) |
| Posts a global count (cardinality) constraint. More...
|
|
void | count (Home home, const IntVarArgs &x, const IntSetArgs &c, IntPropLevel ipl=IPL_DEF) |
| Posts a global count (cardinality) constraint. More...
|
|
void | count (Home home, const IntVarArgs &x, const IntSet &c, const IntArgs &v, IntPropLevel ipl=IPL_DEF) |
| Posts a global count (cardinality) constraint. More...
|
|
template<class Char , class Traits > |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const IntSet &is) |
|
IntPropLevel | vbd (IntPropLevel ipl) |
| Extract value, bounds, or domain propagation from propagation level. More...
|
|
IntPropLevel | sm (IntPropLevel ipl) |
| Extract speed or memory from propagation level. More...
|
|
IntPropLevel | ba (IntPropLevel ipl) |
| Extract basic or advanced from propagation level. More...
|
|
IntRelType | swap (IntRelType irt) |
| Return swapped relation type of irt. More...
|
|
IntRelType | neg (IntRelType irt) |
| Return negated relation type of irt. More...
|
|
SymmetryHandle | VariableSymmetry (const IntVarArgs &x) |
| Variables in x are interchangeable. More...
|
|
SymmetryHandle | VariableSymmetry (const BoolVarArgs &x) |
| Variables in x are interchangeable. More...
|
|
SymmetryHandle | VariableSymmetry (const IntVarArgs &x, const IntArgs &indices) |
| Specified variables in x are interchangeable. More...
|
|
SymmetryHandle | ValueSymmetry (const IntArgs &v) |
| Values in v are interchangeable. More...
|
|
SymmetryHandle | ValueSymmetry (const IntSet &v) |
| Values in v are interchangeable. More...
|
|
SymmetryHandle | ValueSymmetry (IntVar vars) |
| All values in the domain of the given variable are interchangeable. More...
|
|
SymmetryHandle | VariableSequenceSymmetry (const IntVarArgs &x, int ss) |
| Variable sequences in x of size ss are interchangeable. More...
|
|
SymmetryHandle | VariableSequenceSymmetry (const BoolVarArgs &x, int ss) |
| Variable sequences in x of size ss are interchangeable. More...
|
|
SymmetryHandle | ValueSequenceSymmetry (const IntArgs &v, int ss) |
| Value sequences in v of size ss are interchangeable. More...
|
|
SymmetryHandle | values_reflect (int lower, int upper) |
| The values from lower to upper (inclusive) can be reflected. More...
|
|
SymmetryHandle | values_reflect (const IntVar &x) |
|
void | branch (Home home, const IntVarArgs &x, IntVarBranch vars, IntValBranch vals, const Symmetries &syms, IntBranchFilter bf=nullptr, IntVarValPrint vvp=nullptr) |
| Branch over x with variable selection vars and value selection vals with symmetry breaking. More...
|
|
void | branch (Home home, const IntVarArgs &x, TieBreak< IntVarBranch > vars, IntValBranch vals, const Symmetries &syms, IntBranchFilter bf=nullptr, IntVarValPrint vvp=nullptr) |
| Branch over x with tie-breaking variable selection vars and value selection vals with symmetry breaking. More...
|
|
void | branch (Home home, const BoolVarArgs &x, BoolVarBranch vars, BoolValBranch vals, const Symmetries &syms, BoolBranchFilter bf=nullptr, BoolVarValPrint vvp=nullptr) |
| Branch over x with variable selection vars and value selection vals with symmetry breaking. More...
|
|
void | branch (Home home, const BoolVarArgs &x, TieBreak< BoolVarBranch > vars, BoolValBranch vals, const Symmetries &syms, BoolBranchFilter bf=nullptr, BoolVarValPrint vvp=nullptr) |
| Branch over x with tie-breaking variable selection vars and value selection vals with symmetry breaking. More...
|
|
void | linear (Home home, const BoolVarArgs &x, IntRelType irt, int c, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const BoolVarArgs &x, IntRelType irt, IntVar y, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntArgs &a, const BoolVarArgs &x, IntRelType irt, int c, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntArgs &a, const BoolVarArgs &x, IntRelType irt, IntVar y, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const BoolVarArgs &x, IntRelType irt, int c, Reify r, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const BoolVarArgs &x, IntRelType irt, IntVar y, Reify r, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntArgs &a, const BoolVarArgs &x, IntRelType irt, int c, Reify r, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntArgs &a, const BoolVarArgs &x, IntRelType irt, IntVar y, Reify r, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntVarArgs &x, IntRelType irt, int c, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntVarArgs &x, IntRelType irt, int c, Reify r, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntArgs &a, const IntVarArgs &x, IntRelType irt, int c, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntArgs &a, const IntVarArgs &x, IntRelType irt, int c, Reify r, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntVarArgs &x, IntRelType irt, IntVar y, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntVarArgs &x, IntRelType irt, IntVar y, Reify r, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntArgs &a, const IntVarArgs &x, IntRelType irt, IntVar y, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntArgs &a, const IntVarArgs &x, IntRelType irt, IntVar y, Reify r, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | member (Home home, const IntVarArgs &x, IntVar y, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | member (Home home, const BoolVarArgs &x, BoolVar y, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | member (Home home, const IntVarArgs &x, IntVar y, Reify r, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | member (Home home, const BoolVarArgs &x, BoolVar y, Reify r, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | nooverlap (Home home, const IntVarArgs &x, const IntArgs &w, const IntVarArgs &y, const IntArgs &h, IntPropLevel ipl=IPL_DEF) |
| Post propagator for rectangle packing. More...
|
|
void | nooverlap (Home home, const IntVarArgs &x, const IntArgs &w, const IntVarArgs &y, const IntArgs &h, const BoolVarArgs &o, IntPropLevel ipl=IPL_DEF) |
| Post propagator for rectangle packing. More...
|
|
void | nooverlap (Home home, const IntVarArgs &x0, const IntVarArgs &w, const IntVarArgs &x1, const IntVarArgs &y0, const IntVarArgs &h, const IntVarArgs &y1, IntPropLevel ipl=IPL_DEF) |
| Post propagator for rectangle packing. More...
|
|
void | nooverlap (Home home, const IntVarArgs &x0, const IntVarArgs &w, const IntVarArgs &x1, const IntVarArgs &y0, const IntVarArgs &h, const IntVarArgs &y1, const BoolVarArgs &o, IntPropLevel ipl=IPL_DEF) |
| Post propagator for rectangle packing. More...
|
|
void | nvalues (Home home, const IntVarArgs &x, IntRelType irt, int y, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | nvalues (Home home, const IntVarArgs &x, IntRelType irt, IntVar y, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | nvalues (Home home, const BoolVarArgs &x, IntRelType irt, int y, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | nvalues (Home home, const BoolVarArgs &x, IntRelType irt, IntVar y, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | precede (Home home, const IntVarArgs &x, int s, int t, IntPropLevel=IPL_DEF) |
| Post propagator that s precedes t in x. More...
|
|
void | precede (Home home, const IntVarArgs &x, const IntArgs &c, IntPropLevel=IPL_DEF) |
| Post propagator that successive values in c precede each other in x. More...
|
|
Reify | eqv (BoolVar x) |
| Use equivalence for reification. More...
|
|
Reify | imp (BoolVar x) |
| Use implication for reification. More...
|
|
Reify | pmi (BoolVar x) |
| Use reverse implication for reification. More...
|
|
void | rel (Home home, IntVar x, IntRelType irt, int c, IntPropLevel ipl=IPL_DEF) |
| Propagates . More...
|
|
void | rel (Home home, const IntVarArgs &x, IntRelType irt, int c, IntPropLevel ipl=IPL_DEF) |
| Propagates for all . More...
|
|
void | rel (Home home, IntVar x0, IntRelType irt, IntVar x1, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | rel (Home home, const IntVarArgs &x, IntRelType irt, IntVar y, IntPropLevel ipl=IPL_DEF) |
| Post propagator for for all . More...
|
|
void | rel (Home home, IntVar x0, IntRelType irt, IntVar x1, Reify r, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | rel (Home home, IntVar x, IntRelType irt, int c, Reify r, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | rel (Home home, const IntVarArgs &x, IntRelType irt, IntPropLevel ipl=IPL_DEF) |
| Post propagator for relation among elements in x. More...
|
|
void | rel (Home home, const IntVarArgs &x, IntRelType irt, const IntVarArgs &y, IntPropLevel ipl=IPL_DEF) |
| Post propagator for relation between x and y. More...
|
|
void | rel (Home home, const IntVarArgs &x, IntRelType irt, const IntArgs &y, IntPropLevel ipl=IPL_DEF) |
| Post propagator for relation between x and y. More...
|
|
void | rel (Home home, const IntArgs &x, IntRelType irt, const IntVarArgs &y, IntPropLevel ipl=IPL_DEF) |
| Post propagator for relation between x and y. More...
|
|
void | relax (Home home, const IntVarArgs &x, const IntVarArgs &sx, Rnd r, double p) |
|
void | relax (Home home, const BoolVarArgs &x, const BoolVarArgs &sx, Rnd r, double p) |
|
void | sequence (Home home, const IntVarArgs &x, const IntSet &s, int q, int l, int u, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | sequence (Home home, const BoolVarArgs &x, const IntSet &s, int q, int l, int u, IntPropLevel ipl=IPL_DEF) |
| Post propagator for . More...
|
|
void | sorted (Home home, const IntVarArgs &x, const IntVarArgs &y, const IntVarArgs &z, IntPropLevel ipl=IPL_DEF) |
| Post propagator that y is x sorted in increasing order. More...
|
|
void | sorted (Home home, const IntVarArgs &x, const IntVarArgs &y, IntPropLevel ipl=IPL_DEF) |
| Post propagator that y is x sorted in increasing order. More...
|
|
void | trace (Home home, const IntVarArgs &x, TraceFilter tf, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|TE_DONE), IntTracer &t=StdIntTracer::def) |
| Create a tracer for integer variables. More...
|
|
void | trace (Home home, const BoolVarArgs &x, TraceFilter tf, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|TE_DONE), BoolTracer &t=StdBoolTracer::def) |
| Create a tracer for Boolean Variables. More...
|
|
void | trace (Home home, const IntVarArgs &x, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|TE_DONE), IntTracer &t=StdIntTracer::def) |
| Create a tracer for integer variables. More...
|
|
void | trace (Home home, const BoolVarArgs &x, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|TE_DONE), BoolTracer &t=StdBoolTracer::def) |
| Create a tracer for Boolean Variables. More...
|
|
void | unary (Home home, const IntVarArgs &s, const IntArgs &p, IntPropLevel ipl=IPL_DEF) |
| Post propagators for scheduling tasks on unary resources. More...
|
|
void | unary (Home home, const TaskTypeArgs &t, const IntVarArgs &flex, const IntArgs &fix, IntPropLevel ipl=IPL_DEF) |
| Post propagators for scheduling tasks on unary resources. More...
|
|
void | unary (Home home, const IntVarArgs &s, const IntArgs &p, const BoolVarArgs &m, IntPropLevel ipl=IPL_DEF) |
| Post propagators for scheduling optional tasks on unary resources. More...
|
|
void | unary (Home home, const TaskTypeArgs &t, const IntVarArgs &flex, const IntArgs &fix, const BoolVarArgs &m, IntPropLevel ipl=IPL_DEF) |
| Post propagators for scheduling optional tasks on unary resources. More...
|
|
void | unary (Home home, const IntVarArgs &s, const IntVarArgs &p, const IntVarArgs &e, IntPropLevel ipl=IPL_DEF) |
| Post propagators for scheduling tasks on unary resources. More...
|
|
void | unary (Home home, const IntVarArgs &s, const IntVarArgs &p, const IntVarArgs &e, const BoolVarArgs &m, IntPropLevel ipl=IPL_DEF) |
| Post propagators for scheduling optional tasks on unary resources. More...
|
|
void | unshare (Home home, IntVarArgs &x, IntPropLevel ipl=IPL_DEF) |
| Replace multiple variable occurences in x by fresh variables. More...
|
|
void | unshare (Home home, BoolVarArgs &x, IntPropLevel ipl=IPL_DEF) |
| Replace multiple variable occurences in x by fresh variables. More...
|
|
template<class Char , class Traits > |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const IntVar &x) |
|
template<class Char , class Traits > |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const BoolVar &x) |
|
SymmetryHandle | values_reflect (IntVar x) |
| The values in the domain of \x can be reflected. More...
|
|
template<class Char , class Traits > |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const Action &a) |
|
template<class Char , class Traits > |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const AFC &a) |
|
template<class T1 , class T2 > |
bool | operator== (space_allocator< T1 > const &al1, space_allocator< T2 > const &al2) throw () |
| Tests two space allocators for equality. More...
|
|
template<class T1 , class T2 > |
bool | operator!= (space_allocator< T1 > const &al1, space_allocator< T2 > const &al2) throw () |
| Tests two space allocators for inequality. More...
|
|
template<class T1 , class T2 > |
bool | operator== (region_allocator< T1 > const &al1, region_allocator< T2 > const &al2) throw () |
|
template<class T1 , class T2 > |
bool | operator!= (region_allocator< T1 > const &al1, region_allocator< T2 > const &al2) throw () |
|
Archive & | operator<< (Archive &e, unsigned int i) |
|
Archive & | operator<< (Archive &e, int i) |
|
Archive & | operator<< (Archive &e, unsigned short i) |
|
Archive & | operator<< (Archive &e, short i) |
|
Archive & | operator<< (Archive &e, unsigned char i) |
|
Archive & | operator<< (Archive &e, char i) |
|
Archive & | operator<< (Archive &e, bool i) |
|
Archive & | operator<< (Archive &e, float d) |
|
Archive & | operator<< (Archive &e, double d) |
|
Archive & | operator >> (Archive &e, unsigned int &i) |
|
Archive & | operator >> (Archive &e, int &i) |
|
Archive & | operator >> (Archive &e, unsigned short &i) |
|
Archive & | operator >> (Archive &e, short &i) |
|
Archive & | operator >> (Archive &e, unsigned char &i) |
|
Archive & | operator >> (Archive &e, char &i) |
|
Archive & | operator >> (Archive &e, bool &i) |
|
Archive & | operator >> (Archive &e, float &d) |
|
Archive & | operator >> (Archive &e, double &d) |
|
template<class Var > |
ArrayTraits< VarArray< Var > >::ArgsType | operator+ (const VarArray< Var > &x, const VarArray< Var > &y) |
|
template<class Var > |
ArrayTraits< VarArray< Var > >::ArgsType | operator+ (const VarArray< Var > &x, const VarArgArray< Var > &y) |
|
template<class Var > |
ArrayTraits< VarArray< Var > >::ArgsType | operator+ (const VarArgArray< Var > &x, const VarArray< Var > &y) |
|
template<class Var > |
ArrayTraits< VarArray< Var > >::ArgsType | operator+ (const VarArray< Var > &x, const Var &y) |
|
template<class Var > |
ArrayTraits< VarArray< Var > >::ArgsType | operator+ (const Var &x, const VarArray< Var > &y) |
|
template<class View > |
bool | __before (const View &x, const View &y) |
|
template<class X , class Y > |
bool | __same (const X &x, const Y &y) |
|
template<class X , class Y > |
bool | __shared (const X &x, const Y &y) |
|
template<class T > |
ArrayTraits< PrimArgArray< T > >::ArgsType | operator+ (const PrimArgArray< T > &x, const PrimArgArray< T > &y) |
|
template<class T > |
ArrayTraits< PrimArgArray< T > >::ArgsType | operator+ (const PrimArgArray< T > &x, const T &y) |
|
template<class T > |
ArrayTraits< PrimArgArray< T > >::ArgsType | operator+ (const T &x, const PrimArgArray< T > &y) |
|
template<class T > |
ArrayTraits< ArgArray< T > >::ArgsType | operator+ (const ArgArray< T > &x, const ArgArray< T > &y) |
|
template<class T > |
ArrayTraits< ArgArray< T > >::ArgsType | operator+ (const ArgArray< T > &x, const T &y) |
|
template<class T > |
ArrayTraits< ArgArray< T > >::ArgsType | operator+ (const T &x, const ArgArray< T > &y) |
|
template<class Var > |
ArrayTraits< VarArgArray< Var > >::ArgsType | operator+ (const VarArgArray< Var > &x, const VarArgArray< Var > &y) |
|
template<class Var > |
ArrayTraits< VarArgArray< Var > >::ArgsType | operator+ (const VarArgArray< Var > &x, const Var &y) |
|
template<class Var > |
ArrayTraits< VarArgArray< Var > >::ArgsType | operator+ (const Var &x, const VarArgArray< Var > &y) |
|
template<class Char , class Traits , class Var > |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const VarArray< Var > &x) |
|
template<class Char , class Traits , class View > |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const ViewArray< View > &x) |
|
template<class Char , class Traits , class T > |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const ArgArrayBase< T > &x) |
|
template<class VarBranch > |
TieBreak< VarBranch > | tiebreak (VarBranch a, VarBranch b) |
| Combine variable selection criteria a and b for tie-breaking. More...
|
|
template<class VarBranch > |
TieBreak< VarBranch > | tiebreak (VarBranch a, VarBranch b, VarBranch c) |
| Combine variable selection criteria a, b, and c for tie-breaking. More...
|
|
template<class VarBranch > |
TieBreak< VarBranch > | tiebreak (VarBranch a, VarBranch b, VarBranch c, VarBranch d) |
| Combine variable selection criteria a, b, c, and d for tie-breaking. More...
|
|
void | branch (Home home, std::function< void(Space &home)> f) |
| Call the function f (with the current space as argument) for branching. More...
|
|
template<class View , int n, class Val , unsigned int a> |
void | postviewvalbrancher (Home home, ViewArray< View > &x, ViewSel< View > *vs[n], ValSelCommitBase< View, Val > *vsc, BranchFilter< typename View::VarType > bf, VarValPrint< typename View::VarType, Val > vvp) |
| Post view value brancher. More...
|
|
template<class Char , class Traits > |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const CHB &chb) |
|
bool | me_failed (ModEvent me) |
| Check whether modification event me is failed. More...
|
|
bool | me_modified (ModEvent me) |
| Check whether modification event me describes variable modification. More...
|
|
template<class Char , class Traits , class T > |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const SharedArray< T > &x) |
|
TFE | operator - (const TFE &e) |
| Return negative expression of e. More...
|
|
TFE | propagator (PropagatorGroup g) |
| Only propagators (but not post functions) from g are considered. More...
|
|
TFE | post (PropagatorGroup g) |
| Only post functions (but not propagators) from g are considered. More...
|
|
TFE | operator+ (TFE l, const TFE &r) |
| Disjunctive combination of trace filter expressions l and r. More...
|
|
TFE | operator+ (const TFE &e) |
| Positive expression. More...
|
|
TFE | operator - (TFE l, const TFE &r) |
| Combine positive expression l and negative expression r. More...
|
|
void | trace (Home home, TraceFilter tf, int te=(TE_PROPAGATE|TE_COMMIT), Tracer &t=StdTracer::def) |
| Create tracer. More...
|
|
void | trace (Home home, int te=(TE_PROPAGATE|TE_COMMIT), Tracer &t=StdTracer::def) |
| Create tracer. More...
|
|
template<class ViewA , class ViewB > |
bool | shared (const ConstView< ViewA > &, const ConstView< ViewB > &) |
| Test whether views share same variable. More...
|
|
template<class Var , class View > |
bool | shared (const VarImpView< Var > &, const ConstView< View > &) |
| Test whether views share same variable. More...
|
|
template<class ViewA , class ViewB > |
bool | shared (const DerivedView< ViewA > &, const ConstView< ViewB > &) |
| Test whether views share same variable. More...
|
|
template<class View , class Var > |
bool | shared (const ConstView< View > &, const VarImpView< Var > &) |
| Test whether views share same variable. More...
|
|
template<class ViewA , class ViewB > |
bool | shared (const ConstView< ViewA > &, const DerivedView< ViewB > &) |
| Test whether views share same variable. More...
|
|
template<class VarA , class VarB > |
bool | shared (const VarImpView< VarA > &, const VarImpView< VarB > &) |
| Test whether views share same variable. More...
|
|
template<class Var , class View > |
bool | shared (const VarImpView< Var > &, const DerivedView< View > &) |
| Test whether views share same variable. More...
|
|
template<class View , class Var > |
bool | shared (const DerivedView< View > &, const VarImpView< Var > &) |
| Test whether views share same variable. More...
|
|
template<class ViewA , class ViewB > |
bool | shared (const DerivedView< ViewA > &, const DerivedView< ViewB > &) |
| Test whether views share same variable. More...
|
|
template<class ViewA , class ViewB > |
bool | same (const ConstView< ViewA > &, const ConstView< ViewB > &) |
| Test whether two views are the same. More...
|
|
template<class Var , class View > |
bool | same (const VarImpView< Var > &, const ConstView< View > &) |
| Test whether two views are the same. More...
|
|
template<class ViewA , class ViewB > |
bool | same (const ConstView< ViewA > &, const DerivedView< ViewB > &) |
| Test whether two views are the same. More...
|
|
template<class Var , class View > |
bool | same (const VarImpView< Var > &, const DerivedView< View > &) |
| Test whether two views are the same. More...
|
|
template<class View , class Var > |
bool | same (const DerivedView< View > &, const VarImpView< Var > &) |
| Test whether two views are the same. More...
|
|
template<class Var > |
bool | same (const VarImpView< Var > &x, const VarImpView< Var > &y) |
| Test whether two views are the same. More...
|
|
template<class ViewA , class ViewB > |
bool | same (const DerivedView< ViewA > &x, const DerivedView< ViewB > &y) |
| Test whether two views are the same. More...
|
|
template<class ViewA , class ViewB > |
bool | before (const ViewA &x, const ViewB &y) |
|
BoolExpr | operator && (const BoolExpr &, const BoolExpr &) |
| Conjunction of Boolean expressions. More...
|
|
BoolExpr | operator|| (const BoolExpr &, const BoolExpr &) |
| Disjunction of Boolean expressions. More...
|
|
BoolExpr | operator ^ (const BoolExpr &, const BoolExpr &) |
| Exclusive-or of Boolean expressions. More...
|
|
BoolExpr | operator ! (const BoolExpr &) |
| Negated Boolean expression. More...
|
|
BoolExpr | operator != (const BoolExpr &, const BoolExpr &) |
| Non-equivalence of Boolean expressions. More...
|
|
BoolExpr | operator== (const BoolExpr &, const BoolExpr &) |
| Equivalence of Boolean expressions. More...
|
|
BoolExpr | operator >> (const BoolExpr &, const BoolExpr &) |
| Implication of Boolean expressions. More...
|
|
BoolExpr | operator<< (const BoolExpr &, const BoolExpr &) |
| Reverse implication of Boolean expressions. More...
|
|
BoolVar | expr (Home home, const BoolExpr &e, IntPropLevel ipl=IPL_DEF) |
| Post Boolean expression and return its value. More...
|
|
void | rel (Home home, const BoolExpr &e, IntPropLevel ipl=IPL_DEF) |
| Post Boolean relation. More...
|
|
BoolExpr | element (const BoolVarArgs &x, const LinIntExpr &y) |
| Return expression for . More...
|
|
LinFloatExpr | abs (const LinFloatExpr &e) |
| Return expression for . More...
|
|
LinFloatExpr | min (const LinFloatExpr &x, const LinFloatExpr &y) |
| Return expression for . More...
|
|
LinFloatExpr | min (const FloatVarArgs &x) |
| Return expression for . More...
|
|
LinFloatExpr | max (const LinFloatExpr &x, const LinFloatExpr &y) |
| Return expression for . More...
|
|
LinFloatExpr | max (const FloatVarArgs &x) |
| Return expression for . More...
|
|
LinFloatExpr | operator * (const FloatVar &, const FloatVar &) |
| Return expression as product of float variables. More...
|
|
LinFloatExpr | operator * (const LinFloatExpr &, const FloatVar &) |
| Return expression as product of linear float expression and float variable. More...
|
|
LinFloatExpr | operator * (const FloatVar &, const LinFloatExpr &) |
| Return expression as product of float variable and linear float expression. More...
|
|
LinFloatExpr | operator * (const LinFloatExpr &x, const LinFloatExpr &y) |
| Return expression for . More...
|
|
LinFloatExpr | operator/ (const LinFloatExpr &x, const LinFloatExpr &y) |
| Return expression for . More...
|
|
LinFloatExpr | sqr (const LinFloatExpr &x) |
| Return expression for . More...
|
|
LinFloatExpr | sqrt (const LinFloatExpr &x) |
| Return expression for . More...
|
|
LinFloatExpr | pow (const LinFloatExpr &x, int n) |
| Return expression for . More...
|
|
LinFloatExpr | nroot (const LinFloatExpr &x, int n) |
| Return expression for . More...
|
|
LinFloatExpr | exp (const LinFloatExpr &x) |
| Return expression for . More...
|
|
LinFloatExpr | log (const LinFloatExpr &x) |
| Return expression for . More...
|
|
LinFloatExpr | asin (const LinFloatExpr &x) |
| Return expression for . More...
|
|
LinFloatExpr | sin (const LinFloatExpr &x) |
| Return expression for . More...
|
|
LinFloatExpr | acos (const LinFloatExpr &x) |
| Return expression for . More...
|
|
LinFloatExpr | cos (const LinFloatExpr &x) |
| Return expression for . More...
|
|
LinFloatExpr | atan (const LinFloatExpr &x) |
| Return expression for . More...
|
|
LinFloatExpr | tan (const LinFloatExpr &x) |
| Return expression for . More...
|
|
LinFloatExpr | operator+ (const FloatVal &, const FloatVar &) |
| Construct linear float expression as sum of float variable and float. More...
|
|
LinFloatExpr | operator+ (const FloatVal &, const LinFloatExpr &) |
| Construct linear float expression as sum of linear float expression and float. More...
|
|
LinFloatExpr | operator+ (const FloatVar &, const FloatVal &) |
| Construct linear float expression as sum of float variable and float. More...
|
|
LinFloatExpr | operator+ (const LinFloatExpr &, const FloatVal &) |
| Construct linear float expression as sum of linear float expression and float. More...
|
|
LinFloatExpr | operator+ (const FloatVar &, const FloatVar &) |
| Construct linear float expression as sum of float variables. More...
|
|
LinFloatExpr | operator+ (const FloatVar &, const LinFloatExpr &) |
| Construct linear float expression as sum of float variable and linear float expression. More...
|
|
LinFloatExpr | operator+ (const LinFloatExpr &, const FloatVar &) |
| Construct linear float expression as sum of linear float expression and float variable. More...
|
|
LinFloatExpr | operator+ (const LinFloatExpr &, const LinFloatExpr &) |
| Construct linear float expression as sum of linear float expressions. More...
|
|
LinFloatExpr | operator - (const FloatVal &, const FloatVar &) |
| Construct linear float expression as sum of float variable and float. More...
|
|
LinFloatExpr | operator - (const FloatVal &, const LinFloatExpr &) |
| Construct linear float expression as sum of float and linear float expression. More...
|
|
LinFloatExpr | operator - (const FloatVar &, const FloatVal &) |
| Construct linear float expression as sum of float variable and float. More...
|
|
LinFloatExpr | operator - (const LinFloatExpr &, const FloatVal &) |
| Construct linear float expression as sum of linear float expression and float. More...
|
|
LinFloatExpr | operator - (const FloatVar &, const FloatVar &) |
| Construct linear float expression as sum of float variables. More...
|
|
LinFloatExpr | operator - (const FloatVar &, const LinFloatExpr &) |
| Construct linear float expression as sum of float variable and linear float expression. More...
|
|
LinFloatExpr | operator - (const LinFloatExpr &, const FloatVar &) |
| Construct linear float expression as sum of linear float expression and float variable. More...
|
|
LinFloatExpr | operator - (const LinFloatExpr &, const LinFloatExpr &) |
| Construct linear float expression as sum of linear float expressions. More...
|
|
LinFloatExpr | operator - (const FloatVar &) |
| Construct linear float expression as negative of float variable. More...
|
|
LinFloatExpr | operator - (const LinFloatExpr &) |
| Construct linear float expression as negative of linear float expression. More...
|
|
LinFloatExpr | operator * (const FloatVal &, const FloatVar &) |
| Construct linear float expression as product of float coefficient and float variable. More...
|
|
LinFloatExpr | operator * (const FloatVar &, const FloatVal &) |
| Construct linear float expression as product of float coefficient and float variable. More...
|
|
LinFloatExpr | operator * (const LinFloatExpr &, const FloatVal &) |
| Construct linear float expression as product of float coefficient and linear float expression. More...
|
|
LinFloatExpr | operator * (const FloatVal &, const LinFloatExpr &) |
| Construct linear float expression as product of float coefficient and linear float expression. More...
|
|
LinFloatExpr | sum (const FloatVarArgs &x) |
| Construct linear float expression as sum of float variables. More...
|
|
LinFloatExpr | sum (const FloatValArgs &a, const FloatVarArgs &x) |
| Construct linear float expression as sum of float variables with coefficients. More...
|
|
FloatVar | expr (Home home, const LinFloatExpr &e) |
| Post float expression and return its value. More...
|
|
LinFloatRel | operator== (const FloatVal &l, const FloatVar &r) |
| Construct linear float equality relation. More...
|
|
LinFloatRel | operator== (const FloatVal &l, const LinFloatExpr &r) |
| Construct linear float equality relation. More...
|
|
LinFloatRel | operator== (const FloatVar &l, const FloatVal &r) |
| Construct linear float equality relation. More...
|
|
LinFloatRel | operator== (const LinFloatExpr &l, const FloatVal &r) |
| Construct linear float equality relation. More...
|
|
LinFloatRel | operator== (const FloatVar &l, const FloatVar &r) |
| Construct linear float equality relation. More...
|
|
LinFloatRel | operator== (const FloatVar &l, const LinFloatExpr &r) |
| Construct linear float equality relation. More...
|
|
LinFloatRel | operator== (const LinFloatExpr &l, const FloatVar &r) |
| Construct linear float equality relation. More...
|
|
LinFloatRel | operator== (const LinFloatExpr &l, const LinFloatExpr &r) |
| Construct linear float equality relation. More...
|
|
LinFloatRel | operator != (const FloatVal &l, const FloatVar &r) |
| Construct linear float disequality relation. More...
|
|
LinFloatRel | operator != (const FloatVal &l, const LinFloatExpr &r) |
| Construct linear float disequality relation. More...
|
|
LinFloatRel | operator != (const FloatVar &l, const FloatVal &r) |
| Construct linear float disequality relation. More...
|
|
LinFloatRel | operator != (const LinFloatExpr &l, const FloatVal &r) |
| Construct linear float disequality relation. More...
|
|
LinFloatRel | operator != (const FloatVar &l, const FloatVar &r) |
| Construct linear float disequality relation. More...
|
|
LinFloatRel | operator != (const FloatVar &l, const LinFloatExpr &r) |
| Construct linear float disequality relation. More...
|
|
LinFloatRel | operator != (const LinFloatExpr &l, const FloatVar &r) |
| Construct linear float disequality relation. More...
|
|
LinFloatRel | operator != (const LinFloatExpr &l, const LinFloatExpr &r) |
| Construct linear float disequality relation. More...
|
|
LinFloatRel | operator<= (const FloatVal &l, const FloatVar &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator<= (const FloatVal &l, const LinFloatExpr &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator<= (const FloatVar &l, const FloatVal &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator<= (const LinFloatExpr &l, const FloatVal &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator<= (const FloatVar &l, const FloatVar &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator<= (const FloatVar &l, const LinFloatExpr &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator<= (const LinFloatExpr &l, const FloatVar &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator<= (const LinFloatExpr &l, const LinFloatExpr &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator< (const FloatVal &l, const FloatVar &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator< (const FloatVal &l, const LinFloatExpr &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator< (const FloatVar &l, const FloatVal &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator< (const LinFloatExpr &l, const FloatVal &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator< (const FloatVar &l, const FloatVar &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator< (const FloatVar &l, const LinFloatExpr &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator< (const LinFloatExpr &l, const FloatVar &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator< (const LinFloatExpr &l, const LinFloatExpr &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator >= (const FloatVal &l, const FloatVar &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator >= (const FloatVal &l, const LinFloatExpr &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator >= (const FloatVar &l, const FloatVal &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator >= (const LinFloatExpr &l, const FloatVal &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator >= (const FloatVar &l, const FloatVar &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator >= (const FloatVar &l, const LinFloatExpr &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator >= (const LinFloatExpr &l, const FloatVar &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator >= (const LinFloatExpr &l, const LinFloatExpr &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator > (const FloatVal &l, const FloatVar &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator > (const FloatVal &l, const LinFloatExpr &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator > (const FloatVar &l, const FloatVal &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator > (const LinFloatExpr &l, const FloatVal &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator > (const FloatVar &l, const FloatVar &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator > (const FloatVar &l, const LinFloatExpr &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator > (const LinFloatExpr &l, const FloatVar &r) |
| Construct linear float inequality relation. More...
|
|
LinFloatRel | operator > (const LinFloatExpr &l, const LinFloatExpr &r) |
| Construct linear float inequality relation. More...
|
|
LinIntExpr | abs (const LinIntExpr &e) |
| Return expression for . More...
|
|
LinIntExpr | min (const LinIntExpr &x, const LinIntExpr &y) |
| Return expression for . More...
|
|
LinIntExpr | max (const LinIntExpr &x, const LinIntExpr &y) |
| Return expression for . More...
|
|
LinIntExpr | min (const IntVarArgs &x) |
| Return expression for . More...
|
|
LinIntExpr | max (const IntVarArgs &x) |
| Return expression for . More...
|
|
LinIntExpr | operator * (const LinIntExpr &x, const LinIntExpr &y) |
| Return expression for . More...
|
|
LinIntExpr | sqr (const LinIntExpr &x) |
| Return expression for . More...
|
|
LinIntExpr | sqrt (const LinIntExpr &x) |
| Return expression for . More...
|
|
LinIntExpr | pow (const LinIntExpr &x, int n) |
| Return expression for . More...
|
|
LinIntExpr | nroot (const LinIntExpr &x, int n) |
| Return expression for . More...
|
|
LinIntExpr | operator/ (const LinIntExpr &x, const LinIntExpr &y) |
| Return expression for . More...
|
|
LinIntExpr | operator % (const LinIntExpr &x, const LinIntExpr &y) |
| Return expression for . More...
|
|
LinIntExpr | element (const IntVarArgs &x, const LinIntExpr &y) |
| Return expression for . More...
|
|
LinIntExpr | element (const IntArgs &x, const LinIntExpr &y) |
| Return expression for . More...
|
|
LinIntExpr | ite (const BoolExpr &b, const LinIntExpr &x, const LinIntExpr &y) |
| Return expression for if-then-else . More...
|
|
LinIntExpr | operator+ (int, const IntVar &) |
| Construct linear expression as sum of integer variable and integer. More...
|
|
LinIntExpr | operator+ (int, const BoolVar &) |
| Construct linear expression as sum of Boolean variable and integer. More...
|
|
LinIntExpr | operator+ (int, const LinIntExpr &) |
| Construct linear expression as sum of linear expression and integer. More...
|
|
LinIntExpr | operator+ (const IntVar &, int) |
| Construct linear expression as sum of integer variable and integer. More...
|
|
LinIntExpr | operator+ (const BoolVar &, int) |
| Construct linear expression as sum of Boolean variable and integer. More...
|
|
LinIntExpr | operator+ (const LinIntExpr &, int) |
| Construct linear expression as sum of linear expression and integer. More...
|
|
LinIntExpr | operator+ (const IntVar &, const IntVar &) |
| Construct linear expression as sum of integer variables. More...
|
|
LinIntExpr | operator+ (const IntVar &, const BoolVar &) |
| Construct linear expression as sum of integer and Boolean variable. More...
|
|
LinIntExpr | operator+ (const BoolVar &, const IntVar &) |
| Construct linear expression as sum of Boolean and integer variable. More...
|
|
LinIntExpr | operator+ (const BoolVar &, const BoolVar &) |
| Construct linear expression as sum of Boolean variables. More...
|
|
LinIntExpr | operator+ (const IntVar &, const LinIntExpr &) |
| Construct linear expression as sum of integer variable and linear expression. More...
|
|
LinIntExpr | operator+ (const BoolVar &, const LinIntExpr &) |
| Construct linear expression as sum of Boolean variable and linear expression. More...
|
|
LinIntExpr | operator+ (const LinIntExpr &, const IntVar &) |
| Construct linear expression as sum of linear expression and integer variable. More...
|
|
LinIntExpr | operator+ (const LinIntExpr &, const BoolVar &) |
| Construct linear expression as sum of linear expression and Boolean variable. More...
|
|
LinIntExpr | operator+ (const LinIntExpr &, const LinIntExpr &) |
| Construct linear expression as sum of linear expressions. More...
|
|
LinIntExpr | operator - (int, const IntVar &) |
| Construct linear expression as sum of integer variable and integer. More...
|
|
LinIntExpr | operator - (int, const BoolVar &) |
| Construct linear expression as sum of Boolean variable and integer. More...
|
|
LinIntExpr | operator - (int, const LinIntExpr &) |
| Construct linear expression as sum of integer and linear expression. More...
|
|
LinIntExpr | operator - (const IntVar &, int) |
| Construct linear expression as sum of integer variable and integer. More...
|
|
LinIntExpr | operator - (const BoolVar &, int) |
| Construct linear expression as sum of Boolean variable and integer. More...
|
|
LinIntExpr | operator - (const LinIntExpr &, int) |
| Construct linear expression as sum of linear expression and integer. More...
|
|
LinIntExpr | operator - (const IntVar &, const IntVar &) |
| Construct linear expression as sum of integer variables. More...
|
|
LinIntExpr | operator - (const IntVar &, const BoolVar &) |
| Construct linear expression as sum of integer and Boolean variable. More...
|
|
LinIntExpr | operator - (const BoolVar &, const IntVar &) |
| Construct linear expression as sum of Boolean and integer variable. More...
|
|
LinIntExpr | operator - (const BoolVar &, const BoolVar &) |
| Construct linear expression as sum of Boolean variables. More...
|
|
LinIntExpr | operator - (const IntVar &, const LinIntExpr &) |
| Construct linear expression as sum of integer variable and linear expression. More...
|
|
LinIntExpr | operator - (const BoolVar &, const LinIntExpr &) |
| Construct linear expression as sum of Boolean variable and linear expression. More...
|
|
LinIntExpr | operator - (const LinIntExpr &, const IntVar &) |
| Construct linear expression as sum of linear expression and integer variable. More...
|
|
LinIntExpr | operator - (const LinIntExpr &, const BoolVar &) |
| Construct linear expression as sum of linear expression and Boolean variable. More...
|
|
LinIntExpr | operator - (const LinIntExpr &, const LinIntExpr &) |
| Construct linear expression as sum of linear expressions. More...
|
|
LinIntExpr | operator - (const IntVar &) |
| Construct linear expression as negative of integer variable. More...
|
|
LinIntExpr | operator - (const BoolVar &) |
| Construct linear expression as negative of Boolean variable. More...
|
|
LinIntExpr | operator - (const LinIntExpr &) |
| Construct linear expression as negative of linear expression. More...
|
|
LinIntExpr | operator * (int, const IntVar &) |
| Construct linear expression as product of integer coefficient and integer variable. More...
|
|
LinIntExpr | operator * (int, const BoolVar &) |
| Construct linear expression as product of integer coefficient and Boolean variable. More...
|
|
LinIntExpr | operator * (const IntVar &, int) |
| Construct linear expression as product of integer coefficient and integer variable. More...
|
|
LinIntExpr | operator * (const BoolVar &, int) |
| Construct linear expression as product of integer coefficient and Boolean variable. More...
|
|
LinIntExpr | operator * (const LinIntExpr &, int) |
| Construct linear expression as product of integer coefficient and linear expression. More...
|
|
LinIntExpr | operator * (int, const LinIntExpr &) |
| Construct linear expression as product of integer coefficient and linear expression. More...
|
|
LinIntExpr | sum (const IntVarArgs &x) |
| Construct linear expression as sum of integer variables. More...
|
|
LinIntExpr | sum (const IntArgs &a, const IntVarArgs &x) |
| Construct linear expression as sum of integer variables with coefficients. More...
|
|
LinIntExpr | sum (const BoolVarArgs &x) |
| Construct linear expression as sum of Boolean variables. More...
|
|
LinIntExpr | sum (const IntArgs &a, const BoolVarArgs &x) |
| Construct linear expression as sum of Boolean variables with coefficients. More...
|
|
LinIntExpr | sum (const Slice< IntArgs > &slice) |
| Construct linear expression as sum of IntArgs Slice elements. More...
|
|
LinIntExpr | sum (const Matrix< IntArgs > &matrix) |
| Construct linear expression as sum of IntArgs Matrix elements. More...
|
|
LinIntExpr | sum (const IntArgs &args) |
| Construct linear expression as sum of IntArgs. More...
|
|
IntVar | expr (Home home, const LinIntExpr &e, IntPropLevel ipl=IPL_DEF) |
| Post linear expression and return its value. More...
|
|
LinIntRel | operator== (int l, const IntVar &r) |
| Construct linear equality relation. More...
|
|
LinIntRel | operator== (int l, const BoolVar &r) |
| Construct linear equality relation. More...
|
|
LinIntRel | operator== (int l, const LinIntExpr &r) |
| Construct linear equality relation. More...
|
|
LinIntRel | operator== (const IntVar &l, int r) |
| Construct linear equality relation. More...
|
|
LinIntRel | operator== (const BoolVar &l, int r) |
| Construct linear equality relation. More...
|
|
LinIntRel | operator== (const LinIntExpr &l, int r) |
| Construct linear equality relation. More...
|
|
LinIntRel | operator== (const IntVar &l, const IntVar &r) |
| Construct linear equality relation. More...
|
|
LinIntRel | operator== (const IntVar &l, const BoolVar &r) |
| Construct linear equality relation. More...
|
|
LinIntRel | operator== (const BoolVar &l, const IntVar &r) |
| Construct linear equality relation. More...
|
|
LinIntRel | operator== (const BoolVar &l, const BoolVar &r) |
| Construct linear equality relation. More...
|
|
LinIntRel | operator== (const IntVar &l, const LinIntExpr &r) |
| Construct linear equality relation. More...
|
|
LinIntRel | operator== (const BoolVar &l, const LinIntExpr &r) |
| Construct linear equality relation. More...
|
|
LinIntRel | operator== (const LinIntExpr &l, const IntVar &r) |
| Construct linear equality relation. More...
|
|
LinIntRel | operator== (const LinIntExpr &l, const BoolVar &r) |
| Construct linear equality relation. More...
|
|
LinIntRel | operator== (const LinIntExpr &l, const LinIntExpr &r) |
| Construct linear equality relation. More...
|
|
LinIntRel | operator != (int l, const IntVar &r) |
| Construct linear disequality relation. More...
|
|
LinIntRel | operator != (int l, const BoolVar &r) |
| Construct linear disequality relation. More...
|
|
LinIntRel | operator != (int l, const LinIntExpr &r) |
| Construct linear disequality relation. More...
|
|
LinIntRel | operator != (const IntVar &l, int r) |
| Construct linear disequality relation. More...
|
|
LinIntRel | operator != (const BoolVar &l, int r) |
| Construct linear disequality relation. More...
|
|
LinIntRel | operator != (const LinIntExpr &l, int r) |
| Construct linear disequality relation. More...
|
|
LinIntRel | operator != (const IntVar &l, const IntVar &r) |
| Construct linear disequality relation. More...
|
|
LinIntRel | operator != (const IntVar &l, const BoolVar &r) |
| Construct linear disequality relation. More...
|
|
LinIntRel | operator != (const BoolVar &l, const IntVar &r) |
| Construct linear disequality relation. More...
|
|
LinIntRel | operator != (const BoolVar &l, const BoolVar &r) |
| Construct linear disequality relation. More...
|
|
LinIntRel | operator != (const IntVar &l, const LinIntExpr &r) |
| Construct linear disequality relation. More...
|
|
LinIntRel | operator != (const BoolVar &l, const LinIntExpr &r) |
| Construct linear disequality relation. More...
|
|
LinIntRel | operator != (const LinIntExpr &l, const IntVar &r) |
| Construct linear disequality relation. More...
|
|
LinIntRel | operator != (const LinIntExpr &l, const BoolVar &r) |
| Construct linear disequality relation. More...
|
|
LinIntRel | operator != (const LinIntExpr &l, const LinIntExpr &r) |
| Construct linear disequality relation. More...
|
|
LinIntRel | operator< (int l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator< (int l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator< (int l, const LinIntExpr &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator< (const IntVar &l, int r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator< (const BoolVar &l, int r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator< (const LinIntExpr &l, int r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator< (const IntVar &l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator< (const IntVar &l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator< (const BoolVar &l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator< (const BoolVar &l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator< (const IntVar &l, const LinIntExpr &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator< (const BoolVar &l, const LinIntExpr &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator< (const LinIntExpr &l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator< (const LinIntExpr &l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator< (const LinIntExpr &l, const LinIntExpr &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator<= (int l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator<= (int l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator<= (int l, const LinIntExpr &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator<= (const IntVar &l, int r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator<= (const BoolVar &l, int r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator<= (const LinIntExpr &l, int r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator<= (const IntVar &l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator<= (const IntVar &l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator<= (const BoolVar &l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator<= (const BoolVar &l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator<= (const IntVar &l, const LinIntExpr &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator<= (const BoolVar &l, const LinIntExpr &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator<= (const LinIntExpr &l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator<= (const LinIntExpr &l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator<= (const LinIntExpr &l, const LinIntExpr &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator > (int l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator > (int l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator > (int l, const LinIntExpr &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator > (const IntVar &l, int r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator > (const BoolVar &l, int r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator > (const LinIntExpr &l, int r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator > (const IntVar &l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator > (const IntVar &l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator > (const BoolVar &l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator > (const BoolVar &l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator > (const IntVar &l, const LinIntExpr &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator > (const BoolVar &l, const LinIntExpr &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator > (const LinIntExpr &l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator > (const LinIntExpr &l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator > (const LinIntExpr &l, const LinIntExpr &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator >= (int l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator >= (int l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator >= (int l, const LinIntExpr &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator >= (const IntVar &l, int r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator >= (const BoolVar &l, int r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator >= (const LinIntExpr &l, int r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator >= (const IntVar &l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator >= (const IntVar &l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator >= (const BoolVar &l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator >= (const BoolVar &l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator >= (const IntVar &l, const LinIntExpr &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator >= (const BoolVar &l, const LinIntExpr &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator >= (const LinIntExpr &l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator >= (const LinIntExpr &l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinIntRel | operator >= (const LinIntExpr &l, const LinIntExpr &r) |
| Construct linear inequality relation. More...
|
|
template<class A > |
SymmetryHandle | rows_interchange (const Matrix< A > &m) |
| Interchangeable rows symmetry specification. More...
|
|
template<class A > |
SymmetryHandle | columns_interchange (const Matrix< A > &m) |
| Interchangeable columns symmetry specification. More...
|
|
template<class A > |
SymmetryHandle | rows_reflect (const Matrix< A > &m) |
| Reflect rows symmetry specification. More...
|
|
template<class A > |
SymmetryHandle | columns_reflect (const Matrix< A > &m) |
| Reflect columns symmetry specification. More...
|
|
template<class A > |
SymmetryHandle | diagonal_reflect (const Matrix< A > &m) |
| Reflect around main diagonal symmetry specification. More...
|
|
template<class A > |
Slice< A >::ArgsType | operator+ (const Slice< A > &x, const Slice< A > &y) |
| Concatenate x and y. More...
|
|
template<class A > |
Slice< A >::ArgsType | operator+ (const Slice< A > &x, const typename ArrayTraits< A >::ArgsType &y) |
| Concatenate x and y. More...
|
|
template<class A > |
Slice< A >::ArgsType | operator+ (const typename ArrayTraits< A >::ArgsType &x, const Slice< A > &y) |
| Concatenate x and y. More...
|
|
template<class A > |
Slice< A >::ArgsType | operator+ (const Slice< A > &x, const typename ArrayTraits< A >::ValueType &y) |
| Concatenate x and y. More...
|
|
template<class A > |
Slice< A >::ArgsType | operator+ (const typename ArrayTraits< A >::ValueType &x, const Slice< A > &y) |
| Concatenate x and y. More...
|
|
template<class Char , class Traits , class A > |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const Matrix< A > &m) |
|
template<class Char , class Traits , class A > |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const Slice< A > &s) |
|
void | element (Home home, const Matrix< IntArgs > &m, IntVar x, IntVar y, IntVar z, IntPropLevel ipl) |
|
void | element (Home home, const Matrix< IntArgs > &m, IntVar x, IntVar y, BoolVar z, IntPropLevel ipl) |
|
void | element (Home home, const Matrix< IntVarArgs > &m, IntVar x, IntVar y, IntVar z, IntPropLevel ipl) |
|
void | element (Home home, const Matrix< BoolVarArgs > &m, IntVar x, IntVar y, BoolVar z, IntPropLevel ipl) |
|
void | element (Home home, const Matrix< IntSetArgs > &m, IntVar x, IntVar y, SetVar z) |
|
void | element (Home home, const Matrix< SetVarArgs > &m, IntVar x, IntVar y, SetVar z) |
|
template<class Char , class Traits > |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const REG &r) |
|
SetExpr | operator & (const SetExpr &, const SetExpr &) |
| Intersection of set expressions. More...
|
|
SetExpr | operator| (const SetExpr &, const SetExpr &) |
| Union of set expressions. More...
|
|
SetExpr | operator+ (const SetExpr &, const SetExpr &) |
| Disjoint union of set expressions. More...
|
|
SetExpr | operator - (const SetExpr &) |
| Complement expression. More...
|
|
SetExpr | operator - (const SetExpr &, const SetExpr &) |
| Difference of set expressions. More...
|
|
SetExpr | singleton (const LinIntExpr &) |
| Singleton expression. More...
|
|
SetExpr | inter (const SetVarArgs &) |
| Intersection of set variables. More...
|
|
SetExpr | setunion (const SetVarArgs &) |
| Union of set variables. More...
|
|
SetExpr | setdunion (const SetVarArgs &) |
| Disjoint union of set variables. More...
|
|
LinIntExpr | cardinality (const SetExpr &) |
| Cardinality of set expression. More...
|
|
LinIntExpr | min (const SetExpr &) |
| Minimum element of set expression. More...
|
|
LinIntExpr | max (const SetExpr &) |
| Minimum element of set expression. More...
|
|
SetVar | expr (Home home, const SetExpr &e) |
| Post set expression and return its value. More...
|
|
SetRel | operator== (const SetExpr &, const SetExpr &) |
| Equality of set expressions. More...
|
|
SetRel | operator != (const SetExpr &, const SetExpr &) |
| Disequality of set expressions. More...
|
|
SetCmpRel | operator<= (const SetExpr &, const SetExpr &) |
| Subset of set expressions. More...
|
|
BoolExpr | operator<= (const SetCmpRel &, const SetExpr &) |
| Subset of set expressions. More...
|
|
SetCmpRel | operator >= (const SetExpr &, const SetExpr &) |
| Superset of set expressions. More...
|
|
BoolExpr | operator >= (const SetCmpRel &, const SetExpr &) |
| Superset of set expressions. More...
|
|
SetRel | operator|| (const SetExpr &, const SetExpr &) |
| Disjointness of set expressions. More...
|
|
BoolVar | channel (Home home, IntVar x, IntPropLevel ipl=IPL_DEF) |
| Return Boolean variable equal to . More...
|
|
IntVar | channel (Home home, BoolVar b, IntPropLevel ipl=IPL_DEF) |
| Return integer variable equal to . More...
|
|
IntVar | channel (Home home, FloatVar f) |
| Return integer variable equal to . More...
|
|
SetVar | channel (Home home, const IntVarArgs &x, IntPropLevel ipl=IPL_DEF) |
| Return set variable equal to . More...
|
|
void | atmost (Home home, const IntVarArgs &x, int n, int m, IntPropLevel ipl=IPL_DEF) |
| Post constraint . More...
|
|
void | atmost (Home home, const IntVarArgs &x, IntVar y, int m, IntPropLevel ipl=IPL_DEF) |
| Post constraint . More...
|
|
void | atmost (Home home, const IntVarArgs &x, const IntArgs &y, int m, IntPropLevel ipl=IPL_DEF) |
| Post constraint . More...
|
|
void | atmost (Home home, const IntVarArgs &x, int n, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post constraint . More...
|
|
void | atmost (Home home, const IntVarArgs &x, IntVar y, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post constraint . More...
|
|
void | atmost (Home home, const IntVarArgs &x, const IntArgs &y, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post constraint . More...
|
|
void | atleast (Home home, const IntVarArgs &x, int n, int m, IntPropLevel ipl=IPL_DEF) |
| Post constraint . More...
|
|
void | atleast (Home home, const IntVarArgs &x, IntVar y, int m, IntPropLevel ipl=IPL_DEF) |
| Post constraint . More...
|
|
void | atleast (Home home, const IntVarArgs &x, const IntArgs &y, int m, IntPropLevel ipl=IPL_DEF) |
| Post constraint . More...
|
|
void | atleast (Home home, const IntVarArgs &x, int n, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post constraint . More...
|
|
void | atleast (Home home, const IntVarArgs &x, IntVar y, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post constraint . More...
|
|
void | atleast (Home home, const IntVarArgs &x, const IntArgs &y, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post constraint . More...
|
|
void | exactly (Home home, const IntVarArgs &x, int n, int m, IntPropLevel ipl=IPL_DEF) |
| Post constraint . More...
|
|
void | exactly (Home home, const IntVarArgs &x, IntVar y, int m, IntPropLevel ipl=IPL_DEF) |
| Post constraint . More...
|
|
void | exactly (Home home, const IntVarArgs &x, const IntArgs &y, int m, IntPropLevel ipl=IPL_DEF) |
| Post constraint . More...
|
|
void | exactly (Home home, const IntVarArgs &x, int n, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post constraint . More...
|
|
void | exactly (Home home, const IntVarArgs &x, IntVar y, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post constraint . More...
|
|
void | exactly (Home home, const IntVarArgs &x, const IntArgs &y, IntVar z, IntPropLevel ipl=IPL_DEF) |
| Post constraint . More...
|
|
void | lex (Home home, const IntVarArgs &x, IntRelType r, const IntVarArgs &y, IntPropLevel ipl=IPL_DEF) |
| Post lexical order between x and y. More...
|
|
void | lex (Home home, const BoolVarArgs &x, IntRelType r, const BoolVarArgs &y, IntPropLevel ipl=IPL_DEF) |
| Post lexical order between x and y. More...
|
|
void | values (Home home, const IntVarArgs &x, IntSet y, IntPropLevel ipl=IPL_DEF) |
| Post constraint . More...
|
|
void | channel (Home home, const IntVarArgs &x, SetVar y) |
| Post constraint . More...
|
|
void | range (Home home, const IntVarArgs &x, SetVar y, SetVar z) |
| Post constraint . More...
|
|
void | roots (Home home, const IntVarArgs &x, SetVar y, SetVar z) |
| Post constraint . More...
|
|
template<class T > |
T * | bab (T *s, const Search::Options &o=Search::Options::def) |
| Perform depth-first branch-and-bound search for subclass T of space s and options o. More...
|
|
template<class T > |
SEB | bab (const Search::Options &o=Search::Options::def) |
| Return a depth-first branch-and-bound search engine builder. More...
|
|
template<class T > |
T * | dfs (T *s, const Search::Options &o=Search::Options::def) |
| Invoke depth-first search engine for subclass T of space s with options o. More...
|
|
template<class T > |
SEB | dfs (const Search::Options &o=Search::Options::def) |
| Return a depth-first search engine builder. More...
|
|
template<class T > |
T * | lds (T *s, const Search::Options &o=Search::Options::def) |
| Invoke limited-discrepancy search for s as root node and optionso. More...
|
|
template<class T > |
SEB | lds (const Search::Options &o=Search::Options::def) |
| Return a limited discrepancy search engine builder. More...
|
|
template<class T , template< class > class E> |
T * | pbs (T *s, const Search::Options &o=Search::Options::def) |
| Run a portfolio of search engines. More...
|
|
template<class T , template< class > class E> |
SEB | pbs (const Search::Options &o) |
| Return a portfolio search engine builder. More...
|
|
template<class T , template< class > class E> |
T * | rbs (T *s, const Search::Options &o) |
| Perform restart-based search. More...
|
|
template<class T , template< class > class E> |
SEB | rbs (const Search::Options &o) |
| Return a restart search engine builder. More...
|
|
template<class T > |
SEB | pbs (const Search::Options &o=Search::Options::def) |
| Return a portfolio search engine builder. More...
|
|
void | ite (Home home, BoolVar b, SetVar x, SetVar y, SetVar z) |
| Post propagator for if-then-else constraint. More...
|
|
SetAssign | SET_ASSIGN_MIN_INC (void) |
|
SetAssign | SET_ASSIGN_MIN_EXC (void) |
|
SetAssign | SET_ASSIGN_MED_INC (void) |
|
SetAssign | SET_ASSIGN_MED_EXC (void) |
|
SetAssign | SET_ASSIGN_MAX_INC (void) |
|
SetAssign | SET_ASSIGN_MAX_EXC (void) |
|
SetAssign | SET_ASSIGN_RND_INC (Rnd r) |
|
SetAssign | SET_ASSIGN_RND_EXC (Rnd r) |
|
SetAssign | SET_ASSIGN (SetBranchVal v, SetBranchCommit c=nullptr) |
| Select value as defined by the value function v and commit function c. More...
|
|
SetValBranch | SET_VAL_MIN_INC (void) |
|
SetValBranch | SET_VAL_MIN_EXC (void) |
|
SetValBranch | SET_VAL_MED_INC (void) |
|
SetValBranch | SET_VAL_MED_EXC (void) |
|
SetValBranch | SET_VAL_MAX_INC (void) |
|
SetValBranch | SET_VAL_MAX_EXC (void) |
|
SetValBranch | SET_VAL_RND_INC (Rnd r) |
|
SetValBranch | SET_VAL_RND_EXC (Rnd r) |
|
SetValBranch | SET_VAL (SetBranchVal v, SetBranchCommit c=nullptr) |
| Select value as defined by the value function v and commit function c. More...
|
|
SetVarBranch | SET_VAR_NONE (void) |
|
SetVarBranch | SET_VAR_RND (Rnd r) |
|
SetVarBranch | SET_VAR_MERIT_MIN (SetBranchMerit bm, BranchTbl tbl) |
|
SetVarBranch | SET_VAR_MERIT_MAX (SetBranchMerit bm, BranchTbl tbl) |
|
SetVarBranch | SET_VAR_DEGREE_MIN (BranchTbl tbl) |
|
SetVarBranch | SET_VAR_DEGREE_MAX (BranchTbl tbl) |
|
SetVarBranch | SET_VAR_AFC_MIN (double d, BranchTbl tbl) |
|
SetVarBranch | SET_VAR_AFC_MIN (SetAFC a, BranchTbl tbl) |
|
SetVarBranch | SET_VAR_AFC_MAX (double d, BranchTbl tbl) |
|
SetVarBranch | SET_VAR_AFC_MAX (SetAFC a, BranchTbl tbl) |
|
SetVarBranch | SET_VAR_ACTION_MIN (double d, BranchTbl tbl) |
|
SetVarBranch | SET_VAR_ACTION_MIN (SetAction a, BranchTbl tbl) |
|
SetVarBranch | SET_VAR_ACTION_MAX (double d, BranchTbl tbl) |
|
SetVarBranch | SET_VAR_ACTION_MAX (SetAction a, BranchTbl tbl) |
|
SetVarBranch | SET_VAR_CHB_MIN (BranchTbl tbl) |
|
SetVarBranch | SET_VAR_CHB_MIN (SetCHB c, BranchTbl tbl) |
|
SetVarBranch | SET_VAR_CHB_MAX (BranchTbl tbl) |
|
SetVarBranch | SET_VAR_CHB_MAX (SetCHB c, BranchTbl tbl) |
|
SetVarBranch | SET_VAR_MIN_MIN (BranchTbl tbl) |
|
SetVarBranch | SET_VAR_MIN_MAX (BranchTbl tbl) |
|
SetVarBranch | SET_VAR_MAX_MIN (BranchTbl tbl) |
|
SetVarBranch | SET_VAR_MAX_MAX (BranchTbl tbl) |
|
SetVarBranch | SET_VAR_SIZE_MIN (BranchTbl tbl) |
|
SetVarBranch | SET_VAR_SIZE_MAX (BranchTbl tbl) |
|
SetVarBranch | SET_VAR_DEGREE_SIZE_MIN (BranchTbl tbl) |
|
SetVarBranch | SET_VAR_DEGREE_SIZE_MAX (BranchTbl tbl) |
|
SetVarBranch | SET_VAR_AFC_SIZE_MIN (double d, BranchTbl tbl) |
|
SetVarBranch | SET_VAR_AFC_SIZE_MIN (SetAFC a, BranchTbl tbl) |
|
SetVarBranch | SET_VAR_AFC_SIZE_MAX (double d, BranchTbl tbl) |
|
SetVarBranch | SET_VAR_AFC_SIZE_MAX (SetAFC a, BranchTbl tbl) |
|
SetVarBranch | SET_VAR_ACTION_SIZE_MIN (double d, BranchTbl tbl) |
|
SetVarBranch | SET_VAR_ACTION_SIZE_MIN (SetAction a, BranchTbl tbl) |
|
SetVarBranch | SET_VAR_ACTION_SIZE_MAX (double d, BranchTbl tbl) |
|
SetVarBranch | SET_VAR_ACTION_SIZE_MAX (SetAction a, BranchTbl tbl) |
|
SetVarBranch | SET_VAR_CHB_SIZE_MIN (BranchTbl tbl) |
|
SetVarBranch | SET_VAR_CHB_SIZE_MIN (SetCHB c, BranchTbl tbl) |
|
SetVarBranch | SET_VAR_CHB_SIZE_MAX (BranchTbl tbl) |
|
SetVarBranch | SET_VAR_CHB_SIZE_MAX (SetCHB c, BranchTbl tbl) |
|
void | branch (Home home, const SetVarArgs &x, SetVarBranch vars, SetValBranch vals, SetBranchFilter bf=nullptr, SetVarValPrint vvp=nullptr) |
| Branch over x with variable selection vars and value selection vals. More...
|
|
void | branch (Home home, const SetVarArgs &x, TieBreak< SetVarBranch > vars, SetValBranch vals, SetBranchFilter bf=nullptr, SetVarValPrint vvp=nullptr) |
| Branch over x with tie-breaking variable selection vars and value selection vals. More...
|
|
void | branch (Home home, SetVar x, SetValBranch vals, SetVarValPrint vvp=nullptr) |
| Branch over x with value selection vals. More...
|
|
void | assign (Home home, const SetVarArgs &x, SetAssign vals, SetBranchFilter bf=nullptr, SetVarValPrint vvp=nullptr) |
| Assign all x with value selection vals. More...
|
|
void | assign (Home home, SetVar x, SetAssign vals, SetVarValPrint vvp=nullptr) |
| Assign x with value selection vals. More...
|
|
void | cardinality (Home home, SetVar x, unsigned int i, unsigned int j) |
| Propagates . More...
|
|
void | cardinality (Home home, const SetVarArgs &x, unsigned int i, unsigned int j) |
| Propagates for all . More...
|
|
void | cardinality (Home home, SetVar s, IntVar x) |
|
void | cardinality (Home home, SetVar s, IntVar x, Reify r) |
|
void | channelSorted (Home home, const IntVarArgs &x, SetVar y) |
|
void | channel (Home home, const IntVarArgs &x, const SetVarArgs &y) |
|
void | channel (Home home, const BoolVarArgs &x, SetVar y) |
|
void | channel (Home home, const SetVarArgs &x, const SetVarArgs &y) |
|
void | convex (Home home, SetVar x) |
|
void | convex (Home home, SetVar x, SetVar y) |
|
void | atmostOne (Home home, const SetVarArgs &xa, unsigned int c) |
|
void | dom (Home home, SetVar x, SetRelType r, int i) |
| Propagates . More...
|
|
void | dom (Home home, const SetVarArgs &x, SetRelType r, int i) |
| Propagates for all . More...
|
|
void | dom (Home home, SetVar x, SetRelType r, int i, int j) |
| Propagates . More...
|
|
void | dom (Home home, const SetVarArgs &x, SetRelType r, int i, int j) |
| Propagates for all . More...
|
|
void | dom (Home home, SetVar x, SetRelType r, const IntSet &s) |
| Propagates . More...
|
|
void | dom (Home home, const SetVarArgs &x, SetRelType r, const IntSet &s) |
| Propagates for all . More...
|
|
void | dom (Home home, SetVar x, SetRelType rt, int i, Reify r) |
| Post propagator for . More...
|
|
void | dom (Home home, SetVar x, SetRelType rt, int i, int j, Reify r) |
| Post propagator for . More...
|
|
void | dom (Home home, SetVar x, SetRelType rt, const IntSet &s, Reify r) |
| Post propagator for . More...
|
|
void | dom (Home home, SetVar x, SetVar d) |
| Constrain domain of x according to domain of d. More...
|
|
void | dom (Home home, const SetVarArgs &x, const SetVarArgs &d) |
| Constrain domain of according to domain of for all . More...
|
|
void | element (Home home, SetOpType op, const SetVarArgs &x, SetVar y, SetVar z, const IntSet &universe) |
|
void | element (Home home, SetOpType op, const IntVarArgs &x, SetVar y, SetVar z, const IntSet &universe) |
|
void | element (Home home, SetOpType op, const IntSetArgs &x, SetVar y, SetVar z, const IntSet &universe) |
|
void | element (Home home, SetOpType op, const IntArgs &x, SetVar y, SetVar z, const IntSet &universe) |
|
void | element (Home home, const SetVarArgs &x, IntVar y, SetVar z) |
|
void | element (Home home, const IntSetArgs &x, IntVar y, SetVar z) |
|
void | element (Home home, const IntSetArgs &a, IntVar x, int w, IntVar y, int h, SetVar z) |
|
void | element (Home home, const SetVarArgs &a, IntVar x, int w, IntVar y, int h, SetVar z) |
|
void | wait (Home home, SetVar x, std::function< void(Space &home)> c) |
|
void | wait (Home home, const SetVarArgs &x, std::function< void(Space &home)> c) |
|
void | rel (Home home, SetVar s, IntRelType rt, IntVar x) |
| Post propagator for . More...
|
|
void | rel (Home home, SetVar s, IntRelType rt, IntVar x, Reify r) |
| Post reified propagator for . More...
|
|
void | min (Home home, SetVar s, IntVar x) |
|
void | notMin (Home home, SetVar s, IntVar x) |
|
void | min (Home home, SetVar s, IntVar x, Reify r) |
|
void | max (Home home, SetVar s, IntVar x) |
|
void | notMax (Home home, SetVar s, IntVar x) |
|
void | max (Home home, SetVar s, IntVar x, Reify r) |
|
void | weights (Home home, IntSharedArray elements, IntSharedArray weights, SetVar x, IntVar y) |
|
void | rel (Home home, IntVar x, IntRelType rt, SetVar s) |
| Post propagator for . More...
|
|
void | rel (Home home, IntVar x, IntRelType rt, SetVar s, Reify r) |
| Post reified propagator for. More...
|
|
SymmetryHandle | VariableSymmetry (const SetVarArgs &x) |
|
SymmetryHandle | VariableSequenceSymmetry (const SetVarArgs &x, int ss) |
| Variable sequences in x of size ss are interchangeable. More...
|
|
void | branch (Home home, const SetVarArgs &x, SetVarBranch vars, SetValBranch vals, const Symmetries &syms, SetBranchFilter bf=nullptr, SetVarValPrint vvp=nullptr) |
| Branch over x with variable selection vars and value selection vals with symmetry breaking. More...
|
|
void | branch (Home home, const SetVarArgs &x, TieBreak< SetVarBranch > vars, SetValBranch vals, const Symmetries &syms, SetBranchFilter bf=nullptr, SetVarValPrint vvp=nullptr) |
| Branch over x with tie-breaking variable selection vars and value selection vals with symmetry breaking. More...
|
|
void | precede (Home home, const SetVarArgs &x, int s, int t) |
|
void | precede (Home home, const SetVarArgs &x, const IntArgs &c) |
|
template<class View0 , class View1 > |
bool | viewarrayshared (const Space &home, const ViewArray< View0 > &va, const View1 &y) |
|
template<> |
bool | viewarrayshared< Set::SingletonView, Set::SetView > (const Space &, const ViewArray< Set::SingletonView > &, const Set::SetView &) |
|
void | rel (Home home, const IntSet &x, SetOpType op, SetVar y, SetRelType r, const IntSet &z) |
|
void | rel (Home home, const IntSet &x, SetOpType op, SetVar y, SetRelType r, SetVar z) |
|
void | rel (Home home, SetVar x, SetOpType op, const IntSet &y, SetRelType r, const IntSet &z) |
|
void | rel (Home home, SetVar x, SetOpType op, const IntSet &y, SetRelType r, SetVar z) |
|
void | rel (Home home, SetVar x, SetOpType op, SetVar y, SetRelType r, const IntSet &z) |
|
void | rel (Home home, SetOpType op, const IntVarArgs &x, SetVar y) |
|
void | rel (Home home, SetOpType op, const IntVarArgs &x, const IntSet &z, SetVar y) |
|
void | rel (Home home, SetVar x, SetOpType op, SetVar y, SetRelType r, SetVar z) |
|
void | rel (Home home, SetOpType op, const SetVarArgs &x, SetVar y) |
|
void | rel (Home home, SetOpType op, const SetVarArgs &x, const IntSet &z, SetVar y) |
|
void | rel (Home home, SetVar x, SetRelType r, SetVar y) |
| Post propagator for . More...
|
|
void | rel (Home home, SetVar s, SetRelType r, IntVar x) |
| Post propagator for . More...
|
|
void | rel (Home home, IntVar x, SetRelType r, SetVar s) |
| Post propagator for . More...
|
|
void | rel (Home home, SetVar x, SetRelType rt, SetVar y, Reify r) |
| Post propagator for . More...
|
|
void | rel (Home home, SetVar s, SetRelType rt, IntVar x, Reify r) |
| Post propagator for . More...
|
|
void | rel (Home home, IntVar x, SetRelType rt, SetVar s, Reify r) |
| Post propagator for . More...
|
|
void | relax (Home home, const SetVarArgs &x, const SetVarArgs &sx, Rnd r, double p) |
|
void | sequence (Home home, const SetVarArgs &xa) |
|
void | sequence (Home home, const SetVarArgs &xa, SetVar y) |
|
void | trace (Home home, const SetVarArgs &x, TraceFilter tf, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|TE_DONE), SetTracer &t=StdSetTracer::def) |
| Create a tracer for set variables. More...
|
|
void | trace (Home home, const SetVarArgs &x, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|TE_DONE), SetTracer &t=StdSetTracer::def) |
| Create a tracer for set variables. More...
|
|
template<class Char , class Traits > |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const SetVar &x) |
|
Post propagator for | f (x \diamond_{\mathit{op}} y) \sim_r z \f$ void rel(Home home |
|
Select random | variable (uniform distribution, for tie breaking) SetVarBranch SET_VAR_RND(Rnd r) |
|
Include median | element (rounding downwards) SetValBranch SET_VAL_MED_INC(void) |
|
template<class T > |
T | ptr_cast (void *p) |
| Cast p into pointer of type T. More...
|
|