Generated on Tue May 22 09:41:38 2018 for Gecode by doxygen 1.6.3

Gecode::Search::UninitializedCutoff Class Reference
[%Search exceptions]

Exception: Uninitialized cutoff for restart-based search More...

#include <exception.hpp>

List of all members.

Public Member Functions

 UninitializedCutoff (const char *l)
 Initialize with location l.

Detailed Description

Exception: Uninitialized cutoff for restart-based search

Definition at line 42 of file exception.hpp.


Constructor & Destructor Documentation

Gecode::Search::UninitializedCutoff::UninitializedCutoff ( const char *  l  ) 

Initialize with location l.

Definition at line 38 of file exception.cpp.


The documentation for this class was generated from the following files: