Integer exceptions
[Gecode exceptions]

Classes
class	Gecode::Int::OutOfLimits
	Exception: Value out of limits More...
class	Gecode::Int::NotZeroOne
	Exception: Not 0/1 integer More...
class	Gecode::Int::VariableEmptyDomain
	Exception: Variable created with empty domain More...
class	Gecode::Int::TooFewArguments
	Exception: Too few arguments available in argument array More...
class	Gecode::Int::ArgumentSizeMismatch
	Exception: Arguments are of different size More...
class	Gecode::Int::ArgumentSame
	Exception: Arguments contain same variable multiply More...
class	Gecode::Int::UnknownRelation
	Exception: Unknown relation passed as argument More...
class	Gecode::Int::UnknownOperation
	Exception: Unknown operation passed as argument More...
class	Gecode::Int::IllegalOperation
	Exception: Illegal operation passed as argument More...
class	Gecode::Int::UnknownBranching
	Exception: Unknown value or variable selection passed as argument More...
class	Gecode::Int::UnknownReifyMode
	Exception: Unknown reification mode passed as argument More...
class	Gecode::Int::ValOfUnassignedVar
	Exception: Attempt to access value of unassigned variable More...
class	Gecode::Int::NotYetFinalized
	Exception: Tuple set not yet finalized More...
class	Gecode::Int::LDSBUnbranchedVariable
	Exception: Variable in symmetry not branched on More...
class	Gecode::Int::LDSBBadValueSelection
	Exception: Value selection incompatible with LDSB More...