Clasp::ClauseWatch::EqHead Member List

This is the complete list of members for Clasp::ClauseWatch::EqHead, including all inherited members.

EqHead(ClauseHead *h)	Clasp::ClauseWatch::EqHead	[inline, explicit]
head	Clasp::ClauseWatch::EqHead
operator()(const ClauseWatch &w) const	Clasp::ClauseWatch::EqHead	[inline]