activity.hpp File Reference
(Revision: 13949)
Go to the source code of this file.
Classes | |
class | Gecode::Activity |
Class for activity management. More... | |
class | Gecode::Activity::Storage |
Object for storing activity values. More... | |
class | Gecode::Activity::Recorder< View > |
Propagator for recording activity information. More... | |
class | Gecode::Activity::Recorder< View >::Idx |
Advisor with index and change information. More... | |
Namespaces | |
namespace | Gecode |
Gecode toplevel namespace |