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 random generator for branching") {}
76 :
Exception(l,
"Uninitialized AFC information for branching") {}
79 :
Exception(l,
"Uninitialized activity information for branching") {}
82 :
Exception(l,
"AFC has wrong number of variables") {}
85 :
Exception(l,
"Activity has wrong number of variables") {}
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.
UnknownPropagator(const char *l)
Initialize with location l.
SpaceIllegalAlternative(const char *l)
Initialize with location l.
UninitializedActivity(const char *l)
Initialize with location l.
ActivityWrongArity(const char *l)
Initialize with location l.
IllegalDecay(const char *l)
Initialize with location l.
SpaceFailed(const char *l)
Initialize with location l.
Exception: Base-class for exceptions
AFCWrongArity(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.