Clasp::DefaultUnfoundedCheck::InitExtWatches Struct Reference

List of all members.

Public Member Functions
void	operator() (Literal p, uint32 idx, bool ext) const
Public Attributes
const BodyPtr *	B
ExtData *	extra
DefaultUnfoundedCheck *	self

---

Detailed Description

Definition at line 188 of file unfounded_check.h.

---

Member Function Documentation

void Clasp::DefaultUnfoundedCheck::InitExtWatches::operator()	(	Literal	p,
		uint32	idx,
		bool	ext
	)		const [inline]

Definition at line 189 of file unfounded_check.h.

---

Member Data Documentation

const BodyPtr* Clasp::DefaultUnfoundedCheck::InitExtWatches::B

Definition at line 196 of file unfounded_check.h.

ExtData* Clasp::DefaultUnfoundedCheck::InitExtWatches::extra

Definition at line 197 of file unfounded_check.h.

DefaultUnfoundedCheck* Clasp::DefaultUnfoundedCheck::InitExtWatches::self

Definition at line 195 of file unfounded_check.h.

---

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

• unfounded_check.h