template<template< class > class E, class T>
class Gecode::RBS< E, T >
Meta-engine performing restart-based search.
The engine uses the Cutoff sequence supplied in the options o to periodically restart the search of engine E.
The class T can implement member functions
virtual void master(
unsigned long int i,
const Space* s)
and
virtual void slave(unsigned long int i, const Space* s)
Whenever exploration restarts or a solution is found, the engine executes the functions on the master and slave space. For more details, consult "Modeling and Programming
with Gecode".
Definition at line 231 of file search.hh.