|
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 0$. More...
|
|
void | nroot (Home home, FloatVar x0, int n, FloatVar x1) |
| Post propagator for for $n 0$. More...
|
|
void | div (Home home, FloatVar x0, FloatVar x1, FloatVar x2) |
| Post propagator for . 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...
|
|
void | channel (Home home, FloatVar x0, IntVar x1) |
| Post propagator for channeling a float and an integer variable . More...
|
|
void | channel (Home home, IntVar x0, FloatVar x1) |
| Post propagator for channeling a float and an integer variable . 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=NULL) |
| Select variable with least merit according to branch merit function bm. More...
|
|
FloatVarBranch | FLOAT_VAR_MERIT_MAX (FloatBranchMerit bm, BranchTbl tbl=NULL) |
| 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=NULL) |
| Select variable with smallest degree. More...
|
|
FloatVarBranch | FLOAT_VAR_DEGREE_MAX (BranchTbl tbl=NULL) |
| Select variable with largest degree. More...
|
|
FloatVarBranch | FLOAT_VAR_AFC_MIN (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with smallest accumulated failure count with decay factor d. More...
|
|
FloatVarBranch | FLOAT_VAR_AFC_MIN (FloatAFC a, BranchTbl tbl=NULL) |
| Select variable with smallest accumulated failure count. More...
|
|
FloatVarBranch | FLOAT_VAR_AFC_MAX (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with largest accumulated failure count with decay factor d. More...
|
|
FloatVarBranch | FLOAT_VAR_AFC_MAX (FloatAFC a, BranchTbl tbl=NULL) |
| Select variable with largest accumulated failure count. More...
|
|
FloatVarBranch | FLOAT_VAR_ACTIVITY_MIN (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with lowest activity with decay factor d. More...
|
|
FloatVarBranch | FLOAT_VAR_ACTIVITY_MIN (FloatActivity a, BranchTbl tbl=NULL) |
| Select variable with lowest activity. More...
|
|
FloatVarBranch | FLOAT_VAR_ACTIVITY_MAX (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with highest activity with decay factor d. More...
|
|
FloatVarBranch | FLOAT_VAR_ACTIVITY_MAX (FloatActivity a, BranchTbl tbl=NULL) |
| Select variable with highest activity. More...
|
|
FloatVarBranch | FLOAT_VAR_MIN_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest min. More...
|
|
FloatVarBranch | FLOAT_VAR_MIN_MAX (BranchTbl tbl=NULL) |
| Select variable with largest min. More...
|
|
FloatVarBranch | FLOAT_VAR_MAX_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest max. More...
|
|
FloatVarBranch | FLOAT_VAR_MAX_MAX (BranchTbl tbl=NULL) |
| Select variable with largest max. More...
|
|
FloatVarBranch | FLOAT_VAR_SIZE_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest domain size. More...
|
|
FloatVarBranch | FLOAT_VAR_SIZE_MAX (BranchTbl tbl=NULL) |
| Select variable with largest domain size. More...
|
|
FloatVarBranch | FLOAT_VAR_DEGREE_SIZE_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest degree divided by domain size. More...
|
|
FloatVarBranch | FLOAT_VAR_DEGREE_SIZE_MAX (BranchTbl tbl=NULL) |
| Select variable with largest degree divided by domain size. More...
|
|
FloatVarBranch | FLOAT_VAR_AFC_SIZE_MIN (double d=1.0, BranchTbl tbl=NULL) |
| 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=NULL) |
| Select variable with smallest accumulated failure count divided by domain size. More...
|
|
FloatVarBranch | FLOAT_VAR_AFC_SIZE_MAX (double d=1.0, BranchTbl tbl=NULL) |
| 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=NULL) |
| Select variable with largest accumulated failure count divided by domain size. More...
|
|
FloatVarBranch | FLOAT_VAR_ACTIVITY_SIZE_MIN (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with smallest activity divided by domain size with decay factor d. More...
|
|
FloatVarBranch | FLOAT_VAR_ACTIVITY_SIZE_MIN (FloatActivity a, BranchTbl tbl=NULL) |
| Select variable with smallest activity divided by domain size. More...
|
|
FloatVarBranch | FLOAT_VAR_ACTIVITY_SIZE_MAX (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with largest activity divided by domain size with decay factor d. More...
|
|
FloatVarBranch | FLOAT_VAR_ACTIVITY_SIZE_MAX (FloatActivity a, BranchTbl tbl=NULL) |
| Select variable with largest activity divided by domain size. More...
|
|
BrancherHandle | branch (Home home, const FloatVarArgs &x, FloatVarBranch vars, FloatValBranch vals, FloatBranchFilter bf=NULL, FloatVarValPrint vvp=NULL) |
| Branch over x with variable selection vars and value selection vals. More...
|
|
BrancherHandle | branch (Home home, const FloatVarArgs &x, TieBreak< FloatVarBranch > vars, FloatValBranch vals, FloatBranchFilter bf=NULL, FloatVarValPrint vvp=NULL) |
| Branch over x with tie-breaking variable selection vars and value selection vals. More...
|
|
BrancherHandle | branch (Home home, FloatVar x, FloatValBranch vals, FloatVarValPrint vvp=NULL) |
| Branch over x with value selection vals. More...
|
|
BrancherHandle | assign (Home home, const FloatVarArgs &x, FloatAssign vals, FloatBranchFilter fbf=NULL, FloatVarValPrint vvp=NULL) |
| Assign all x with value selection vals. More...
|
|
BrancherHandle | assign (Home home, FloatVar x, FloatAssign vals, FloatVarValPrint vvp=NULL) |
| Assign x with value selection vals. 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, void(*c)(Space &home)) |
| Execute c when x becomes assigned. More...
|
|
void | wait (Home home, const FloatVarArgs &x, void(*c)(Space &home)) |
| Execute c when all variables in x become assigned. More...
|
|
void | linear (Home home, const FloatVarArgs &x, FloatRelType frt, FloatNum c) |
| Post propagator for . More...
|
|
void | linear (Home home, const FloatVarArgs &x, FloatRelType frt, FloatNum c, Reify r) |
| Post propagator for . More...
|
|
void | linear (Home home, const FloatValArgs &a, const FloatVarArgs &x, FloatRelType frt, FloatNum c) |
| Post propagator for . More...
|
|
void | linear (Home home, const FloatValArgs &a, const FloatVarArgs &x, FloatRelType frt, FloatNum 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...
|
|
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, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | max (Home home, IntVar x0, IntVar x1, IntVar x2, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | max (Home home, const IntVarArgs &x, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | min (Home home, IntVar x0, IntVar x1, IntVar x2, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | min (Home home, const IntVarArgs &x, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | argmax (Home home, const IntVarArgs &x, IntVar y, bool tiebreak=true, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | argmin (Home home, const IntVarArgs &x, IntVar y, bool tiebreak=true, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | mult (Home home, IntVar x0, IntVar x1, IntVar x2, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | divmod (Home home, IntVar x0, IntVar x1, IntVar x2, IntVar x3, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | div (Home home, IntVar x0, IntVar x1, IntVar x2, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | mod (Home home, IntVar x0, IntVar x1, IntVar x2, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | sqr (Home home, IntVar x0, IntVar x1, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | sqrt (Home home, IntVar x0, IntVar x1, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | pow (Home home, IntVar x0, int n, IntVar x1, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | nroot (Home home, IntVar x0, int n, IntVar x1, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | binpacking (Home home, const IntVarArgs &l, const IntVarArgs &b, const IntArgs &s, IntConLevel icl=ICL_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, IntConLevel) |
|
void | rel (Home home, BoolVar x0, IntRelType irt, BoolVar x1, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | rel (Home home, BoolVar x, IntRelType irt, int n, IntConLevel icl=ICL_DEF) |
| Propagates . More...
|
|
void | rel (Home home, BoolVar x0, IntRelType irt, BoolVar x1, Reify r, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | rel (Home home, BoolVar x, IntRelType irt, int n, Reify r, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | rel (Home home, const BoolVarArgs &x, IntRelType irt, BoolVar y, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for for all . More...
|
|
void | rel (Home home, const BoolVarArgs &x, IntRelType irt, int n, IntConLevel icl=ICL_DEF) |
| Propagates for all . More...
|
|
void | rel (Home home, const BoolVarArgs &x, IntRelType irt, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for relation between elements in x. More...
|
|
void | rel (Home home, const BoolVarArgs &x, IntRelType irt, const BoolVarArgs &y, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for relation between x and y. More...
|
|
void | rel (Home home, BoolVar x0, BoolOpType o, BoolVar x1, BoolVar x2, IntConLevel icl=ICL_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, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for Boolean operation on x0 and x1. More...
|
|
void | rel (Home home, BoolOpType o, const BoolVarArgs &x, BoolVar y, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for Boolean operation on x. More...
|
|
void | rel (Home home, BoolOpType o, const BoolVarArgs &x, int n, IntConLevel icl=ICL_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, IntConLevel icl=ICL_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, IntConLevel icl=ICL_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, IntConLevel icl=ICL_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=NULL) |
| Select value as defined by the value function v and commit function c. More...
|
|
IntAssign | INT_ASSIGN (BoolBranchVal v, BoolBranchCommit c=NULL) |
| 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=NULL) |
| 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_VAL (BoolBranchVal v, BoolBranchCommit c=NULL) |
| 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...
|
|
IntValBranch | INT_VAL_NEAR_MIN (IntSharedArray n) |
| Try value nearest to a given value for a variable, in case of ties use the smaller value. More...
|
|
IntValBranch | INT_VAL_NEAR_MAX (IntSharedArray n) |
| Try value nearest to a given value for a variable, in case of ties use the larger value. More...
|
|
IntValBranch | INT_VAL_NEAR_INC (IntSharedArray n) |
| Try value larger than a given value for a variable first. More...
|
|
IntValBranch | INT_VAL_NEAR_DEC (IntSharedArray n) |
| Try value smaller than a given value for a variable first. 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=NULL) |
| Select variable with least merit according to branch merit function bm. More...
|
|
IntVarBranch | INT_VAR_MERIT_MIN (BoolBranchMerit bm, BranchTbl tbl=NULL) |
| Select variable with least merit according to branch merit function bm. More...
|
|
IntVarBranch | INT_VAR_MERIT_MAX (IntBranchMerit bm, BranchTbl tbl=NULL) |
| Select variable with highest merit according to branch merit function bm. More...
|
|
IntVarBranch | INT_VAR_MERIT_MAX (BoolBranchMerit bm, BranchTbl tbl=NULL) |
| Select variable with highest merit according to branch merit function bm. More...
|
|
IntVarBranch | INT_VAR_DEGREE_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest degree. More...
|
|
IntVarBranch | INT_VAR_DEGREE_MAX (BranchTbl tbl=NULL) |
| Select variable with largest degree. More...
|
|
IntVarBranch | INT_VAR_AFC_MIN (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with smallest accumulated failure count with decay factor d. More...
|
|
IntVarBranch | INT_VAR_AFC_MIN (IntAFC a, BranchTbl tbl=NULL) |
| Select variable with smallest accumulated failure count. More...
|
|
IntVarBranch | INT_VAR_AFC_MAX (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with largest accumulated failure count with decay factor d. More...
|
|
IntVarBranch | INT_VAR_AFC_MAX (IntAFC a, BranchTbl tbl=NULL) |
| Select variable with largest accumulated failure count. More...
|
|
IntVarBranch | INT_VAR_ACTIVITY_MIN (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with lowest activity with decay factor d. More...
|
|
IntVarBranch | INT_VAR_ACTIVITY_MIN (IntActivity a, BranchTbl tbl=NULL) |
| Select variable with lowest activity. More...
|
|
IntVarBranch | INT_VAR_ACTIVITY_MAX (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with highest activity with decay factor d. More...
|
|
IntVarBranch | INT_VAR_ACTIVITY_MAX (IntActivity a, BranchTbl tbl=NULL) |
| Select variable with highest activity. More...
|
|
IntVarBranch | INT_VAR_MIN_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest min. More...
|
|
IntVarBranch | INT_VAR_MIN_MAX (BranchTbl tbl=NULL) |
| Select variable with largest min. More...
|
|
IntVarBranch | INT_VAR_MAX_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest max. More...
|
|
IntVarBranch | INT_VAR_MAX_MAX (BranchTbl tbl=NULL) |
| Select variable with largest max. More...
|
|
IntVarBranch | INT_VAR_SIZE_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest domain size. More...
|
|
IntVarBranch | INT_VAR_SIZE_MAX (BranchTbl tbl=NULL) |
| Select variable with largest domain size. More...
|
|
IntVarBranch | INT_VAR_DEGREE_SIZE_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest degree divided by domain size. More...
|
|
IntVarBranch | INT_VAR_DEGREE_SIZE_MAX (BranchTbl tbl=NULL) |
| Select variable with largest degree divided by domain size. More...
|
|
IntVarBranch | INT_VAR_AFC_SIZE_MIN (double d=1.0, BranchTbl tbl=NULL) |
| 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=NULL) |
| Select variable with smallest accumulated failure count divided by domain size. More...
|
|
IntVarBranch | INT_VAR_AFC_SIZE_MAX (double d=1.0, BranchTbl tbl=NULL) |
| 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=NULL) |
| Select variable with largest accumulated failure count divided by domain size. More...
|
|
IntVarBranch | INT_VAR_ACTIVITY_SIZE_MIN (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with smallest activity divided by domain size with decay factor d. More...
|
|
IntVarBranch | INT_VAR_ACTIVITY_SIZE_MIN (IntActivity a, BranchTbl tbl=NULL) |
| Select variable with smallest activity divided by domain size. More...
|
|
IntVarBranch | INT_VAR_ACTIVITY_SIZE_MAX (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with largest activity divided by domain size with decay factor d. More...
|
|
IntVarBranch | INT_VAR_ACTIVITY_SIZE_MAX (IntActivity a, BranchTbl tbl=NULL) |
| Select variable with largest activity divided by domain size. More...
|
|
IntVarBranch | INT_VAR_REGRET_MIN_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest min-regret. More...
|
|
IntVarBranch | INT_VAR_REGRET_MIN_MAX (BranchTbl tbl=NULL) |
| Select variable with largest min-regret. More...
|
|
IntVarBranch | INT_VAR_REGRET_MAX_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest max-regret. More...
|
|
IntVarBranch | INT_VAR_REGRET_MAX_MAX (BranchTbl tbl=NULL) |
| Select variable with largest max-regret. More...
|
|
BrancherHandle | branch (Home home, const IntVarArgs &x, IntVarBranch vars, IntValBranch vals, IntBranchFilter bf=NULL, IntVarValPrint vvp=NULL) |
| Branch over x with variable selection vars and value selection vals. More...
|
|
BrancherHandle | branch (Home home, const IntVarArgs &x, TieBreak< IntVarBranch > vars, IntValBranch vals, IntBranchFilter bf=NULL, IntVarValPrint vvp=NULL) |
| Branch over x with tie-breaking variable selection vars and value selection vals. More...
|
|
BrancherHandle | branch (Home home, IntVar x, IntValBranch vals, IntVarValPrint vvp=NULL) |
| Branch over x with value selection vals. More...
|
|
BrancherHandle | assign (Home home, const IntVarArgs &x, IntAssign vals, IntBranchFilter ibf=NULL, IntVarValPrint vvp=NULL) |
| Assign all x with value selection vals. More...
|
|
BrancherHandle | assign (Home home, IntVar x, IntAssign vals, IntVarValPrint vvp=NULL) |
| Assign x with value selection vals. More...
|
|
BrancherHandle | branch (Home home, const BoolVarArgs &x, IntVarBranch vars, IntValBranch vals, BoolBranchFilter bf=NULL, BoolVarValPrint vvp=NULL) |
| Branch over x with variable selection vars and value selection vals. More...
|
|
BrancherHandle | branch (Home home, const BoolVarArgs &x, TieBreak< IntVarBranch > vars, IntValBranch vals, BoolBranchFilter bf=NULL, BoolVarValPrint vvp=NULL) |
| Branch over x with tie-breaking variable selection vars and value selection vals. More...
|
|
BrancherHandle | branch (Home home, BoolVar x, IntValBranch vals, BoolVarValPrint vvp=NULL) |
| Branch over x with value selection vals. More...
|
|
BrancherHandle | assign (Home home, const BoolVarArgs &x, IntAssign vals, BoolBranchFilter bbf=NULL, BoolVarValPrint vvp=NULL) |
| Assign all x with value selection vals. More...
|
|
BrancherHandle | assign (Home home, BoolVar x, IntAssign vals, BoolVarValPrint vvp=NULL) |
| Assign x with value selection vals. More...
|
|
void | channel (Home home, const IntVarArgs &x, int xoff, const IntVarArgs &y, int yoff, IntConLevel icl=ICL_DEF) |
| Post propagator for for all . More...
|
|
void | channel (Home home, const IntVarArgs &x, const IntVarArgs &y, IntConLevel icl=ICL_DEF) |
| Post propagator for for all . More...
|
|
void | channel (Home home, BoolVar x0, IntVar x1, IntConLevel icl=ICL_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, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for channeling Boolean and integer variables . More...
|
|
void | circuit (Home home, int offset, const IntVarArgs &x, IntConLevel icl=ICL_DEF) |
| Post propagator such that x forms a circuit. More...
|
|
void | circuit (Home home, const IntVarArgs &x, IntConLevel icl=ICL_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, IntConLevel icl=ICL_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, IntConLevel icl=ICL_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, IntConLevel icl=ICL_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, IntConLevel icl=ICL_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, IntConLevel icl=ICL_DEF) |
| Post propagator such that x forms a Hamiltonian path. More...
|
|
void | path (Home home, const IntVarArgs &x, IntVar s, IntVar e, IntConLevel icl=ICL_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, IntConLevel icl=ICL_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, IntConLevel icl=ICL_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, IntConLevel icl=ICL_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, IntConLevel icl=ICL_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, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | count (Home home, const IntVarArgs &x, IntVar y, IntRelType irt, int m, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | count (Home home, const IntVarArgs &x, const IntSet &y, IntRelType irt, int m, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | count (Home home, const IntVarArgs &x, const IntArgs &y, IntRelType irt, int m, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | count (Home home, const IntVarArgs &x, int n, IntRelType irt, IntVar z, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | count (Home home, const IntVarArgs &x, IntVar y, IntRelType irt, IntVar z, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | count (Home home, const IntVarArgs &x, const IntSet &y, IntRelType irt, IntVar z, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | count (Home home, const IntVarArgs &x, const IntArgs &y, IntRelType irt, IntVar z, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
template<class Cap > |
void | cumulative (Home home, Cap c, const TaskTypeArgs &t, const IntVarArgs &s, const IntArgs &p, const IntArgs &u, IntConLevel icl) |
|
void | cumulative (Home home, int c, const TaskTypeArgs &t, const IntVarArgs &flex, const IntArgs &fix, const IntArgs &u, IntConLevel icl=ICL_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, IntConLevel icl=ICL_DEF) |
| Post propagators for scheduling tasks on cumulative resources. More...
|
|
template<class Cap > |
void | cumulative (Home home, Cap c, const TaskTypeArgs &t, const IntVarArgs &s, const IntArgs &p, const IntArgs &u, const BoolVarArgs &m, IntConLevel icl) |
|
void | cumulative (Home home, int c, const TaskTypeArgs &t, const IntVarArgs &flex, const IntArgs &fix, const IntArgs &u, const BoolVarArgs &m, IntConLevel icl=ICL_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, IntConLevel icl=ICL_DEF) |
| Post propagators for scheduling optional tasks on cumulative resources. More...
|
|
template<class Cap > |
void | cumulative (Home home, Cap c, const IntVarArgs &s, const IntArgs &p, const IntArgs &u, IntConLevel icl) |
|
void | cumulative (Home home, int c, const IntVarArgs &s, const IntArgs &p, const IntArgs &u, IntConLevel icl=ICL_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, IntConLevel icl=ICL_DEF) |
| Post propagators for scheduling tasks on cumulative resources. More...
|
|
template<class Cap > |
void | cumulative (Home home, Cap c, const IntVarArgs &s, const IntArgs &p, const IntArgs &u, const BoolVarArgs &m, IntConLevel icl) |
|
void | cumulative (Home home, int c, const IntVarArgs &s, const IntArgs &p, const IntArgs &u, const BoolVarArgs &m, IntConLevel icl=ICL_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, IntConLevel icl=ICL_DEF) |
| Post propagators for scheduling optional tasks on cumulative resources. More...
|
|
template<class Cap > |
void | cumulative (Home home, Cap c, const IntVarArgs &s, const IntVarArgs &p, const IntVarArgs &e, const IntArgs &u, IntConLevel icl) |
|
void | cumulative (Home home, int c, const IntVarArgs &s, const IntVarArgs &p, const IntVarArgs &e, const IntArgs &u, IntConLevel icl=ICL_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, IntConLevel icl=ICL_DEF) |
| Post propagators for scheduling tasks on cumulative resources. More...
|
|
template<class Cap > |
void | cumulative (Home home, Cap c, const IntVarArgs &s, const IntVarArgs &p, const IntVarArgs &e, const IntArgs &u, const BoolVarArgs &m, IntConLevel icl) |
|
void | cumulative (Home home, int c, const IntVarArgs &s, const IntVarArgs &p, const IntVarArgs &e, const IntArgs &u, const BoolVarArgs &m, IntConLevel icl=ICL_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, IntConLevel icl=ICL_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, IntConLevel icl=ICL_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, IntConLevel icl=ICL_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, IntConLevel icl=ICL_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, IntConLevel icl=ICL_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, IntConLevel icl=ICL_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, IntConLevel icl=ICL_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, IntConLevel icl=ICL_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, IntConLevel icl=ICL_DEF) |
| Post propagators for the cumulatives constraint. More...
|
|
void | distinct (Home home, const IntVarArgs &x, IntConLevel icl=ICL_DEF) |
| Post propagator for for all . More...
|
|
void | distinct (Home home, const IntArgs &n, const IntVarArgs &x, IntConLevel icl=ICL_DEF) |
| Post propagator for for all . More...
|
|
void | dom (Home home, IntVar x, int n, IntConLevel icl=ICL_DEF) |
| Propagates . More...
|
|
void | dom (Home home, const IntVarArgs &x, int n, IntConLevel icl=ICL_DEF) |
| Propagates for all . More...
|
|
void | dom (Home home, IntVar x, int l, int m, IntConLevel icl=ICL_DEF) |
| Propagates . More...
|
|
void | dom (Home home, const IntVarArgs &x, int l, int m, IntConLevel icl=ICL_DEF) |
| Propagates for all . More...
|
|
void | dom (Home home, IntVar x, const IntSet &s, IntConLevel icl=ICL_DEF) |
| Propagates . More...
|
|
void | dom (Home home, const IntVarArgs &x, const IntSet &s, IntConLevel icl=ICL_DEF) |
| Propagates for all . More...
|
|
void | dom (Home home, IntVar x, int n, Reify r, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | dom (Home home, IntVar x, int l, int m, Reify r, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | dom (Home home, IntVar x, const IntSet &s, Reify r, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | dom (Home home, IntVar x, IntVar d, IntConLevel icl=ICL_DEF) |
| Constrain domain of x according to domain of d. More...
|
|
void | dom (Home home, BoolVar x, BoolVar d, IntConLevel icl=ICL_DEF) |
| Constrain domain of x according to domain of d. More...
|
|
void | dom (Home home, const IntVarArgs &x, const IntVarArgs &d, IntConLevel icl=ICL_DEF) |
| Constrain domain of according to domain of for all . More...
|
|
void | dom (Home home, const BoolVarArgs &x, const BoolVarArgs &d, IntConLevel icl=ICL_DEF) |
| Constrain domain of according to domain of for all . More...
|
|
void | element (Home home, IntSharedArray n, IntVar x0, IntVar x1, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | element (Home home, IntSharedArray n, IntVar x0, BoolVar x1, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | element (Home home, IntSharedArray n, IntVar x0, int x1, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | element (Home home, const IntVarArgs &x, IntVar y0, IntVar y1, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | element (Home home, const IntVarArgs &x, IntVar y0, int y1, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | element (Home home, const BoolVarArgs &x, IntVar y0, BoolVar y1, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | element (Home home, const BoolVarArgs &x, IntVar y0, int y1, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | element (Home home, IntSharedArray a, IntVar x, int w, IntVar y, int h, IntVar z, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | element (Home home, IntSharedArray a, IntVar x, int w, IntVar y, int h, BoolVar z, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | element (Home home, const IntVarArgs &a, IntVar x, int w, IntVar y, int h, IntVar z, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | element (Home home, const BoolVarArgs &a, IntVar x, int w, IntVar y, int h, BoolVar z, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | wait (Home home, IntVar x, void(*c)(Space &home), IntConLevel icl=ICL_DEF) |
| Execute c when x becomes assigned. More...
|
|
void | wait (Home home, BoolVar x, void(*c)(Space &home), IntConLevel icl=ICL_DEF) |
| Execute c when x becomes assigned. More...
|
|
void | wait (Home home, const IntVarArgs &x, void(*c)(Space &home), IntConLevel icl=ICL_DEF) |
| Execute c when all variables in x become assigned. More...
|
|
void | wait (Home home, const BoolVarArgs &x, void(*c)(Space &home), IntConLevel icl=ICL_DEF) |
| Execute c when all variables in x become assigned. More...
|
|
void | when (Home home, BoolVar x, void(*t)(Space &home), void(*e)(Space &home)=NULL, IntConLevel icl=ICL_DEF) |
| Execute t (then) when x is assigned one, and e (else) otherwise. 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, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for extensional constraint described by a DFA. More...
|
|
void | extensional (Home home, const BoolVarArgs &x, DFA d, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for extensional constraint described by a DFA. More...
|
|
void | extensional (Home home, const IntVarArgs &x, const TupleSet &t, ExtensionalPropKind epk=EPK_DEF, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | extensional (Home home, const BoolVarArgs &x, const TupleSet &t, ExtensionalPropKind epk=EPK_DEF, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | count (Home home, const IntVarArgs &x, const IntVarArgs &c, const IntArgs &v, IntConLevel icl=ICL_DEF) |
| Posts a global count (cardinality) constraint. More...
|
|
void | count (Home home, const IntVarArgs &x, const IntVarArgs &c, IntConLevel icl=ICL_DEF) |
| Posts a global count (cardinality) constraint. More...
|
|
void | count (Home home, const IntVarArgs &x, const IntSetArgs &c, const IntArgs &v, IntConLevel icl=ICL_DEF) |
| Posts a global count (cardinality) constraint. More...
|
|
void | count (Home home, const IntVarArgs &x, const IntSetArgs &c, IntConLevel icl=ICL_DEF) |
| Posts a global count (cardinality) constraint. More...
|
|
void | count (Home home, const IntVarArgs &x, const IntSet &c, const IntArgs &v, IntConLevel icl=ICL_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) |
|
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) |
|
BrancherHandle | branch (Home home, const IntVarArgs &x, IntVarBranch vars, IntValBranch vals, const Symmetries &syms, IntBranchFilter bf=NULL, IntVarValPrint vvp=NULL) |
| Branch over x with variable selection vars and value selection vals with symmetry breaking. More...
|
|
BrancherHandle | branch (Home home, const IntVarArgs &x, TieBreak< IntVarBranch > vars, IntValBranch vals, const Symmetries &syms, IntBranchFilter bf=NULL, IntVarValPrint vvp=NULL) |
| Branch over x with tie-breaking variable selection vars and value selection vals with symmetry breaking. More...
|
|
BrancherHandle | branch (Home home, const BoolVarArgs &x, IntVarBranch vars, IntValBranch vals, const Symmetries &syms, BoolBranchFilter bf=NULL, BoolVarValPrint vvp=NULL) |
| Branch over x with variable selection vars and value selection vals with symmetry breaking. More...
|
|
BrancherHandle | branch (Home home, const BoolVarArgs &x, TieBreak< IntVarBranch > vars, IntValBranch vals, const Symmetries &syms, BoolBranchFilter bf=NULL, BoolVarValPrint vvp=NULL) |
| 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, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const BoolVarArgs &x, IntRelType irt, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntArgs &a, const BoolVarArgs &x, IntRelType irt, int c, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntArgs &a, const BoolVarArgs &x, IntRelType irt, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const BoolVarArgs &x, IntRelType irt, int c, Reify r, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const BoolVarArgs &x, IntRelType irt, IntVar y, Reify r, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntArgs &a, const BoolVarArgs &x, IntRelType irt, int c, Reify r, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntArgs &a, const BoolVarArgs &x, IntRelType irt, IntVar y, Reify r, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntVarArgs &x, IntRelType irt, int c, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntVarArgs &x, IntRelType irt, int c, Reify r, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntArgs &a, const IntVarArgs &x, IntRelType irt, int c, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntArgs &a, const IntVarArgs &x, IntRelType irt, int c, Reify r, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntVarArgs &x, IntRelType irt, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntVarArgs &x, IntRelType irt, IntVar y, Reify r, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntArgs &a, const IntVarArgs &x, IntRelType irt, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntArgs &a, const IntVarArgs &x, IntRelType irt, IntVar y, Reify r, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | member (Home home, const IntVarArgs &x, IntVar y, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | member (Home home, const BoolVarArgs &x, BoolVar y, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | member (Home home, const IntVarArgs &x, IntVar y, Reify r, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | member (Home home, const BoolVarArgs &x, BoolVar y, Reify r, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | nooverlap (Home home, const IntVarArgs &x, const IntArgs &w, const IntVarArgs &y, const IntArgs &h, IntConLevel icl=ICL_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, IntConLevel icl=ICL_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, IntConLevel icl=ICL_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, IntConLevel icl=ICL_DEF) |
| Post propagator for rectangle packing. More...
|
|
void | nvalues (Home home, const IntVarArgs &x, IntRelType irt, int y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | nvalues (Home home, const IntVarArgs &x, IntRelType irt, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | nvalues (Home home, const BoolVarArgs &x, IntRelType irt, int y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | nvalues (Home home, const BoolVarArgs &x, IntRelType irt, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | precede (Home home, const IntVarArgs &x, int s, int t, IntConLevel=ICL_DEF) |
| Post propagator that s precedes t in x. More...
|
|
void | precede (Home home, const IntVarArgs &x, const IntArgs &c, IntConLevel=ICL_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, IntConLevel icl=ICL_DEF) |
| Propagates . More...
|
|
void | rel (Home home, const IntVarArgs &x, IntRelType irt, int c, IntConLevel icl=ICL_DEF) |
| Propagates for all . More...
|
|
void | rel (Home home, IntVar x0, IntRelType irt, IntVar x1, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | rel (Home home, const IntVarArgs &x, IntRelType irt, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for for all . More...
|
|
void | rel (Home home, IntVar x0, IntRelType irt, IntVar x1, Reify r, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | rel (Home home, IntVar x, IntRelType irt, int c, Reify r, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | rel (Home home, const IntVarArgs &x, IntRelType irt, IntConLevel icl=ICL_DEF) |
| Post propagator for relation among elements in x. More...
|
|
void | rel (Home home, const IntVarArgs &x, IntRelType irt, const IntVarArgs &y, IntConLevel icl=ICL_DEF) |
| Post propagator for relation between x and y. More...
|
|
void | sequence (Home home, const IntVarArgs &x, const IntSet &s, int q, int l, int u, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | sequence (Home home, const BoolVarArgs &x, const IntSet &s, int q, int l, int u, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | sorted (Home home, const IntVarArgs &x, const IntVarArgs &y, const IntVarArgs &z, IntConLevel icl=ICL_DEF) |
| Post propagator that y is x sorted in increasing order. More...
|
|
void | sorted (Home home, const IntVarArgs &x, const IntVarArgs &y, IntConLevel icl=ICL_DEF) |
| Post propagator that y is x sorted in increasing order. More...
|
|
void | unary (Home home, const IntVarArgs &s, const IntArgs &p, IntConLevel icl=ICL_DEF) |
| Post propagators for scheduling tasks on unary resources. More...
|
|
void | unary (Home home, const TaskTypeArgs &t, const IntVarArgs &flex, const IntArgs &fix, IntConLevel icl=ICL_DEF) |
| Post propagators for scheduling tasks on unary resources. More...
|
|
void | unary (Home home, const IntVarArgs &s, const IntArgs &p, const BoolVarArgs &m, IntConLevel icl=ICL_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, IntConLevel icl=ICL_DEF) |
| Post propagators for scheduling optional tasks on unary resources. More...
|
|
void | unary (Home home, const IntVarArgs &s, const IntVarArgs &p, const IntVarArgs &e, IntConLevel icl=ICL_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, IntConLevel icl=ICL_DEF) |
| Post propagators for scheduling optional tasks on unary resources. More...
|
|
void | unshare (Home home, IntVarArgs &x, IntConLevel icl=ICL_DEF) |
| Replace multiple variable occurences in x by fresh variables. More...
|
|
void | unshare (Home home, BoolVarArgs &x, IntConLevel icl=ICL_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) |
|
void | channel (Home home, IntVar x0, BoolVar x1, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for channeling an integer and a Boolean variable . More...
|
|
SymmetryHandle | values_reflect (IntVar x) |
| The values in the domain of can be reflected. More...
|
|
template<class Char , class Traits > |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const Activity &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...
|
|
BrancherHandle | branch (Home home, void(*f)(Space &home)) |
| Call the function f (with the current space as argument) for branching. More...
|
|
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) |
|
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, IntConLevel icl=ICL_DEF) |
| Post Boolean expression and return its value. More...
|
|
void | rel (Home home, const BoolExpr &e, IntConLevel icl=ICL_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, IntConLevel icl=ICL_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, IntConLevel icl) |
|
void | element (Home home, const Matrix< IntArgs > &m, IntVar x, IntVar y, BoolVar z, IntConLevel icl) |
|
void | element (Home home, const Matrix< IntVarArgs > &m, IntVar x, IntVar y, IntVar z, IntConLevel icl) |
|
void | element (Home home, const Matrix< BoolVarArgs > &m, IntVar x, IntVar y, BoolVar z, IntConLevel icl) |
|
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...
|
|
LinFloatRel | operator== (const FloatVar &l, const BoolVar &r) |
| Construct linear float equality relation. More...
|
|
LinFloatRel | operator== (const LinFloatExpr &l, const BoolVar &r) |
| Construct linear float equality relation. More...
|
|
LinFloatRel | operator!= (const FloatVar &l, const BoolVar &r) |
| Construct linear float disequality relation. More...
|
|
LinFloatRel | operator!= (const LinFloatExpr &l, const BoolVar &r) |
| Construct linear float disequality relation. More...
|
|
BoolVar | channel (Home home, IntVar x, IntConLevel icl=ICL_DEF) |
| Return Boolean variable equal to . More...
|
|
IntVar | channel (Home home, BoolVar b, IntConLevel icl=ICL_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, IntConLevel icl=ICL_DEF) |
| Return set variable equal to . More...
|
|
void | atmost (Home home, const IntVarArgs &x, int n, int m, IntConLevel icl=ICL_DEF) |
| Post constraint . More...
|
|
void | atmost (Home home, const IntVarArgs &x, IntVar y, int m, IntConLevel icl=ICL_DEF) |
| Post constraint . More...
|
|
void | atmost (Home home, const IntVarArgs &x, const IntArgs &y, int m, IntConLevel icl=ICL_DEF) |
| Post constraint . More...
|
|
void | atmost (Home home, const IntVarArgs &x, int n, IntVar z, IntConLevel icl=ICL_DEF) |
| Post constraint . More...
|
|
void | atmost (Home home, const IntVarArgs &x, IntVar y, IntVar z, IntConLevel icl=ICL_DEF) |
| Post constraint . More...
|
|
void | atmost (Home home, const IntVarArgs &x, const IntArgs &y, IntVar z, IntConLevel icl=ICL_DEF) |
| Post constraint . More...
|
|
void | atleast (Home home, const IntVarArgs &x, int n, int m, IntConLevel icl=ICL_DEF) |
| Post constraint . More...
|
|
void | atleast (Home home, const IntVarArgs &x, IntVar y, int m, IntConLevel icl=ICL_DEF) |
| Post constraint . More...
|
|
void | atleast (Home home, const IntVarArgs &x, const IntArgs &y, int m, IntConLevel icl=ICL_DEF) |
| Post constraint . More...
|
|
void | atleast (Home home, const IntVarArgs &x, int n, IntVar z, IntConLevel icl=ICL_DEF) |
| Post constraint . More...
|
|
void | atleast (Home home, const IntVarArgs &x, IntVar y, IntVar z, IntConLevel icl=ICL_DEF) |
| Post constraint . More...
|
|
void | atleast (Home home, const IntVarArgs &x, const IntArgs &y, IntVar z, IntConLevel icl=ICL_DEF) |
| Post constraint . More...
|
|
void | exactly (Home home, const IntVarArgs &x, int n, int m, IntConLevel icl=ICL_DEF) |
| Post constraint . More...
|
|
void | exactly (Home home, const IntVarArgs &x, IntVar y, int m, IntConLevel icl=ICL_DEF) |
| Post constraint . More...
|
|
void | exactly (Home home, const IntVarArgs &x, const IntArgs &y, int m, IntConLevel icl=ICL_DEF) |
| Post constraint . More...
|
|
void | exactly (Home home, const IntVarArgs &x, int n, IntVar z, IntConLevel icl=ICL_DEF) |
| Post constraint . More...
|
|
void | exactly (Home home, const IntVarArgs &x, IntVar y, IntVar z, IntConLevel icl=ICL_DEF) |
| Post constraint . More...
|
|
void | exactly (Home home, const IntVarArgs &x, const IntArgs &y, IntVar z, IntConLevel icl=ICL_DEF) |
| Post constraint . More...
|
|
void | lex (Home home, const IntVarArgs &x, IntRelType r, const IntVarArgs &y, IntConLevel icl=ICL_DEF) |
| Post lexical order between x and y. More...
|
|
void | lex (Home home, const BoolVarArgs &x, IntRelType r, const BoolVarArgs &y, IntConLevel icl=ICL_DEF) |
| Post lexical order between x and y. More...
|
|
void | values (Home home, const IntVarArgs &x, IntSet y, IntConLevel icl=ICL_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 > |
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<template< class > class E, class T > |
T * | rbs (T *s, const Search::Options &o) |
| Perform restart-based search. More...
|
|
SetAssign | SET_ASSIGN_MIN_INC (void) |
| Include smallest element. More...
|
|
SetAssign | SET_ASSIGN_MIN_EXC (void) |
| Exclude smallest element. More...
|
|
SetAssign | SET_ASSIGN_MED_INC (void) |
| Include median element (rounding downwards) More...
|
|
SetAssign | SET_ASSIGN_MED_EXC (void) |
| Exclude median element (rounding downwards) More...
|
|
SetAssign | SET_ASSIGN_MAX_INC (void) |
| Include largest element. More...
|
|
SetAssign | SET_ASSIGN_MAX_EXC (void) |
| Exclude largest element. More...
|
|
SetAssign | SET_ASSIGN_RND_INC (Rnd r) |
| Include random element. More...
|
|
SetAssign | SET_ASSIGN_RND_EXC (Rnd r) |
| Exclude random element. More...
|
|
SetAssign | SET_ASSIGN (SetBranchVal v, SetBranchCommit c=NULL) |
| Select value as defined by the value function v and commit function c. More...
|
|
SetValBranch | SET_VAL_MIN_INC (void) |
| Include smallest element. More...
|
|
SetValBranch | SET_VAL_MIN_EXC (void) |
| Exclude smallest element. More...
|
|
SetValBranch | SET_VAL_MED_INC (void) |
| Include median element (rounding downwards) More...
|
|
SetValBranch | SET_VAL_MED_EXC (void) |
| Exclude median element (rounding downwards) More...
|
|
SetValBranch | SET_VAL_MAX_INC (void) |
| Include largest element. More...
|
|
SetValBranch | SET_VAL_MAX_EXC (void) |
| Exclude largest element. More...
|
|
SetValBranch | SET_VAL_RND_INC (Rnd r) |
| Include random element. More...
|
|
SetValBranch | SET_VAL_RND_EXC (Rnd r) |
| Exclude random element. More...
|
|
SetValBranch | SET_VAL (SetBranchVal v, SetBranchCommit c=NULL) |
| Select value as defined by the value function v and commit function c. More...
|
|
SetVarBranch | SET_VAR_NONE (void) |
| Select first unassigned variable. More...
|
|
SetVarBranch | SET_VAR_RND (Rnd r) |
| Select random variable (uniform distribution, for tie breaking) More...
|
|
SetVarBranch | SET_VAR_MERIT_MIN (SetBranchMerit bm, BranchTbl tbl=NULL) |
| Select variable with least merit according to branch merit function bm. More...
|
|
SetVarBranch | SET_VAR_MERIT_MAX (SetBranchMerit bm, BranchTbl tbl=NULL) |
| Select variable with highest merit according to branch merit function bm. More...
|
|
SetVarBranch | SET_VAR_DEGREE_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest degree. More...
|
|
SetVarBranch | SET_VAR_DEGREE_MAX (BranchTbl tbl=NULL) |
| Select variable with largest degree. More...
|
|
SetVarBranch | SET_VAR_AFC_MIN (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with smallest accumulated failure count with decay factor d. More...
|
|
SetVarBranch | SET_VAR_AFC_MIN (SetAFC a, BranchTbl tbl=NULL) |
| Select variable with smallest accumulated failure count. More...
|
|
SetVarBranch | SET_VAR_AFC_MAX (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with largest accumulated failure count with decay factor d. More...
|
|
SetVarBranch | SET_VAR_AFC_MAX (SetAFC a, BranchTbl tbl=NULL) |
| Select variable with largest accumulated failure count. More...
|
|
SetVarBranch | SET_VAR_ACTIVITY_MIN (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with lowest activity with decay factor d. More...
|
|
SetVarBranch | SET_VAR_ACTIVITY_MIN (SetActivity a, BranchTbl tbl=NULL) |
| Select variable with lowest activity. More...
|
|
SetVarBranch | SET_VAR_ACTIVITY_MAX (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with highest activity with decay factor d. More...
|
|
SetVarBranch | SET_VAR_ACTIVITY_MAX (SetActivity a, BranchTbl tbl=NULL) |
| Select variable with highest activity. More...
|
|
SetVarBranch | SET_VAR_MIN_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest minimum unknown element. More...
|
|
SetVarBranch | SET_VAR_MIN_MAX (BranchTbl tbl=NULL) |
| Select variable with largest minimum unknown element. More...
|
|
SetVarBranch | SET_VAR_MAX_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest maximum unknown element. More...
|
|
SetVarBranch | SET_VAR_MAX_MAX (BranchTbl tbl=NULL) |
| Select variable with largest maximum unknown element. More...
|
|
SetVarBranch | SET_VAR_SIZE_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest unknown set. More...
|
|
SetVarBranch | SET_VAR_SIZE_MAX (BranchTbl tbl=NULL) |
| Select variable with largest unknown set. More...
|
|
SetVarBranch | SET_VAR_DEGREE_SIZE_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest degree divided by domain size. More...
|
|
SetVarBranch | SET_VAR_DEGREE_SIZE_MAX (BranchTbl tbl=NULL) |
| Select variable with largest degree divided by domain size. More...
|
|
SetVarBranch | SET_VAR_AFC_SIZE_MIN (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with smallest accumulated failure count divided by domain size with decay factor d. More...
|
|
SetVarBranch | SET_VAR_AFC_SIZE_MIN (SetAFC a, BranchTbl tbl=NULL) |
| Select variable with smallest accumulated failure count divided by domain size. More...
|
|
SetVarBranch | SET_VAR_AFC_SIZE_MAX (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with largest accumulated failure count divided by domain size with decay factor d. More...
|
|
SetVarBranch | SET_VAR_AFC_SIZE_MAX (SetAFC a, BranchTbl tbl=NULL) |
| Select variable with largest accumulated failure count divided by domain size. More...
|
|
SetVarBranch | SET_VAR_ACTIVITY_SIZE_MIN (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with smallest activity divided by domain size with decay factor d. More...
|
|
SetVarBranch | SET_VAR_ACTIVITY_SIZE_MIN (SetActivity a, BranchTbl tbl=NULL) |
| Select variable with smallest activity divided by domain size. More...
|
|
SetVarBranch | SET_VAR_ACTIVITY_SIZE_MAX (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with largest activity divided by domain size with decay factor d. More...
|
|
SetVarBranch | SET_VAR_ACTIVITY_SIZE_MAX (SetActivity a, BranchTbl tbl=NULL) |
| Select variable with largest activity divided by domain size. More...
|
|
BrancherHandle | branch (Home home, const SetVarArgs &x, SetVarBranch vars, SetValBranch vals, SetBranchFilter bf=NULL, SetVarValPrint vvp=NULL) |
| Branch over x with variable selection vars and value selection vals. More...
|
|
BrancherHandle | branch (Home home, const SetVarArgs &x, TieBreak< SetVarBranch > vars, SetValBranch vals, SetBranchFilter bf=NULL, SetVarValPrint vvp=NULL) |
| Branch over x with tie-breaking variable selection vars and value selection vals. More...
|
|
BrancherHandle | branch (Home home, SetVar x, SetValBranch vals, SetVarValPrint vvp=NULL) |
| Branch over x with value selection vals. More...
|
|
BrancherHandle | assign (Home home, const SetVarArgs &x, SetAssign vals, SetBranchFilter bf=NULL, SetVarValPrint vvp=NULL) |
| Assign all x with value selection vals. More...
|
|
BrancherHandle | assign (Home home, SetVar x, SetAssign vals, SetVarValPrint vvp=NULL) |
| 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) |
| Post propagator for . More...
|
|
void | channelSorted (Home home, const IntVarArgs &x, SetVar y) |
| Post propagator for and . More...
|
|
void | channel (Home home, const IntVarArgs &x, const SetVarArgs &y) |
| Post propagator for . More...
|
|
void | channel (Home home, const BoolVarArgs &x, SetVar y) |
| Post propagator for . More...
|
|
void | channel (Home home, const SetVarArgs &x, const SetVarArgs &y) |
| Post propagator for . More...
|
|
void | convex (Home home, SetVar x) |
| Post propagator that propagates that x is convex. More...
|
|
void | convex (Home home, SetVar x, SetVar y) |
| Post propagator that propagates that y is the convex hull of x. More...
|
|
void | atmostOne (Home home, const SetVarArgs &x, unsigned int c) |
| Post propagator for and . More...
|
|
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 &u=IntSet(Set::Limits::min, Set::Limits::max)) |
| Post propagator for . More...
|
|
void | element (Home home, SetOpType op, const IntVarArgs &x, SetVar y, SetVar z, const IntSet &u=IntSet(Set::Limits::min, Set::Limits::max)) |
| Post propagator for . More...
|
|
void | element (Home home, SetOpType op, const IntSetArgs &x, SetVar y, SetVar z, const IntSet &u=IntSet(Set::Limits::min, Set::Limits::max)) |
| Post propagator for . More...
|
|
void | element (Home home, SetOpType op, const IntArgs &x, SetVar y, SetVar z, const IntSet &u=IntSet(Set::Limits::min, Set::Limits::max)) |
| Post propagator for . More...
|
|
void | element (Home home, const SetVarArgs &x, IntVar y, SetVar z) |
| Post propagator for . More...
|
|
void | element (Home home, const IntSetArgs &s, IntVar y, SetVar z) |
| Post propagator for . More...
|
|
void | element (Home home, const IntSetArgs &a, IntVar x, int w, IntVar y, int h, SetVar z) |
| Post propagator for . More...
|
|
void | element (Home home, const SetVarArgs &a, IntVar x, int w, IntVar y, int h, SetVar z) |
| Post propagator for . More...
|
|
void | wait (Home home, SetVar x, void(*c)(Space &home)) |
| Execute c when x becomes assigned. More...
|
|
void | wait (Home home, const SetVarArgs &x, void(*c)(Space &home)) |
| Execute c when all variables in x become assigned. More...
|
|
void | rel (Home home, SetVar s, IntRelType r, IntVar x) |
| Post propagator for . More...
|
|
void | rel (Home home, IntVar x, IntRelType r, SetVar s) |
| Post propagator for . More...
|
|
void | min (Home home, SetVar s, IntVar x) |
| Post propagator that propagates that x is the minimal element of s, and that s is not empty. More...
|
|
void | notMin (Home home, SetVar s, IntVar x) |
| Post propagator that propagates that x is not the minimal element of s. More...
|
|
void | min (Home home, SetVar s, IntVar x, Reify r) |
| Post reified propagator for b iff x is the minimal element of s. More...
|
|
void | max (Home home, SetVar s, IntVar x) |
| Post propagator that propagates that x is the maximal element of s, and that s is not empty. More...
|
|
void | notMax (Home home, SetVar s, IntVar x) |
| Post propagator that propagates that x is not the maximal element of s. More...
|
|
void | max (Home home, SetVar s, IntVar x, Reify r) |
| Post reified propagator for b iff x is the maximal element of s. More...
|
|
void | weights (Home home, IntSharedArray elements, IntSharedArray weights, SetVar x, IntVar y) |
| Post propagator for . More...
|
|
SymmetryHandle | VariableSymmetry (const SetVarArgs &x) |
| Variables in x are interchangeable. More...
|
|
SymmetryHandle | VariableSequenceSymmetry (const SetVarArgs &x, int ss) |
| Variable sequences in x of size ss are interchangeable. More...
|
|
BrancherHandle | branch (Home home, const SetVarArgs &x, SetVarBranch vars, SetValBranch vals, const Symmetries &syms, SetBranchFilter bf=NULL, SetVarValPrint vvp=NULL) |
| Branch over x with variable selection vars and value selection vals with symmetry breaking. More...
|
|
BrancherHandle | branch (Home home, const SetVarArgs &x, TieBreak< SetVarBranch > vars, SetValBranch vals, const Symmetries &syms, SetBranchFilter bf=NULL, SetVarValPrint vvp=NULL) |
| 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) |
| Post propagator that s precedes t in x. More...
|
|
void | precede (Home home, const SetVarArgs &x, const IntArgs &c) |
| Post propagator that successive values in c precede each other in x. More...
|
|
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) |
| Post propagator for . More...
|
|
void | rel (Home home, const IntSet &x, SetOpType op, SetVar y, SetRelType r, SetVar z) |
| Post propagator for . More...
|
|
void | rel (Home home, SetVar x, SetOpType op, const IntSet &y, SetRelType r, const IntSet &z) |
| Post propagator for . More...
|
|
void | rel (Home home, SetVar x, SetOpType op, const IntSet &y, SetRelType r, SetVar z) |
| Post propagator for . More...
|
|
void | rel (Home home, SetVar x, SetOpType op, SetVar y, SetRelType r, const IntSet &z) |
| Post propagator for . More...
|
|
void | rel (Home home, SetOpType op, const IntVarArgs &x, SetVar y) |
| Post propagator for . More...
|
|
void | rel (Home home, SetOpType op, const IntVarArgs &x, const IntSet &z, SetVar y) |
| Post propagator for . More...
|
|
void | rel (Home home, SetVar x, SetOpType op, SetVar y, SetRelType r, SetVar z) |
| Post propagator for . More...
|
|
void | rel (Home home, SetOpType op, const SetVarArgs &x, SetVar y) |
| Post propagator for . More...
|
|
void | rel (Home home, SetOpType op, const SetVarArgs &x, const IntSet &z, SetVar y) |
| Post propagator for . More...
|
|
template<class View0 , class View1 > |
void | rel_post (Home home, View0 x0, SetRelType r, View1 x1) |
|
template<class View0 , class View1 , ReifyMode rm> |
void | rel_re (Home home, View0 x, SetRelType r, View1 y, BoolVar b) |
|
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 | sequence (Home home, const SetVarArgs &x) |
| Post propagator for . More...
|
|
void | sequence (Home home, const SetVarArgs &y, SetVar x) |
| Post propagator for and . More...
|
|
template<class Char , class Traits > |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const SetVar &x) |
|
template<class T > |
T | ptr_cast (void *p) |
| Cast p into pointer of type T. More...
|
|
template<class F1 , class F2 > |
F1 | function_cast (F2 f) |
| Cast function pointer. More...
|
|