Gecode::Int Namespace Reference
Finite domain integers. More...
Namespaces | |
namespace | Arithmetic |
Numerical (arithmetic) propagators. | |
namespace | BinPacking |
Bin-packing propagators | |
namespace | Bool |
Boolean propagators. | |
namespace | Branch |
Integer branchers. | |
namespace | Channel |
Channel propagators | |
namespace | Count |
Counting propagators. | |
namespace | Distinct |
Distinct propagators | |
namespace | Dom |
Domain propagators. | |
namespace | Element |
Element propagators | |
namespace | Exec |
Synchronized execution. | |
namespace | Extensional |
Extensional propagators | |
namespace | GCC |
Global cardinality propagators (Counting) | |
namespace | Linear |
Linear propagators | |
namespace | Rel |
Simple relation propagators. | |
namespace | Sequence |
Sequence propagators | |
namespace | Sorted |
Sorted propagators | |
namespace | Unshare |
Unsharing shared variables. | |
namespace | Limits |
Numerical limits for integer variables. | |
Classes | |
class | OutOfLimits |
Exception: Value out of limits More... | |
class | NotZeroOne |
Exception: Not 0/1 integer More... | |
class | VariableEmptyDomain |
Exception: Variable created with empty domain More... | |
class | TooFewArguments |
Exception: Too few 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 | UnknownOperation |
Exception: Unknown operation passed as argument More... | |
class | IllegalOperation |
Exception: Illegal operation passed as argument More... | |
class | UnknownBranching |
Exception: Unknown value or variable selection passed as argument More... | |
class | ValOfUnassignedVar |
Exception: Attempt to access value of unassigned variable More... | |
class | NotYetFinalized |
Exception: Tuple set not yet finalized More... | |
class | ViewRanges< GCC::CardView > |
Range iterator for indexed problem variables More... | |
class | ReUnaryPropagator |
Reified unary propagator. More... | |
class | ReBinaryPropagator |
Reified binary propagator. More... | |
class | ReMixBinaryPropagator |
Reified mixed binary propagator. More... | |
class | SupportValues |
Support value iterator and recorder More... | |
class | IntDelta |
Integer delta information for advisors. 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 | BoolVarImp |
Boolean variable implementation. More... | |
class | ViewRanges< BoolView > |
Range iterator for Boolean variable views 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< NegBoolView > |
Range iterator for negated Boolean variable 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< ZeroIntView > |
Range iterator for constant 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 | ZeroIntView |
Zero integer view. More... | |
class | BoolView |
Boolean view for Boolean variables. More... | |
class | NegBoolView |
Negated Boolean view. More... | |
class | IntVarImpBase |
Base-class for Int-variable implementations. More... | |
class | BoolVarImpBase |
Base-class for Bool-variable implementations. More... | |
class | IntVarImpConf |
Configuration for Int-variable implementations. More... | |
class | BoolVarImpConf |
Configuration for Bool-variable implementations. More... | |
Typedefs | |
typedef unsigned int | BoolStatus |
Type for status of a Boolean variable. | |
typedef ScaleView< int, unsigned int > | IntScaleView |
Integer-precision integer scale view. | |
typedef ScaleView< double, double > | DoubleScaleView |
Double-precision integer scale view. | |
Enumerations | |
enum | RelTest { RT_FALSE = 0, RT_MAYBE = 1, RT_TRUE = 2 } |
Result of testing relation. More... | |
enum | BoolTest { BT_NONE, BT_SAME, BT_COMP } |
Boolean tests. More... | |
Functions | |
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) |
bool | same (const ConstIntView &x, const ConstIntView &y) |
bool | before (const ConstIntView &x, const ConstIntView &y) |
bool | same (const OffsetView &x, const OffsetView &y) |
bool | before (const OffsetView &x, const OffsetView &y) |
template<class Char , class Traits , class View > | |
std::basic_ostream< Char, Traits > & | print_view (std::basic_ostream< Char, Traits > &os, const View &x) |
template<class Char , class Traits , class Val , class UnsVal > | |
std::basic_ostream< Char, Traits > & | print_scale (std::basic_ostream< Char, Traits > &os, const ScaleView< Val, UnsVal > &x) |
template<class Char , class Traits > | |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const IntView &x) |
template<class Char , class Traits > | |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const MinusView &x) |
template<class Char , class Traits > | |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const OffsetView &x) |
template<class Char , class Traits > | |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const IntScaleView &x) |
template<class Char , class Traits > | |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const ConstIntView &x) |
template<class Char , class Traits > | |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const ZeroIntView &) |
template<class Char , class Traits > | |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const BoolView &x) |
template<class Char , class Traits > | |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const NegBoolView &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. | |
template<class Val , class UnsVal > | |
bool | same (const ScaleView< Val, UnsVal > &x, const ScaleView< Val, UnsVal > &y) |
template<class Val , class UnsVal > | |
bool | before (const ScaleView< Val, UnsVal > &x, const ScaleView< Val, UnsVal > &y) |
bool | same (const ZeroIntView &, const ZeroIntView &) |
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_NONE = Gecode::PC_GEN_NONE |
Propagation condition to be ignored (convenience) | |
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. | |
const Gecode::ModEvent | ME_BOOL_FAILED = Gecode::ME_GEN_FAILED |
Domain operation has resulted in failure. | |
const Gecode::ModEvent | ME_BOOL_NONE = Gecode::ME_GEN_NONE |
Domain operation has not changed domain. | |
const Gecode::ModEvent | ME_BOOL_VAL = Gecode::ME_GEN_ASSIGNED |
Domain operation has resulted in a value (assigned variable) | |
const Gecode::PropCond | PC_BOOL_NONE = Gecode::PC_GEN_NONE |
Propagation condition to be ignored (convenience) | |
const Gecode::PropCond | PC_BOOL_VAL = Gecode::PC_GEN_ASSIGNED |
Propagate when a view becomes assigned (single value) |
Detailed Description
Finite domain integers.
The Gecode::Int namespace contains all functionality required to program propagators and branchers for finite domain integers. In addition, all propagators and branchers for finite domain integers provided by Gecode are contained as nested namespaces.
Typedef Documentation
typedef unsigned int Gecode::Int::BoolStatus |
Type for status of a Boolean variable.
Definition at line 479 of file var-imp.hpp.
Enumeration Type Documentation
Function Documentation
BoolTest Gecode::Int::bool_test | ( | const BoolView & | b0, |
const BoolView & | b1 | ||
) | [related] |
Definition at line 45 of file bool-test.hpp.
BoolTest Gecode::Int::bool_test | ( | const BoolView & | b0, |
const NegBoolView & | b1 | ||
) | [related] |
Definition at line 49 of file bool-test.hpp.
BoolTest Gecode::Int::bool_test | ( | const NegBoolView & | b0, |
const BoolView & | b1 | ||
) | [related] |
Definition at line 53 of file bool-test.hpp.
BoolTest Gecode::Int::bool_test | ( | const NegBoolView & | b0, |
const NegBoolView & | b1 | ||
) | [related] |
Definition at line 57 of file bool-test.hpp.
bool Gecode::Int::same | ( | const ConstIntView & | x, |
const ConstIntView & | y | ||
) | [related] |
Definition at line 313 of file constint.hpp.
bool Gecode::Int::before | ( | const ConstIntView & | x, |
const ConstIntView & | y | ||
) | [related] |
Definition at line 317 of file constint.hpp.
bool Gecode::Int::same | ( | const OffsetView & | x, |
const OffsetView & | y | ||
) | [related] |
Definition at line 291 of file offset.hpp.
bool Gecode::Int::before | ( | const OffsetView & | x, |
const OffsetView & | y | ||
) | [related] |
Definition at line 295 of file offset.hpp.
std::basic_ostream<Char,Traits>& Gecode::Int::print_view | ( | std::basic_ostream< Char, Traits > & | os, |
const View & | x | ||
) |
std::basic_ostream<Char,Traits>& Gecode::Int::print_scale | ( | std::basic_ostream< Char, Traits > & | os, |
const ScaleView< Val, UnsVal > & | x | ||
) |
std::basic_ostream<Char,Traits>& Gecode::Int::operator<< | ( | std::basic_ostream< Char, Traits > & | os, |
const IntView & | x | ||
) | [related] |
std::basic_ostream<Char,Traits>& Gecode::Int::operator<< | ( | std::basic_ostream< Char, Traits > & | os, |
const MinusView & | x | ||
) | [related] |
std::basic_ostream<Char,Traits>& Gecode::Int::operator<< | ( | std::basic_ostream< Char, Traits > & | os, |
const OffsetView & | x | ||
) | [related] |
std::basic_ostream< Char, Traits > & Gecode::Int::operator<< | ( | std::basic_ostream< Char, Traits > & | os, |
const IntScaleView & | x | ||
) | [related] |
std::basic_ostream<Char,Traits>& Gecode::Int::operator<< | ( | std::basic_ostream< Char, Traits > & | os, |
const ConstIntView & | x | ||
) | [related] |
std::basic_ostream<Char,Traits>& Gecode::Int::operator<< | ( | std::basic_ostream< Char, Traits > & | os, |
const ZeroIntView & | |||
) | [inline] |
std::basic_ostream<Char,Traits>& Gecode::Int::operator<< | ( | std::basic_ostream< Char, Traits > & | os, |
const BoolView & | x | ||
) | [related] |
std::basic_ostream<Char,Traits>& Gecode::Int::operator<< | ( | std::basic_ostream< Char, Traits > & | os, |
const NegBoolView & | x | ||
) | [related] |
RelTest Gecode::Int::rtest_eq_dom_check | ( | View | x, |
View | y | ||
) |
Definition at line 54 of file rel-test.hpp.
RelTest Gecode::Int::rtest_eq_dom_check | ( | View | x, |
int | n | ||
) |
Definition at line 84 of file rel-test.hpp.
RelTest Gecode::Int::rtest_nq_dom_check | ( | View | x, |
View | y | ||
) | [inline] |
Definition at line 114 of file rel-test.hpp.
RelTest Gecode::Int::rtest_nq_dom_check | ( | View | x, |
int | n | ||
) | [inline] |
Definition at line 144 of file rel-test.hpp.
bool Gecode::Int::same | ( | const ScaleView< Val, UnsVal > & | x, |
const ScaleView< Val, UnsVal > & | y | ||
) | [related] |
bool Gecode::Int::before | ( | const ScaleView< Val, UnsVal > & | x, |
const ScaleView< Val, UnsVal > & | y | ||
) | [related] |