Generated on Fri May 4 2012 13:51:37 for Gecode by doxygen 1.7.6.1
purge.hpp File Reference

(Revision: 12176)

Go to the source code of this file.

Namespaces

namespace  Gecode
 

Gecode toplevel namespace


namespace  Gecode::Int
 

Finite domain integers.


Functions

template<class OptTask , PropCond pc>
ExecStatus Gecode::Int::purge (Space &home, Propagator &p, TaskArray< OptTask > &t)
 Purge optional tasks that are excluded and possibly rewrite propagator.
template<class OptTask , PropCond pc, class Cap >
ExecStatus Gecode::Int::purge (Space &home, Propagator &p, TaskArray< OptTask > &t, Cap c)
 Purge optional tasks that are excluded and possibly rewrite propagator.