afc.hpp File Reference

(Revision: 14124)

Go to the source code of this file.

Classes
class	Gecode::AFC
	Class for AFC (accumulated failure count) management. 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 AFC &a)