Deepsolver
Classes | Public Member Functions
PostponedRequire Class Reference

List of all members.

Classes

struct  Require

Public Member Functions

void takeNewRequire (VarId varId, const VarIdVector &alternatives, const VarIdVector &installed)
void varIdAffected (VarId varId, AbstractTaskTranslatorOutput &output, VarIdVector &pending)