|
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 | mult (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 | 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 | binpacking (Home home, const IntVarArgs &l, const IntVarArgs &b, const IntArgs &s, IntConLevel icl=ICL_DEF) |
| Post propagator for bin packing. More...
|
|
void | rel (Home home, BoolVar x0, IntRelType r, BoolVar x1, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | rel (Home home, BoolVar x, IntRelType r, int n, IntConLevel icl=ICL_DEF) |
| Propagates . More...
|
|
void | rel (Home home, BoolVar x0, IntRelType r, BoolVar x1, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | rel (Home home, BoolVar x, IntRelType r, int n, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | rel (Home home, const BoolVarArgs &x, IntRelType r, BoolVar y, IntConLevel icl=ICL_DEF) |
| Post doamin consistent propagator for for all . More...
|
|
void | rel (Home home, const BoolVarArgs &x, IntRelType r, int n, IntConLevel icl=ICL_DEF) |
| Propagates for all . More...
|
|
void | rel (Home home, const BoolVarArgs &x, IntRelType r, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for relation between elements in x. More...
|
|
void | rel (Home home, const BoolVarArgs &x, IntRelType r, 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 | branch (Home home, const BoolVarArgs &x, IntVarBranch vars, IntValBranch vals, const VarBranchOptions &o_vars=VarBranchOptions::def, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Branch over x with variable selection vars and value selection vals. More...
|
|
void | branch (Home home, const BoolVarArgs &x, const TieBreakVarBranch< IntVarBranch > &vars, IntValBranch vals, const TieBreakVarBranchOptions &o_vars=TieBreakVarBranchOptions::def, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Branch over x with tie-breaking variable selection vars and value selection vals. More...
|
|
void | branch (Home home, const IntVarArgs &x, IntVarBranch vars, IntValBranch vals, const VarBranchOptions &o_vars=VarBranchOptions::def, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Branch over x with variable selection vars and value selection vals. More...
|
|
void | branch (Home home, const IntVarArgs &x, const TieBreakVarBranch< IntVarBranch > &vars, IntValBranch vals, const TieBreakVarBranchOptions &o_vars=TieBreakVarBranchOptions::def, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Branch over x with tie-breaking variable selection vars and value selection vals. More...
|
|
void | assign (Home home, const IntVarArgs &x, IntAssign vals, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Assign all x with value selection vals. More...
|
|
void | assign (Home home, const BoolVarArgs &x, IntAssign vals, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Assign all x with value selection vals. More...
|
|
void | branch (Home home, IntVar x, IntValBranch vals, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Branch over x with value selection vals. More...
|
|
void | branch (Home home, BoolVar x, IntValBranch vals, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Branch over x with value selection vals. More...
|
|
void | assign (Home home, IntVar x, IntAssign vals, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Assign x with value selection vals. More...
|
|
void | assign (Home home, BoolVar x, IntAssign vals, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Assign x with value selection vals. More...
|
|
Archive & | operator>> (Archive &e, Gecode::Int::Branch::NoValue &) |
|
Archive & | operator<< (Archive &e, const Gecode::Int::Branch::NoValue &) |
|
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 r, int m, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | count (Home home, const IntVarArgs &x, IntVar y, IntRelType r, int m, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | count (Home home, const IntVarArgs &x, const IntSet &y, IntRelType r, int m, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | count (Home home, const IntVarArgs &x, const IntArgs &y, IntRelType r, int m, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | count (Home home, const IntVarArgs &x, int n, IntRelType r, IntVar z, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | count (Home home, const IntVarArgs &x, IntVar y, IntRelType r, IntVar z, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | count (Home home, const IntVarArgs &x, const IntSet &y, IntRelType r, IntVar z, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | count (Home home, const IntVarArgs &x, const IntArgs &y, IntRelType r, 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, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | dom (Home home, IntVar x, int l, int m, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | dom (Home home, IntVar x, const IntSet &s, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . 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) |
|
void | linear (Home home, const BoolVarArgs &x, IntRelType r, int c, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const BoolVarArgs &x, IntRelType r, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntArgs &a, const BoolVarArgs &x, IntRelType r, int c, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntArgs &a, const BoolVarArgs &x, IntRelType r, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const BoolVarArgs &x, IntRelType r, int c, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const BoolVarArgs &x, IntRelType r, IntVar y, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntArgs &a, const BoolVarArgs &x, IntRelType r, int c, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntArgs &a, const BoolVarArgs &x, IntRelType r, IntVar y, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntVarArgs &x, IntRelType r, int c, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntVarArgs &x, IntRelType r, int c, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntArgs &a, const IntVarArgs &x, IntRelType r, int c, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntArgs &a, const IntVarArgs &x, IntRelType r, int c, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntVarArgs &x, IntRelType r, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntVarArgs &x, IntRelType r, IntVar y, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntArgs &a, const IntVarArgs &x, IntRelType r, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | linear (Home home, const IntArgs &a, const IntVarArgs &x, IntRelType r, IntVar y, BoolVar b, 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, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | member (Home home, const BoolVarArgs &x, BoolVar y, BoolVar b, 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 r, int y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | nvalues (Home home, const IntVarArgs &x, IntRelType r, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | nvalues (Home home, const BoolVarArgs &x, IntRelType r, int y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | nvalues (Home home, const BoolVarArgs &x, IntRelType r, 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...
|
|
void | rel (Home home, IntVar x, IntRelType r, int c, IntConLevel icl=ICL_DEF) |
| Propagates . More...
|
|
void | rel (Home home, const IntVarArgs &x, IntRelType r, int c, IntConLevel icl=ICL_DEF) |
| Propagates for all . More...
|
|
void | rel (Home home, IntVar x0, IntRelType r, IntVar x1, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | rel (Home home, const IntVarArgs &x, IntRelType r, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for for all . More...
|
|
void | rel (Home home, IntVar x0, IntRelType r, IntVar x1, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | rel (Home home, IntVar x, IntRelType r, int c, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | rel (Home home, const IntVarArgs &x, IntRelType r, IntConLevel icl=ICL_DEF) |
| Post propagator for relation among elements in x. More...
|
|
void | rel (Home home, const IntVarArgs &x, IntRelType r, 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...
|
|
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) |
|
void | branch (Home home, void(*f)(Space &home)) |
| Call the function f (with the current space as argument) for branching. More...
|
|
template<class VarBranch > |
TieBreakVarBranch< VarBranch > | tiebreak (VarBranch a, VarBranch b) |
| Combine variable selection criteria a and b for tie-breaking. More...
|
|
template<class VarBranch > |
TieBreakVarBranch< VarBranch > | tiebreak (VarBranch a, VarBranch b, VarBranch c) |
| Combine variable selection criteria a, b, and c for tie-breaking. More...
|
|
template<class VarBranch > |
TieBreakVarBranch< VarBranch > | tiebreak (VarBranch a, VarBranch b, VarBranch c, VarBranch d) |
| Combine variable selection criteria a, b, c, and d for tie-breaking. More...
|
|
TieBreakVarBranchOptions | tiebreak (VarBranchOptions a, VarBranchOptions b) |
| Combine variable branch options a and b for tie-breaking. More...
|
|
TieBreakVarBranchOptions | tiebreak (VarBranchOptions a, VarBranchOptions b, VarBranchOptions c) |
| Combine variable branch options a, b, and c for tie-breaking. More...
|
|
TieBreakVarBranchOptions | tiebreak (VarBranchOptions a, VarBranchOptions b, VarBranchOptions c, VarBranchOptions d) |
| Combine variable branch options a, b, c, and d for tie-breaking. 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) |
|
LinExpr | abs (const LinExpr &e) |
| Return expression for . More...
|
|
LinExpr | min (const LinExpr &x, const LinExpr &y) |
| Return expression for . More...
|
|
LinExpr | max (const LinExpr &x, const LinExpr &y) |
| Return expression for . More...
|
|
LinExpr | min (const IntVarArgs &x) |
| Return expression for . More...
|
|
LinExpr | max (const IntVarArgs &x) |
| Return expression for . More...
|
|
LinExpr | operator* (const LinExpr &x, const LinExpr &y) |
| Return expression for . More...
|
|
LinExpr | sqr (const LinExpr &x) |
| Return expression for . More...
|
|
LinExpr | sqrt (const LinExpr &x) |
| Return expression for . More...
|
|
LinExpr | operator/ (const LinExpr &x, const LinExpr &y) |
| Return expression for . More...
|
|
LinExpr | operator% (const LinExpr &x, const LinExpr &y) |
| Return expression for . More...
|
|
LinExpr | element (const IntVarArgs &x, const LinExpr &y) |
| Return expression for . More...
|
|
LinExpr | element (const IntArgs &x, const LinExpr &y) |
| Return expression for . More...
|
|
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 LinExpr &y) |
| Return expression for . More...
|
|
LinExpr | operator+ (int, const IntVar &) |
| Construct linear expression as sum of integer variable and integer. More...
|
|
LinExpr | operator+ (int, const BoolVar &) |
| Construct linear expression as sum of Boolean variable and integer. More...
|
|
LinExpr | operator+ (int, const LinExpr &) |
| Construct linear expression as sum of linear expression and integer. More...
|
|
LinExpr | operator+ (const IntVar &, int) |
| Construct linear expression as sum of integer variable and integer. More...
|
|
LinExpr | operator+ (const BoolVar &, int) |
| Construct linear expression as sum of Boolean variable and integer. More...
|
|
LinExpr | operator+ (const LinExpr &, int) |
| Construct linear expression as sum of linear expression and integer. More...
|
|
LinExpr | operator+ (const IntVar &, const IntVar &) |
| Construct linear expression as sum of integer variables. More...
|
|
LinExpr | operator+ (const IntVar &, const BoolVar &) |
| Construct linear expression as sum of integer and Boolean variable. More...
|
|
LinExpr | operator+ (const BoolVar &, const IntVar &) |
| Construct linear expression as sum of Boolean and integer variable. More...
|
|
LinExpr | operator+ (const BoolVar &, const BoolVar &) |
| Construct linear expression as sum of Boolean variables. More...
|
|
LinExpr | operator+ (const IntVar &, const LinExpr &) |
| Construct linear expression as sum of integer variable and linear expression. More...
|
|
LinExpr | operator+ (const BoolVar &, const LinExpr &) |
| Construct linear expression as sum of Boolean variable and linear expression. More...
|
|
LinExpr | operator+ (const LinExpr &, const IntVar &) |
| Construct linear expression as sum of linear expression and integer variable. More...
|
|
LinExpr | operator+ (const LinExpr &, const BoolVar &) |
| Construct linear expression as sum of linear expression and Boolean variable. More...
|
|
LinExpr | operator+ (const LinExpr &, const LinExpr &) |
| Construct linear expression as sum of linear expressions. More...
|
|
LinExpr | operator- (int, const IntVar &) |
| Construct linear expression as sum of integer variable and integer. More...
|
|
LinExpr | operator- (int, const BoolVar &) |
| Construct linear expression as sum of Boolean variable and integer. More...
|
|
LinExpr | operator- (int, const LinExpr &) |
| Construct linear expression as sum of integer and linear expression. More...
|
|
LinExpr | operator- (const IntVar &, int) |
| Construct linear expression as sum of integer variable and integer. More...
|
|
LinExpr | operator- (const BoolVar &, int) |
| Construct linear expression as sum of Boolean variable and integer. More...
|
|
LinExpr | operator- (const LinExpr &, int) |
| Construct linear expression as sum of linear expression and integer. More...
|
|
LinExpr | operator- (const IntVar &, const IntVar &) |
| Construct linear expression as sum of integer variables. More...
|
|
LinExpr | operator- (const IntVar &, const BoolVar &) |
| Construct linear expression as sum of integer and Boolean variable. More...
|
|
LinExpr | operator- (const BoolVar &, const IntVar &) |
| Construct linear expression as sum of Boolean and integer variable. More...
|
|
LinExpr | operator- (const BoolVar &, const BoolVar &) |
| Construct linear expression as sum of Boolean variables. More...
|
|
LinExpr | operator- (const IntVar &, const LinExpr &) |
| Construct linear expression as sum of integer variable and linear expression. More...
|
|
LinExpr | operator- (const BoolVar &, const LinExpr &) |
| Construct linear expression as sum of Boolean variable and linear expression. More...
|
|
LinExpr | operator- (const LinExpr &, const IntVar &) |
| Construct linear expression as sum of linear expression and integer variable. More...
|
|
LinExpr | operator- (const LinExpr &, const BoolVar &) |
| Construct linear expression as sum of linear expression and Boolean variable. More...
|
|
LinExpr | operator- (const LinExpr &, const LinExpr &) |
| Construct linear expression as sum of linear expressions. More...
|
|
LinExpr | operator- (const IntVar &) |
| Construct linear expression as negative of integer variable. More...
|
|
LinExpr | operator- (const BoolVar &) |
| Construct linear expression as negative of Boolean variable. More...
|
|
LinExpr | operator- (const LinExpr &) |
| Construct linear expression as negative of linear expression. More...
|
|
LinExpr | operator* (int, const IntVar &) |
| Construct linear expression as product of integer coefficient and integer variable. More...
|
|
LinExpr | operator* (int, const BoolVar &) |
| Construct linear expression as product of integer coefficient and Boolean variable. More...
|
|
LinExpr | operator* (const IntVar &, int) |
| Construct linear expression as product of integer coefficient and integer variable. More...
|
|
LinExpr | operator* (const BoolVar &, int) |
| Construct linear expression as product of integer coefficient and Boolean variable. More...
|
|
LinExpr | operator* (const LinExpr &, int) |
| Construct linear expression as product of integer coefficient and linear expression. More...
|
|
LinExpr | operator* (int, const LinExpr &) |
| Construct linear expression as product of integer coefficient and linear expression. More...
|
|
LinExpr | sum (const IntVarArgs &x) |
| Construct linear expression as sum of integer variables. More...
|
|
LinExpr | sum (const IntArgs &a, const IntVarArgs &x) |
| Construct linear expression as sum of integer variables with coefficients. More...
|
|
LinExpr | sum (const BoolVarArgs &x) |
| Construct linear expression as sum of Boolean variables. More...
|
|
LinExpr | sum (const IntArgs &a, const BoolVarArgs &x) |
| Construct linear expression as sum of Boolean variables with coefficients. More...
|
|
IntVar | expr (Home home, const LinExpr &e, IntConLevel icl=ICL_DEF) |
| Post linear expression and return its value. More...
|
|
LinRel | operator== (int l, const IntVar &r) |
| Construct linear equality relation. More...
|
|
LinRel | operator== (int l, const BoolVar &r) |
| Construct linear equality relation. More...
|
|
LinRel | operator== (int l, const LinExpr &r) |
| Construct linear equality relation. More...
|
|
LinRel | operator== (const IntVar &l, int r) |
| Construct linear equality relation. More...
|
|
LinRel | operator== (const BoolVar &l, int r) |
| Construct linear equality relation. More...
|
|
LinRel | operator== (const LinExpr &l, int r) |
| Construct linear equality relation. More...
|
|
LinRel | operator== (const IntVar &l, const IntVar &r) |
| Construct linear equality relation. More...
|
|
LinRel | operator== (const IntVar &l, const BoolVar &r) |
| Construct linear equality relation. More...
|
|
LinRel | operator== (const BoolVar &l, const IntVar &r) |
| Construct linear equality relation. More...
|
|
LinRel | operator== (const BoolVar &l, const BoolVar &r) |
| Construct linear equality relation. More...
|
|
LinRel | operator== (const IntVar &l, const LinExpr &r) |
| Construct linear equality relation. More...
|
|
LinRel | operator== (const BoolVar &l, const LinExpr &r) |
| Construct linear equality relation. More...
|
|
LinRel | operator== (const LinExpr &l, const IntVar &r) |
| Construct linear equality relation. More...
|
|
LinRel | operator== (const LinExpr &l, const BoolVar &r) |
| Construct linear equality relation. More...
|
|
LinRel | operator== (const LinExpr &l, const LinExpr &r) |
| Construct linear equality relation. More...
|
|
LinRel | operator!= (int l, const IntVar &r) |
| Construct linear disequality relation. More...
|
|
LinRel | operator!= (int l, const BoolVar &r) |
| Construct linear disequality relation. More...
|
|
LinRel | operator!= (int l, const LinExpr &r) |
| Construct linear disequality relation. More...
|
|
LinRel | operator!= (const IntVar &l, int r) |
| Construct linear disequality relation. More...
|
|
LinRel | operator!= (const BoolVar &l, int r) |
| Construct linear disequality relation. More...
|
|
LinRel | operator!= (const LinExpr &l, int r) |
| Construct linear disequality relation. More...
|
|
LinRel | operator!= (const IntVar &l, const IntVar &r) |
| Construct linear disequality relation. More...
|
|
LinRel | operator!= (const IntVar &l, const BoolVar &r) |
| Construct linear disequality relation. More...
|
|
LinRel | operator!= (const BoolVar &l, const IntVar &r) |
| Construct linear disequality relation. More...
|
|
LinRel | operator!= (const BoolVar &l, const BoolVar &r) |
| Construct linear disequality relation. More...
|
|
LinRel | operator!= (const IntVar &l, const LinExpr &r) |
| Construct linear disequality relation. More...
|
|
LinRel | operator!= (const BoolVar &l, const LinExpr &r) |
| Construct linear disequality relation. More...
|
|
LinRel | operator!= (const LinExpr &l, const IntVar &r) |
| Construct linear disequality relation. More...
|
|
LinRel | operator!= (const LinExpr &l, const BoolVar &r) |
| Construct linear disequality relation. More...
|
|
LinRel | operator!= (const LinExpr &l, const LinExpr &r) |
| Construct linear disequality relation. More...
|
|
LinRel | operator< (int l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator< (int l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator< (int l, const LinExpr &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator< (const IntVar &l, int r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator< (const BoolVar &l, int r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator< (const LinExpr &l, int r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator< (const IntVar &l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator< (const IntVar &l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator< (const BoolVar &l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator< (const BoolVar &l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator< (const IntVar &l, const LinExpr &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator< (const BoolVar &l, const LinExpr &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator< (const LinExpr &l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator< (const LinExpr &l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator< (const LinExpr &l, const LinExpr &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator<= (int l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator<= (int l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator<= (int l, const LinExpr &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator<= (const IntVar &l, int r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator<= (const BoolVar &l, int r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator<= (const LinExpr &l, int r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator<= (const IntVar &l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator<= (const IntVar &l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator<= (const BoolVar &l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator<= (const BoolVar &l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator<= (const IntVar &l, const LinExpr &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator<= (const BoolVar &l, const LinExpr &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator<= (const LinExpr &l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator<= (const LinExpr &l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator<= (const LinExpr &l, const LinExpr &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator> (int l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator> (int l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator> (int l, const LinExpr &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator> (const IntVar &l, int r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator> (const BoolVar &l, int r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator> (const LinExpr &l, int r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator> (const IntVar &l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator> (const IntVar &l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator> (const BoolVar &l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator> (const BoolVar &l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator> (const IntVar &l, const LinExpr &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator> (const BoolVar &l, const LinExpr &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator> (const LinExpr &l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator> (const LinExpr &l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator> (const LinExpr &l, const LinExpr &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator>= (int l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator>= (int l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator>= (int l, const LinExpr &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator>= (const IntVar &l, int r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator>= (const BoolVar &l, int r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator>= (const LinExpr &l, int r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator>= (const IntVar &l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator>= (const IntVar &l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator>= (const BoolVar &l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator>= (const BoolVar &l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator>= (const IntVar &l, const LinExpr &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator>= (const BoolVar &l, const LinExpr &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator>= (const LinExpr &l, const IntVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator>= (const LinExpr &l, const BoolVar &r) |
| Construct linear inequality relation. More...
|
|
LinRel | operator>= (const LinExpr &l, const LinExpr &r) |
| Construct linear inequality relation. 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 LinExpr &) |
| 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...
|
|
LinExpr | cardinality (const SetExpr &) |
| Cardinality of set expression. More...
|
|
LinExpr | min (const SetExpr &) |
| Minimum element of set expression. More...
|
|
LinExpr | max (const SetExpr &) |
| Minimum element of set expression. More...
|
|
SetVar | expr (Home home, const SetExpr &e) |
| Post set expression and return its value. More...
|
|
SetRel | operator== (const SetExpr &, const SetExpr &) |
| Equality of set expressions. More...
|
|
SetRel | operator!= (const SetExpr &, const SetExpr &) |
| Disequality of set expressions. More...
|
|
SetCmpRel | operator<= (const SetExpr &, const SetExpr &) |
| Subset of set expressions. More...
|
|
BoolExpr | operator<= (const SetCmpRel &, const SetExpr &) |
| Subset of set expressions. More...
|
|
SetCmpRel | operator>= (const SetExpr &, const SetExpr &) |
| Superset of set expressions. More...
|
|
BoolExpr | operator>= (const SetCmpRel &, const SetExpr &) |
| Superset of set expressions. More...
|
|
SetRel | operator|| (const SetExpr &, const SetExpr &) |
| Disjointness of set expressions. More...
|
|
BoolVar | channel (Home home, IntVar x, 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...
|
|
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<class T > |
T * | restart (T *s, const Search::Options &o=Search::Options::def) |
| Perform depth-first restart best solution search for subclass T of space s and options o. More...
|
|
void | branch (Home home, const SetVarArgs &x, SetVarBranch vars, SetValBranch vals, const VarBranchOptions &o_vars=VarBranchOptions::def, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Branch over x with variable selection vars and value selection vals. More...
|
|
void | branch (Home home, const SetVarArgs &x, const TieBreakVarBranch< SetVarBranch > &vars, SetValBranch vals, const TieBreakVarBranchOptions &o_vars=TieBreakVarBranchOptions::def, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Branch over x with tie-breaking variable selection vars and value selection vals. More...
|
|
void | assign (Home home, const SetVarArgs &x, SetAssign vals, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Assign all x with value selection vals. More...
|
|
void | branch (Home home, SetVar x, SetValBranch vals, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Branch over x with value selection vals. More...
|
|
void | assign (Home home, SetVar x, SetAssign vals, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| 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, SetVar s, IntVar x) |
| 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, SetVar x, SetRelType r, int i, int j) |
| Propagates . More...
|
|
void | dom (Home home, SetVar x, SetRelType r, const IntSet &s) |
| Propagates . More...
|
|
void | dom (Home home, SetVar x, SetRelType r, int i, BoolVar b) |
| Post propagator for . More...
|
|
void | dom (Home home, SetVar x, SetRelType r, int i, int j, BoolVar b) |
| Post propagator for . More...
|
|
void | dom (Home home, SetVar x, SetRelType r, const IntSet &s, BoolVar b) |
| Post propagator for . 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, BoolVar b) |
| 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, BoolVar b) |
| Post reified propagator for b iff x is the maximal element of s. 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 | weights (Home home, IntSharedArray elements, IntSharedArray weights, SetVar x, IntVar y) |
| Post propagator for . 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 > |
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 r, SetVar y, BoolVar b) |
| Post propagator for . More...
|
|
void | rel (Home home, SetVar s, SetRelType r, IntVar x, BoolVar b) |
| Post propagator for . More...
|
|
void | rel (Home home, IntVar x, SetRelType r, SetVar s, BoolVar b) |
| 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) |
|