43 :
Exception(l,
"Attempt to invoke operation on failed space") {}
46 :
Exception(l,
"Attempt to invoke operation on not stable space") {}
49 :
Exception(l,
"Copy constructor of space did not call base class copy constructor") {}
52 :
Exception(l,
"Attempt to commit with no brancher") {}
55 :
Exception(l,
"Attempt to commit with illegal alternative") {}
58 :
Exception(l,
"Too many groups created") {}
61 :
Exception(l,
"Unknown propagator (illegal id)") {}
64 :
Exception(l,
"Too many branchers created") {}
67 :
Exception(l,
"Unknown brancher (illegal id)") {}
70 :
Exception(l,
"Uninitialized AFC information for branching") {}
73 :
Exception(l,
"Uninitialized action information for branching") {}
76 :
Exception(l,
"Uninitialized CHB information for branching") {}
79 :
Exception(l,
"Uninitialized random generator for branching") {}
88 :
Exception(l,
"Attempt create more than one non-variable tracer") {}
SpaceNotCloned(const char *l)
Initialize with location l.
SpaceNotStable(const char *l)
Initialize with location l.
UninitializedAFC(const char *l)
Initialize with location l.
UninitializedRnd(const char *l)
Initialize with location l.
UnknownBrancher(const char *l)
Initialize with location l.
InvalidFunction(const char *l)
Initialize with location l.
UnknownPropagator(const char *l)
Initialize with location l.
UninitializedCHB(const char *l)
Initialize with location l.
SpaceIllegalAlternative(const char *l)
Initialize with location l.
IllegalDecay(const char *l)
Initialize with location l.
SpaceFailed(const char *l)
Initialize with location l.
MoreThanOneTracer(const char *l)
Initialize with location l.
Exception: Base-class for exceptions
UninitializedAction(const char *l)
Initialize with location l.
Gecode toplevel namespace
TooManyBranchers(const char *l)
Initialize with location l.
TooManyGroups(const char *l)
Initialize with location l.
SpaceNoBrancher(const char *l)
Initialize with location l.