Deepsolver
Deepsolver::TaskException Member List
This is the complete list of members for Deepsolver::TaskException, including all inherited members.
AbstractException()Deepsolver::AbstractException [inline]
accept(ExceptionVisitor &visitor) const Deepsolver::TaskException [inline, virtual]
CodeCount enum value (defined in Deepsolver::TaskException)Deepsolver::TaskException
Contradiction enum value (defined in Deepsolver::TaskException)Deepsolver::TaskException
getCode() const Deepsolver::TaskException [inline]
getMessage() const Deepsolver::TaskException [virtual]
getParam() const Deepsolver::TaskException [inline]
getType() const Deepsolver::TaskException [inline, virtual]
TaskException(int code, const std::string &param)Deepsolver::TaskException [inline]
TaskException(int code)Deepsolver::TaskException [inline]
UnknownPkg enum value (defined in Deepsolver::TaskException)Deepsolver::TaskException
Unmet enum value (defined in Deepsolver::TaskException)Deepsolver::TaskException
UnsolvableSat enum value (defined in Deepsolver::TaskException)Deepsolver::TaskException
~AbstractException()Deepsolver::AbstractException [inline, virtual]
~TaskException()Deepsolver::TaskException [inline, virtual]