Generated on Mon May 30 22:31:52 2016 for Gecode by doxygen 1.6.1

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


Functions

template<class Char , class Traits >
std::basic_ostream< Char,
Traits > & 
Gecode::operator<< (std::basic_ostream< Char, Traits > &os, const Activity &a)