Deepsolver
Classes | Public Member Functions
Deepsolver::PostponedRequire Class Reference

List of all members.

Classes

struct  Require

Public Member Functions

 PostponedRequire ()
 The default constructor.
void takeNewRequire (VarId varId, const VarIdVector &alternatives, const VarIdVector &installed)
void varIdAffected (VarId varId, AbstractTaskTranslatorOutput &output, VarIdVector &pending)
virtual ~PostponedRequire ()
 The destructor.