42 :
Exception(l,
"Attempt to create variable with empty domain") {}
45 :
Exception(l,
"Not a zero/one integer value") {}
48 :
Exception(l,
"Passed argument array has too few elements") {}
51 :
Exception(l,
"Sizes of argument arrays mismatch") {}
54 :
Exception(l,
"Argument array contains same variable multiply") {}
60 :
Exception(l,
"Unknown operation type") {}
63 :
Exception(l,
"Illegal operation type") {}
66 :
Exception(l,
"Unknown branching type") {}
69 :
Exception(l,
"Unknown reification mode") {}
72 :
Exception(l,
"Attempt to access value of unassigned variable") {}
75 :
Exception(l,
"Attempt to use uninitialized tuple set") {}
78 :
Exception(l,
"Tuple set not yet finalized") {}
81 :
Exception(l,
"Tuple set already finalized") {}
84 :
Exception(l,
"Variable in symmetry not branched on") {}
87 :
Exception(l,
"Value selection incomatible with LDSB") {}
Exception(const char *l, const char *i)
Initialize with location l and information i.
AlreadyFinalized(const char *l)
Initialize with location l.
ArgumentSame(const char *l)
Initialize with location l.
ArgumentSizeMismatch(const char *l)
Initialize with location l.
IllegalOperation(const char *l)
Initialize with location l.
LDSBBadValueSelection(const char *l)
Initialize with location l.
LDSBUnbranchedVariable(const char *l)
Initialize with location l.
NotYetFinalized(const char *l)
Initialize with location l.
NotZeroOne(const char *l)
Initialize with location l.
OutOfLimits(const char *l)
Initialize with location l.
TooFewArguments(const char *l)
Initialize with location l.
UninitializedTupleSet(const char *l)
Initialize with location l.
UnknownBranching(const char *l)
Initialize with location l.
UnknownOperation(const char *l)
Initialize with location l.
UnknownReifyMode(const char *l)
Initialize with location l.
UnknownRelation(const char *l)
Initialize with location l.
ValOfUnassignedVar(const char *l)
Initialize with location l.
VariableEmptyDomain(const char *l)
Initialize with location l.
Gecode toplevel namespace