139 :
Exception(l,
"Attempt to invoke operation on failed space") {}
143 :
Exception(l,
"Attempt to invoke operation on not stable space") {}
147 :
Exception(l,
"Copy constructor of space did not call base class copy constructor") {}
151 :
Exception(l,
"Attempt to commit with no brancher") {}
155 :
Exception(l,
"Attempt to commit with illegal alternative") {}
159 :
Exception(l,
"Too many branchers created") {}
163 :
Exception(l,
"Uninitialized random generator for branching") {}
171 :
Exception(l,
"Uninitialized AFC information for branching") {}
175 :
Exception(l,
"Uninitialized activity information for branching") {}
179 :
Exception(l,
"AFC has wrong number of variables") {}
183 :
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.
Exception: uninitialized AFC
Exception: uninitialized activity
Exception: Commit with illegal alternative
UninitializedRnd(const char *l)
Initialize with location l.
Exception: Operation on failed space invoked
Exception: AFC has wrong arity
Exception: Operation on not stable space invoked
SpaceIllegalAlternative(const char *l)
Initialize with location l.
Exception: uninitialized random number generator
UninitializedActivity(const char *l)
Initialize with location l.
Exception: Copy constructor did not call base class copy constructor
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: too many branchers
Exception: activity has wrong arity
Exception: Base-class for exceptions
AFCWrongArity(const char *l)
Initialize with location l.
Exception: Commit when no brancher present
Gecode toplevel namespace
#define GECODE_VTABLE_EXPORT
Exception: illegal decay factor
TooManyBranchers(const char *l)
Initialize with location l.
SpaceNoBrancher(const char *l)
Initialize with location l.