Gecode::Int Namespace Reference

---

Detailed Description

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	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	UnknownBoolOp
	Exception: Unknown Boolean 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	ViewRanges< GCC::CardView >
	Range iterator for indexed problem variables 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< NegBoolView >
	Range iterator for negated 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< 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	IntVarImpConf
	Dummy configuration for Int-variable implementations. More...
class	BoolVarImpConf
	Dummy configuration for Bool-variable implementations. More...
Namespaces
namespace	Arithmetic
	Numerical (arithmetic) propagators.
namespace	Bool
	Boolean propagators.
namespace	Branch
	Integer branchings.
namespace	Channel
	Channel propagators
namespace	Circuit
	Circuit propagators
namespace	Count
	Counting propagators.
namespace	Cumulatives
	Cumulatives propagators
namespace	Distinct
	Distinct propagators
namespace	Dom
	Domain propagators.
namespace	Element
	Element propagators
namespace	Extensional
	Extensional propagators
namespace	GCC
	Global cardinality propagators.
namespace	Linear
	Linear propagators
namespace	Rel
	Simple relation propagators.
namespace	Sorted
	Sorted propagators
namespace	Unshare
	Unsharing shared variables.
namespace	Limits
	Numerical limits for integer variables.
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	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
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.

---

Typedef Documentation

typedef unsigned int Gecode::Int::BoolStatus

Type for status of a Boolean variable.

Definition at line 496 of file var-imp.icc.

---

Enumeration Type Documentation

enum Gecode::Int::BoolTest

Boolean tests.

Enumerator:

BT_NONE	No sharing.
BT_SAME	Same variable.
BT_COMP	Same variable but complement.

Definition at line 1726 of file view.icc.

---

Function Documentation

BoolTest Gecode::Int::bool_test	(	const BoolView &	b0,
		const BoolView &	b1
	)			[related]

Definition at line 577 of file bool.icc.

BoolTest Gecode::Int::bool_test	(	const BoolView &	b0,
		const NegBoolView &	b1
	)			[related]

Definition at line 581 of file bool.icc.

BoolTest Gecode::Int::bool_test	(	const NegBoolView &	b0,
		const BoolView &	b1
	)			[related]

Definition at line 585 of file bool.icc.

BoolTest Gecode::Int::bool_test	(	const NegBoolView &	b0,
		const NegBoolView &	b1
	)			[related]

Test whether views b0 and b1 are the same.

Definition at line 590 of file bool.icc.

template<class Val, class UnsVal>

std::ostream& Gecode::Int::print_scale	(	std::ostream &	os,
		const ScaleView< Val, UnsVal > &	x
	)			[inline]

Definition at line 68 of file print.cc.

template<class View>

RelTest Gecode::Int::rtest_eq_dom_check	(	View	x,
		View	y
	)			[inline]

Definition at line 54 of file rtest.icc.

template<class View>

RelTest Gecode::Int::rtest_eq_dom_check	(	View	x,
		int	n
	)			[inline]

Definition at line 84 of file rtest.icc.

template<class View>

RelTest Gecode::Int::rtest_nq_dom_check	(	View	x,
		View	y
	)			[inline]

Definition at line 114 of file rtest.icc.

template<class View>

RelTest Gecode::Int::rtest_nq_dom_check	(	View	x,
		int	n
	)			[inline]

Definition at line 144 of file rtest.icc.