Deepsolver
TaskException Member List
This is the complete list of members for TaskException, including all inherited members.
DeepsolverException()DeepsolverException [inline]
getArg() const TaskException [inline]
getCode() const TaskException [inline]
getMessage() const TaskException [inline, virtual]
getType() const TaskException [inline, virtual]
NoRequestedPackage enum value (defined in TaskException)TaskException
NoSatSolution enum value (defined in TaskException)TaskException
TaskException(int code, const std::string &arg)TaskException [inline]
TaskException(int code)TaskException [inline]
UnknownPackageName enum value (defined in TaskException)TaskException
Unmet enum value (defined in TaskException)TaskException
UnsolvableSat enum value (defined in TaskException)TaskException
~DeepsolverException()DeepsolverException [inline, virtual]
~TaskException()TaskException [inline, virtual]