Finite domain integers.
|
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 | OnlyInequalityRelations |
| Exception: Only inequality relations are supported More...
|
class | UnknownRelation |
| Exception: Unknown relation passed as argument More...
|
class | UnknownBranching |
| Exception: Unknown value or variable selection passed as argument 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::IdxView > |
| Range iterator for indexed problem variables More...
|
Namespaces |
namespace | Arithmetic |
| Numerical (arithmetic) propagators.
|
namespace | Bool |
| Boolean propagators.
|
namespace | Branch |
| Integer branchings.
|
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 |
bool | same (const GCC::IdxView &x, const GCC::IdxView &y) |
bool | before (const GCC::IdxView &x, const GCC::IdxView &y) |
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 ModEvent | ME_INT_FAILED = ME_GEN_FAILED |
| Domain operation has resulted in failure.
|
const ModEvent | ME_INT_NONE = ME_GEN_NONE |
| Domain operation has not changed domain.
|
const ModEvent | ME_INT_VAL = ME_GEN_ASSIGNED |
| Domain operation has resulted in a value (assigned variable).
|
const ModEvent | ME_INT_BND = ME_INT_VAL + 1 |
| Domain operation has changed the minimum or maximum of the domain.
|
const ModEvent | ME_INT_DOM = ME_INT_BND + 1 |
| Domain operation has changed the domain.
|
const PropCond | PC_INT_VAL = PC_GEN_ASSIGNED |
| Propagate when a view becomes assigned (single value).
|
const PropCond | PC_INT_BND = PC_INT_VAL + 1 |
| Propagate when minimum or maximum of a view changes.
|
const PropCond | PC_INT_DOM = PC_INT_BND + 1 |
| Propagate when domain changes.
|