Deepsolver
Public Member Functions
AbstractTaskTranslatorOutput Class Reference
Inheritance diagram for AbstractTaskTranslatorOutput:
SatWriter TaskSolver TaskTranslatorOutputOptimization

List of all members.

Public Member Functions

virtual void notifyUnknownPackageToRemove (const std::string &packageName)=0
virtual void onBlockingByOtherVersion (VarId varId, VarId blockedBy)=0
virtual void onlyOneInstallAnyway (VarId varId1, VarId varId2)=0
virtual void onlyOneMayBeInstalled (VarId varId1, VarId varId2)=0
virtual void onUserTaskInstall (VarId varId)=0
virtual void onUserTaskRemove (VarId varId)=0
virtual void requiredOneAnyForPackage (VarId requiredBy, const VarIdVector &alternatives)=0
virtual bool wasConsideredInstallAnyway (VarId varId) const =0
virtual bool wasConsideredRemoveAnyway (VarId varId) const =0