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::UnknownBoolOp
	Exception: Unknown Boolean operation passed as argument More...
class	Gecode::Int::UnknownBranching
	Exception: Unknown value or variable selection passed as argument More...
class	Gecode::Int::ValOfUnassignedVar
	Exception: Attempt to access value of unassigned variable More...