39 :
Exception(l,
"Attempt to invoke operation on failed space") {}
42 :
Exception(l,
"Attempt to invoke operation on not stable space") {}
45 :
Exception(l,
"Copy constructor of space did not call base class copy constructor") {}
48 :
Exception(l,
"Attempt to commit with no brancher") {}
51 :
Exception(l,
"Attempt to commit with illegal alternative") {}
54 :
Exception(l,
"Too many groups created") {}
57 :
Exception(l,
"Unknown propagator (illegal id)") {}
60 :
Exception(l,
"Too many branchers created") {}
63 :
Exception(l,
"Unknown brancher (illegal id)") {}
66 :
Exception(l,
"Uninitialized AFC information for branching") {}
69 :
Exception(l,
"Uninitialized action information for branching") {}
72 :
Exception(l,
"Uninitialized CHB information for branching") {}
75 :
Exception(l,
"Uninitialized random generator for branching") {}
84 :
Exception(l,
"Attempt create more than one non-variable tracer") {}
Exception(const char *l, const char *i)
Initialize with location l and information i.
IllegalDecay(const char *l)
Initialize with location l.
InvalidFunction(const char *l)
Initialize with location l.
MoreThanOneTracer(const char *l)
Initialize with location l.
SpaceFailed(const char *l)
Initialize with location l.
SpaceIllegalAlternative(const char *l)
Initialize with location l.
SpaceNoBrancher(const char *l)
Initialize with location l.
SpaceNotCloned(const char *l)
Initialize with location l.
SpaceNotStable(const char *l)
Initialize with location l.
TooManyBranchers(const char *l)
Initialize with location l.
TooManyGroups(const char *l)
Initialize with location l.
UninitializedAFC(const char *l)
Initialize with location l.
UninitializedAction(const char *l)
Initialize with location l.
UninitializedCHB(const char *l)
Initialize with location l.
UninitializedRnd(const char *l)
Initialize with location l.
UnknownBrancher(const char *l)
Initialize with location l.
UnknownPropagator(const char *l)
Initialize with location l.
Gecode toplevel namespace