Clasp::ClauseHead::Data::LocalClause Member List

This is the complete list of members for Clasp::ClauseHead::Data::LocalClause, including all inherited members.

clearContracted()	Clasp::ClauseHead::Data::LocalClause	[inline]
contracted() const	Clasp::ClauseHead::Data::LocalClause	[inline]
idx	Clasp::ClauseHead::Data::LocalClause
init(uint32 size)	Clasp::ClauseHead::Data::LocalClause	[inline]
isSmall() const	Clasp::ClauseHead::Data::LocalClause	[inline]
markContracted()	Clasp::ClauseHead::Data::LocalClause	[inline]
markStrengthened()	Clasp::ClauseHead::Data::LocalClause	[inline]
setSize(uint32 size)	Clasp::ClauseHead::Data::LocalClause	[inline]
size() const	Clasp::ClauseHead::Data::LocalClause	[inline]
sizeExt	Clasp::ClauseHead::Data::LocalClause
strengthened() const	Clasp::ClauseHead::Data::LocalClause	[inline]