Clasp::DefaultUnfoundedCheck::AtomData Struct Reference

List of all members.

Public Member Functions
	AtomData ()
bool	hasSource () const
void	markSourceInvalid ()
void	resurrectSource ()
void	setSource (NodeId b)
NodeId	watch () const
Public Attributes
uint32	source: 29
uint32	todo: 1
uint32	ufs: 1
uint32	validS: 1
Static Public Attributes
static const uint32	nill_source = (uint32(1) << 29)-1

---

Detailed Description

Definition at line 132 of file unfounded_check.h.

---

Constructor & Destructor Documentation

Clasp::DefaultUnfoundedCheck::AtomData::AtomData

(

)

[inline]

Definition at line 133 of file unfounded_check.h.

---

Member Function Documentation

bool Clasp::DefaultUnfoundedCheck::AtomData::hasSource

(

)

const [inline]

Definition at line 137 of file unfounded_check.h.

void Clasp::DefaultUnfoundedCheck::AtomData::markSourceInvalid

(

)

[inline]

Definition at line 139 of file unfounded_check.h.

void Clasp::DefaultUnfoundedCheck::AtomData::resurrectSource

(

)

[inline]

Definition at line 141 of file unfounded_check.h.

void Clasp::DefaultUnfoundedCheck::AtomData::setSource

(

NodeId

b

)

[inline]

Definition at line 143 of file unfounded_check.h.

NodeId Clasp::DefaultUnfoundedCheck::AtomData::watch

(

)

const [inline]

Definition at line 135 of file unfounded_check.h.

---

Member Data Documentation

const uint32 Clasp::DefaultUnfoundedCheck::AtomData::nill_source = (uint32(1) << 29)-1 [static]

Definition at line 147 of file unfounded_check.h.

uint32 Clasp::DefaultUnfoundedCheck::AtomData::source

Definition at line 148 of file unfounded_check.h.

uint32 Clasp::DefaultUnfoundedCheck::AtomData::todo

Definition at line 149 of file unfounded_check.h.

uint32 Clasp::DefaultUnfoundedCheck::AtomData::ufs

Definition at line 150 of file unfounded_check.h.

uint32 Clasp::DefaultUnfoundedCheck::AtomData::validS

Definition at line 151 of file unfounded_check.h.

---

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

• unfounded_check.h