40 namespace Gecode {
namespace Int {
46 :
Exception(l,
"Attempt to create variable with empty domain") {}
49 :
Exception(l,
"Not a zero/one integer value") {}
52 :
Exception(l,
"Passed argument array has too few elements") {}
55 :
Exception(l,
"Sizes of argument arrays mismatch") {}
58 :
Exception(l,
"Argument array contains same variable multiply") {}
64 :
Exception(l,
"Unknown operation type") {}
67 :
Exception(l,
"Illegal operation type") {}
70 :
Exception(l,
"Unknown branching type") {}
73 :
Exception(l,
"Unknown reification mode") {}
76 :
Exception(l,
"Attempt to access value of unassigned variable") {}
79 :
Exception(l,
"Attempt to use uninitialized tuple set") {}
82 :
Exception(l,
"Tuple set not yet finalized") {}
85 :
Exception(l,
"Tuple set already finalized") {}
88 :
Exception(l,
"Variable in symmetry not branched on") {}
91 :
Exception(l,
"Value selection incomatible with LDSB") {}
ArgumentSame(const char *l)
Initialize with location l.
VariableEmptyDomain(const char *l)
Initialize with location l.
UnknownRelation(const char *l)
Initialize with location l.
UnknownReifyMode(const char *l)
Initialize with location l.
ArgumentSizeMismatch(const char *l)
Initialize with location l.
UninitializedTupleSet(const char *l)
Initialize with location l.
UnknownBranching(const char *l)
Initialize with location l.
LDSBUnbranchedVariable(const char *l)
Initialize with location l.
OutOfLimits(const char *l)
Initialize with location l.
TooFewArguments(const char *l)
Initialize with location l.
ValOfUnassignedVar(const char *l)
Initialize with location l.
AlreadyFinalized(const char *l)
Initialize with location l.
UnknownOperation(const char *l)
Initialize with location l.
NotZeroOne(const char *l)
Initialize with location l.
Exception: Base-class for exceptions
IllegalOperation(const char *l)
Initialize with location l.
NotYetFinalized(const char *l)
Initialize with location l.
Gecode toplevel namespace
LDSBBadValueSelection(const char *l)
Initialize with location l.