Exception: Uninitialized cutoff for restart-based search More...
#include <search.hh>
Public Member Functions | |
UninitializedCutoff (const char *l) | |
Initialize with location l. |
Gecode::Search::UninitializedCutoff::UninitializedCutoff | ( | const char * | l | ) | [inline] |
Initialize with location l.
Definition at line 41 of file exception.hpp.