Search exceptions
[Gecode exceptions]
Classes | |
class | Gecode::Search::UninitializedCutoff |
Exception: Uninitialized cutoff for restart-based search More... |
Classes | |
class | Gecode::Search::UninitializedCutoff |
Exception: Uninitialized cutoff for restart-based search More... |