Clasp::DefaultUnfoundedCheck::AddReasonLit Member List

This is the complete list of members for Clasp::DefaultUnfoundedCheck::AddReasonLit, including all inherited members.

operator()(Literal p, NodeId, bool) const	Clasp::DefaultUnfoundedCheck::AddReasonLit	[inline]
self	Clasp::DefaultUnfoundedCheck::AddReasonLit