Clasp::ClaspFacade::Result Member List

This is the complete list of members for Clasp::ClaspFacade::Result, including all inherited members.

Base enum name	Clasp::ClaspFacade::Result
error() const	Clasp::ClaspFacade::Result	[inline]
exhausted() const	Clasp::ClaspFacade::Result	[inline]
Ext enum name	Clasp::ClaspFacade::Result
EXT_ERROR enum value	Clasp::ClaspFacade::Result
EXT_EXHAUST enum value	Clasp::ClaspFacade::Result
EXT_INTERRUPT enum value	Clasp::ClaspFacade::Result
flags	Clasp::ClaspFacade::Result
interrupted() const	Clasp::ClaspFacade::Result	[inline]
operator Base() const	Clasp::ClaspFacade::Result	[inline]
operator double() const	Clasp::ClaspFacade::Result	[inline]
sat() const	Clasp::ClaspFacade::Result	[inline]
SAT enum value	Clasp::ClaspFacade::Result
signal	Clasp::ClaspFacade::Result
unknown() const	Clasp::ClaspFacade::Result	[inline]
UNKNOWN enum value	Clasp::ClaspFacade::Result
unsat() const	Clasp::ClaspFacade::Result	[inline]
UNSAT enum value	Clasp::ClaspFacade::Result