Clasp::ClauseCreator::Result Member List

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

local	Clasp::ClauseCreator::Result
ok() const	Clasp::ClauseCreator::Result	[inline]
operator bool() const	Clasp::ClauseCreator::Result	[inline]
Result(ClauseHead *loc=0, Status st=status_open)	Clasp::ClauseCreator::Result	[inline, explicit]
status	Clasp::ClauseCreator::Result
unit() const	Clasp::ClauseCreator::Result	[inline]