Clasp::DefaultUnfoundedCheck::ExtData Struct Reference

List of all members.

Public Member Functions
bool	addToWs (uint32 idx, weight_t w)
	ExtData (weight_t bound, uint32 preds)
bool	inWs (uint32 idx) const
void	removeFromWs (uint32 idx, weight_t w)
Static Public Member Functions
static uint32	flagSize (uint32 preds)
Public Attributes
uint32	flags [0]
weight_t	lower

---

Detailed Description

Definition at line 105 of file unfounded_check.h.

---

Constructor & Destructor Documentation

Clasp::DefaultUnfoundedCheck::ExtData::ExtData	(	weight_t	bound,
		uint32	preds
	)		[inline]

Definition at line 106 of file unfounded_check.h.

---

Member Function Documentation

bool Clasp::DefaultUnfoundedCheck::ExtData::addToWs	(	uint32	idx,
		weight_t	w
	)		[inline]

Definition at line 109 of file unfounded_check.h.

static uint32 Clasp::DefaultUnfoundedCheck::ExtData::flagSize

(

uint32

preds

)

[inline, static]

Definition at line 127 of file unfounded_check.h.

bool Clasp::DefaultUnfoundedCheck::ExtData::inWs

(

uint32

idx

)

const [inline]

Definition at line 116 of file unfounded_check.h.

void Clasp::DefaultUnfoundedCheck::ExtData::removeFromWs	(	uint32	idx,
		weight_t	w
	)		[inline]

Definition at line 121 of file unfounded_check.h.

---

Member Data Documentation

uint32 Clasp::DefaultUnfoundedCheck::ExtData::flags[0]

Definition at line 129 of file unfounded_check.h.

weight_t Clasp::DefaultUnfoundedCheck::ExtData::lower

Definition at line 128 of file unfounded_check.h.

---

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

• unfounded_check.h