Finite domain integers.
The Gecode::Int namespace contains all functionality required to program propagators and branchings for finite domain integers. In addition, all propagators and branchings for finite domain integers provided by Gecode are contained as nested namespaces.
|
Classes |
class | VariableEmptyDomain |
| Exception: Variable created with empty domain More...
|
class | VariableOutOfRangeDomain |
| Exception: Variable created with values too large for domain More...
|
class | NumericalOverflow |
| Exception: Numerical overflow More...
|
class | ArgumentEmpty |
| Exception: No arguments available in argument array More...
|
class | ArgumentSizeMismatch |
| Exception: Arguments are of different size More...
|
class | ArgumentSame |
| Exception: Arguments contain same variable multiply More...
|
class | UnknownRelation |
| Exception: Unknown relation passed as argument More...
|
class | UnknownBranching |
| Exception: Unknown value or variable selection passed as argument More...
|
class | IntMeDiff |
| Modification event difference for Int-variable implementations. More...
|
class | IntVarImpBase |
| Base-class for Int-variable implementations. More...
|
class | IntVarImp |
| Integer variable implementation. More...
|
class | IntVarImpFwd |
| Range iterator for ranges of integer variable implementation. More...
|
class | IntVarImpBwd |
| Backward iterator for ranges of integer variable implementations. More...
|
class | ViewRanges< ConstIntView > |
| Range iterator for constant integer views More...
|
class | ViewRanges< IntView > |
| Range iterator for integer variable views More...
|
class | ViewRanges< MinusView > |
| Range iterator for minus integer views More...
|
class | ViewRanges< OffsetView > |
| Range iterator for offset integer views More...
|
class | ViewRanges< IntScaleView > |
| Range iterator for integer-precision scale integer views More...
|
class | ViewRanges< DoubleScaleView > |
| Range iterator for double-precision scale integer views More...
|
class | ViewRanges |
| Range iterator for integer views. More...
|
class | ViewValues |
| Value iterator for integer views. More...
|
class | IntView |
| Integer view for integer variables. More...
|
class | MinusView |
| Minus integer view. More...
|
class | OffsetView |
| Offset integer view. More...
|
class | ScaleView |
| Scale integer view (template). More...
|
class | ConstIntView |
| Constant integer view. More...
|
class | BoolView |
| Boolean view for integer variables. More...
|
class | NegBoolView |
| Negated Boolean view. More...
|
class | ViewRanges< GCC::CardView > |
| Range iterator for indexed problem variables More...
|
Namespaces |
namespace | Arithmetic |
| Numerical (arithmetic) propagators.
|
namespace | Bool |
| Boolean propagators.
|
namespace | Branch |
| Integer branchings.
|
namespace | Channel |
| Channel propagators
|
namespace | Count |
| Counting propagators.
|
namespace | Cumulatives |
| Cumulatives propagators
|
namespace | Distinct |
| Distinct propagators
|
namespace | Dom |
| Domain propagators.
|
namespace | Element |
| Element propagators
|
namespace | GCC |
| Global cardinality propagators.
|
namespace | Linear |
| Linear propagators
|
namespace | Regular |
| Regular propagators
|
namespace | Rel |
| Simple relation propagators.
|
namespace | Sortedness |
| Sortedness propagators
|
Typedefs |
typedef ScaleView< int, unsigned
int > | IntScaleView |
| Integer-precision integer scale view.
|
typedef ScaleView< double,
double > | DoubleScaleView |
| Double-precision integer scale view.
|
Enumerations |
enum | BoolTest { BT_NONE,
BT_SAME,
BT_COMP
} |
| Boolean tests. More...
|
enum | RelTest { RT_FALSE = 0,
RT_MAYBE = 1,
RT_TRUE = 2
} |
| Result of testing relation. More...
|
Functions |
std::ostream & | operator<< (std::ostream &os, GCC::CardView &v) |
| Debugging: print a cardinality variable.
|
BoolTest | bool_test (const BoolView &b0, const BoolView &b1) |
BoolTest | bool_test (const BoolView &b0, const NegBoolView &b1) |
BoolTest | bool_test (const NegBoolView &b0, const BoolView &b1) |
BoolTest | bool_test (const NegBoolView &b0, const NegBoolView &b1) |
| Test whether views b0 and b1 are the same.
|
template<class Val, class UnsVal> |
std::ostream & | print_scale (std::ostream &os, const ScaleView< Val, UnsVal > &x) |
template<class View> |
RelTest | rtest_eq_bnd (View x, View y) |
| Test whether views x and y are equal (use bounds information).
|
template<class View> |
RelTest | rtest_eq_dom_check (View x, View y) |
template<class View> |
RelTest | rtest_eq_dom (View x, View y) |
| Test whether views x and y are equal (use full domain information).
|
template<class View> |
RelTest | rtest_eq_bnd (View x, int n) |
| Test whether view x and integer n are equal (use bounds information).
|
template<class View> |
RelTest | rtest_eq_dom_check (View x, int n) |
template<class View> |
RelTest | rtest_eq_dom (View x, int n) |
| Test whether view x and integer n are equal (use full domain information).
|
template<class View> |
RelTest | rtest_nq_bnd (View x, View y) |
| Test whether views x and y are different (use bounds information).
|
template<class View> |
RelTest | rtest_nq_dom_check (View x, View y) |
template<class View> |
RelTest | rtest_nq_dom (View x, View y) |
| Test whether views x and y are different (use full domain information).
|
template<class View> |
RelTest | rtest_nq_bnd (View x, int n) |
| Test whether view x and integer n are different (use bounds information).
|
template<class View> |
RelTest | rtest_nq_dom_check (View x, int n) |
template<class View> |
RelTest | rtest_nq_dom (View x, int n) |
| Test whether view x and integer n are different (use full domain information).
|
template<class View> |
RelTest | rtest_lq (View x, int n) |
| Test whether view x is less or equal than integer n.
|
template<class View> |
RelTest | rtest_lq (View x, View y) |
| Test whether view x is less or equal than view y.
|
template<class View> |
RelTest | rtest_le (View x, int n) |
| Test whether view x is less than integer n.
|
template<class View> |
RelTest | rtest_le (View x, View y) |
| Test whether view x is less than view y.
|
template<class View> |
RelTest | rtest_gq (View x, int n) |
| Test whether view x is greater or equal than integer n.
|
template<class View> |
RelTest | rtest_gq (View x, View y) |
| Test whether view x is greater or equal than view y.
|
template<class View> |
RelTest | rtest_gr (View x, int n) |
| Test whether view x is greater than integer n.
|
template<class View> |
RelTest | rtest_gr (View x, View y) |
| Test whether view x is greater than view y.
|
Variables |
const Gecode::ModEvent | ME_INT_FAILED = Gecode::ME_GEN_FAILED |
| Domain operation has resulted in failure.
|
const Gecode::ModEvent | ME_INT_NONE = Gecode::ME_GEN_NONE |
| Domain operation has not changed domain.
|
const Gecode::ModEvent | ME_INT_VAL = Gecode::ME_GEN_ASSIGNED |
| Domain operation has resulted in a value (assigned variable).
|
const Gecode::ModEvent | ME_INT_BND = Gecode::ME_GEN_ASSIGNED + 1 |
| Domain operation has changed the minimum or maximum of the domain.
|
const Gecode::ModEvent | ME_INT_DOM = Gecode::ME_GEN_ASSIGNED + 2 |
| Domain operation has changed the domain.
|
const Gecode::PropCond | PC_INT_VAL = Gecode::PC_GEN_ASSIGNED |
| Propagate when a view becomes assigned (single value).
|
const Gecode::PropCond | PC_INT_BND = Gecode::PC_GEN_ASSIGNED + 1 |
| Propagate when minimum or maximum of a view changes.
|
const Gecode::PropCond | PC_INT_DOM = Gecode::PC_GEN_ASSIGNED + 2 |
| Propagate when domain changes.
|