Clasp::DefaultUnfoundedCheck::AddReasonLit Struct Reference

List of all members.

Public Member Functions
void	operator() (Literal p, NodeId, bool) const
Public Attributes
DefaultUnfoundedCheck *	self

---

Detailed Description

Definition at line 244 of file unfounded_check.h.

---

Member Function Documentation

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

Definition at line 245 of file unfounded_check.h.

---

Member Data Documentation

DefaultUnfoundedCheck* Clasp::DefaultUnfoundedCheck::AddReasonLit::self

Definition at line 246 of file unfounded_check.h.

---

The documentation for this struct was generated from the following file:

• unfounded_check.h