|
FloatNum | Gecode::pi_half_lower (void) |
| Return lower bound of . More...
|
|
FloatNum | Gecode::pi_half_upper (void) |
| Return upper bound of . More...
|
|
FloatNum | Gecode::pi_lower (void) |
| Return lower bound of . More...
|
|
FloatNum | Gecode::pi_upper (void) |
| Return upper bound of . More...
|
|
FloatNum | Gecode::pi_twice_lower (void) |
| Return lower bound of . More...
|
|
FloatNum | Gecode::pi_twice_upper (void) |
| Return upper bound of . More...
|
|
bool | Gecode::Float::Limits::valid (const FloatVal &n) |
| Return whether float n is a valid number. More...
|
|
void | Gecode::Float::Limits::check (const FloatVal &n, const char *l) |
| Check whether float n is a valid number, otherwise throw out of limits exception with information l. More...
|
|
void | Gecode::dom (Home home, FloatVar x, FloatVal n) |
| Propagates . More...
|
|
void | Gecode::dom (Home home, const FloatVarArgs &x, FloatVal n) |
| Propagates for all . More...
|
|
void | Gecode::dom (Home home, FloatVar x, FloatNum l, FloatNum m) |
| Propagates . More...
|
|
void | Gecode::dom (Home home, const FloatVarArgs &x, FloatNum l, FloatNum u) |
| Propagates for all . More...
|
|
void | Gecode::dom (Home home, FloatVar x, FloatVal n, Reify r) |
| Post domain consistent propagator for . More...
|
|
void | Gecode::dom (Home home, FloatVar x, FloatNum l, FloatNum u, Reify r) |
| Post domain consistent propagator for . More...
|
|
void | Gecode::dom (Home home, FloatVar x, FloatVar d) |
| Constrain domain of x according to domain of d. More...
|
|
void | Gecode::dom (Home home, const FloatVarArgs &x, const FloatVarArgs &d) |
| Constrain domain of according to domain of for all . More...
|
|
void | Gecode::rel (Home home, FloatVar x0, FloatRelType frt, FloatVar x1) |
| Post propagator for . More...
|
|
void | Gecode::rel (Home home, FloatVar x, FloatRelType frt, FloatVal c) |
| Propagates . More...
|
|
void | Gecode::rel (Home home, FloatVar x, FloatRelType frt, FloatVal c, Reify r) |
| Post propagator for . More...
|
|
void | Gecode::rel (Home home, FloatVar x0, FloatRelType frt, FloatVar x1, Reify r) |
| Post propagator for . More...
|
|
void | Gecode::rel (Home home, const FloatVarArgs &x, FloatRelType frt, FloatVal c) |
| Propagates for all . More...
|
|
void | Gecode::rel (Home home, const FloatVarArgs &x, FloatRelType frt, FloatVar y) |
| Propagates for all . More...
|
|
void | Gecode::min (Home home, FloatVar x0, FloatVar x1, FloatVar x2) |
| Post propagator for . More...
|
|
void | Gecode::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 | Gecode::max (Home home, FloatVar x0, FloatVar x1, FloatVar x2) |
| Post propagator for . More...
|
|
void | Gecode::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 | Gecode::abs (Home home, FloatVar x0, FloatVar x1) |
| Post propagator for . More...
|
|
void | Gecode::mult (Home home, FloatVar x0, FloatVar x1, FloatVar x2) |
| Post propagator for . More...
|
|
void | Gecode::sqr (Home home, FloatVar x0, FloatVar x1) |
| Post propagator for . More...
|
|
void | Gecode::sqrt (Home home, FloatVar x0, FloatVar x1) |
| Post propagator for . More...
|
|
void | Gecode::pow (Home home, FloatVar x0, int n, FloatVar x1) |
| Post propagator for for $n 0$. More...
|
|
void | Gecode::nroot (Home home, FloatVar x0, int n, FloatVar x1) |
| Post propagator for for $n 0$. More...
|
|
void | Gecode::div (Home home, FloatVar x0, FloatVar x1, FloatVar x2) |
| Post propagator for . More...
|
|
void | Gecode::exp (Home home, FloatVar x0, FloatVar x1) |
| Post propagator for . More...
|
|
void | Gecode::log (Home home, FloatVar x0, FloatVar x1) |
| Post propagator for . More...
|
|
void | Gecode::pow (Home home, FloatNum base, FloatVar x0, FloatVar x1) |
| Post propagator for . More...
|
|
void | Gecode::log (Home home, FloatNum base, FloatVar x0, FloatVar x1) |
| Post propagator for . More...
|
|
void | Gecode::asin (Home home, FloatVar x0, FloatVar x1) |
| Post propagator for . More...
|
|
void | Gecode::sin (Home home, FloatVar x0, FloatVar x1) |
| Post propagator for . More...
|
|
void | Gecode::acos (Home home, FloatVar x0, FloatVar x1) |
| Post propagator for . More...
|
|
void | Gecode::cos (Home home, FloatVar x0, FloatVar x1) |
| Post propagator for . More...
|
|
void | Gecode::atan (Home home, FloatVar x0, FloatVar x1) |
| Post propagator for . More...
|
|
void | Gecode::tan (Home home, FloatVar x0, FloatVar x1) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const FloatVarArgs &x, FloatRelType frt, FloatNum c) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const FloatVarArgs &x, FloatRelType frt, FloatVar y) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const FloatVarArgs &x, FloatRelType frt, FloatNum c, Reify r) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const FloatVarArgs &x, FloatRelType frt, FloatVar y, Reify r) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const FloatValArgs &a, const FloatVarArgs &x, FloatRelType frt, FloatNum c) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const FloatValArgs &a, const FloatVarArgs &x, FloatRelType frt, FloatVar y) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const FloatValArgs &a, const FloatVarArgs &x, FloatRelType frt, FloatNum c, Reify r) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const FloatValArgs &a, const FloatVarArgs &x, FloatRelType frt, FloatVar y, Reify r) |
| Post propagator for . More...
|
|
void | Gecode::channel (Home home, FloatVar x0, IntVar x1) |
| Post propagator for channeling a float and an integer variable . More...
|
|
void | Gecode::channel (Home home, IntVar x0, FloatVar x1) |
| Post propagator for channeling a float and an integer variable . More...
|
|
void | Gecode::wait (Home home, FloatVar x, void(*c)(Space &home)) |
| Execute c when x becomes assigned. More...
|
|
void | Gecode::wait (Home home, const FloatVarArgs &x, void(*c)(Space &home)) |
| Execute c when all variables in x become assigned. More...
|
|
FloatVarBranch | Gecode::FLOAT_VAR_NONE (void) |
| Select first unassigned variable. More...
|
|
FloatVarBranch | Gecode::FLOAT_VAR_RND (Rnd r) |
| Select random variable (uniform distribution, for tie breaking) More...
|
|
FloatVarBranch | Gecode::FLOAT_VAR_MERIT_MIN (FloatBranchMerit bm, BranchTbl tbl=NULL) |
| Select variable with least merit according to branch merit function bm. More...
|
|
FloatVarBranch | Gecode::FLOAT_VAR_MERIT_MAX (FloatBranchMerit bm, BranchTbl tbl=NULL) |
| Select variable with highest merit according to branch merit function bm. More...
|
|
FloatVarBranch | Gecode::FLOAT_VAR_DEGREE_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest degree. More...
|
|
FloatVarBranch | Gecode::FLOAT_VAR_DEGREE_MAX (BranchTbl tbl=NULL) |
| Select variable with largest degree. More...
|
|
FloatVarBranch | Gecode::FLOAT_VAR_AFC_MIN (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with smallest accumulated failure count with decay factor d. More...
|
|
FloatVarBranch | Gecode::FLOAT_VAR_AFC_MIN (FloatAFC a, BranchTbl tbl=NULL) |
| Select variable with smallest accumulated failure count. More...
|
|
FloatVarBranch | Gecode::FLOAT_VAR_AFC_MAX (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with largest accumulated failure count with decay factor d. More...
|
|
FloatVarBranch | Gecode::FLOAT_VAR_AFC_MAX (FloatAFC a, BranchTbl tbl=NULL) |
| Select variable with largest accumulated failure count. More...
|
|
FloatVarBranch | Gecode::FLOAT_VAR_ACTIVITY_MIN (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with lowest activity with decay factor d. More...
|
|
FloatVarBranch | Gecode::FLOAT_VAR_ACTIVITY_MIN (FloatActivity a, BranchTbl tbl=NULL) |
| Select variable with lowest activity. More...
|
|
FloatVarBranch | Gecode::FLOAT_VAR_ACTIVITY_MAX (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with highest activity with decay factor d. More...
|
|
FloatVarBranch | Gecode::FLOAT_VAR_ACTIVITY_MAX (FloatActivity a, BranchTbl tbl=NULL) |
| Select variable with highest activity. More...
|
|
FloatVarBranch | Gecode::FLOAT_VAR_MIN_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest min. More...
|
|
FloatVarBranch | Gecode::FLOAT_VAR_MIN_MAX (BranchTbl tbl=NULL) |
| Select variable with largest min. More...
|
|
FloatVarBranch | Gecode::FLOAT_VAR_MAX_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest max. More...
|
|
FloatVarBranch | Gecode::FLOAT_VAR_MAX_MAX (BranchTbl tbl=NULL) |
| Select variable with largest max. More...
|
|
FloatVarBranch | Gecode::FLOAT_VAR_SIZE_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest domain size. More...
|
|
FloatVarBranch | Gecode::FLOAT_VAR_SIZE_MAX (BranchTbl tbl=NULL) |
| Select variable with largest domain size. More...
|
|
FloatVarBranch | Gecode::FLOAT_VAR_DEGREE_SIZE_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest degree divided by domain size. More...
|
|
FloatVarBranch | Gecode::FLOAT_VAR_DEGREE_SIZE_MAX (BranchTbl tbl=NULL) |
| Select variable with largest degree divided by domain size. More...
|
|
FloatVarBranch | Gecode::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 | Gecode::FLOAT_VAR_AFC_SIZE_MIN (FloatAFC a, BranchTbl tbl=NULL) |
| Select variable with smallest accumulated failure count divided by domain size. More...
|
|
FloatVarBranch | Gecode::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 | Gecode::FLOAT_VAR_AFC_SIZE_MAX (FloatAFC a, BranchTbl tbl=NULL) |
| Select variable with largest accumulated failure count divided by domain size. More...
|
|
FloatVarBranch | Gecode::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 | Gecode::FLOAT_VAR_ACTIVITY_SIZE_MIN (FloatActivity a, BranchTbl tbl=NULL) |
| Select variable with smallest activity divided by domain size. More...
|
|
FloatVarBranch | Gecode::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 | Gecode::FLOAT_VAR_ACTIVITY_SIZE_MAX (FloatActivity a, BranchTbl tbl=NULL) |
| Select variable with largest activity divided by domain size. More...
|
|
FloatValBranch | Gecode::FLOAT_VAL_SPLIT_MIN (void) |
| Select values not greater than mean of smallest and largest value. More...
|
|
FloatValBranch | Gecode::FLOAT_VAL_SPLIT_MAX (void) |
| Select values greater than mean of smallest and largest value. More...
|
|
FloatValBranch | Gecode::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 | Gecode::FLOAT_VAL (FloatBranchVal v, FloatBranchCommit c) |
|
FloatAssign | Gecode::FLOAT_ASSIGN_MIN (void) |
| Select median value of the lower part. More...
|
|
FloatAssign | Gecode::FLOAT_ASSIGN_MAX (void) |
| Select median value of the upper part. More...
|
|
FloatAssign | Gecode::FLOAT_ASSIGN_RND (Rnd r) |
| Select median value of a randomly chosen part. More...
|
|
FloatAssign | Gecode::FLOAT_ASSIGN (FloatBranchVal v, FloatBranchCommit c) |
|
BrancherHandle | Gecode::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 | Gecode::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 | Gecode::branch (Home home, FloatVar x, FloatValBranch vals, FloatVarValPrint vvp=NULL) |
| Branch over x with value selection vals. More...
|
|
BrancherHandle | Gecode::assign (Home home, const FloatVarArgs &x, FloatAssign vals, FloatBranchFilter fbf=NULL, FloatVarValPrint vvp=NULL) |
| Assign all x with value selection vals. More...
|
|
BrancherHandle | Gecode::assign (Home home, FloatVar x, FloatAssign vals, FloatVarValPrint vvp=NULL) |
| Assign x with value selection vals. More...
|
|