Clasp::SatElite::SatElite::OccurList Struct Reference

List of all members.

Public Member Functions
void	add (uint32 id, bool sign)
void	addWatch (uint32 clId)
ClRange	clauseRange () const
void	clear ()
uint32	cost () const
void	mark (bool sign)
bool	marked (bool sign) const
uint32	numOcc () const
	OccurList ()
void	remove (uint32 id, bool sign, bool updateClauseList)
void	removeWatch (uint32 clId)
void	unmark ()
Public Attributes
uint32	bce:1
uint32	dirty:1
uint32	litMark:2
uint32	neg:30
uint32	pos:30
ClWList	refs

---

Detailed Description

Definition at line 73 of file satelite.h.

---

Constructor & Destructor Documentation

Clasp::SatElite::SatElite::OccurList::OccurList

(

)

[inline]

Definition at line 74 of file satelite.h.

---

Member Function Documentation

void Clasp::SatElite::SatElite::OccurList::add	(	uint32	id,
		bool	sign
	)		[inline]

Definition at line 91 of file satelite.h.

void Clasp::SatElite::SatElite::OccurList::addWatch

(

uint32

clId

)

[inline]

Definition at line 89 of file satelite.h.

ClRange Clasp::SatElite::SatElite::OccurList::clauseRange

(

)

const [inline]

Definition at line 84 of file satelite.h.

void Clasp::SatElite::SatElite::OccurList::clear

(

)

[inline]

Definition at line 85 of file satelite.h.

uint32 Clasp::SatElite::SatElite::OccurList::cost

(

)

const [inline]

Definition at line 83 of file satelite.h.

void Clasp::SatElite::SatElite::OccurList::mark

(

bool

sign

)

[inline]

Definition at line 106 of file satelite.h.

bool Clasp::SatElite::SatElite::OccurList::marked

(

bool

sign

)

const [inline]

Definition at line 105 of file satelite.h.

uint32 Clasp::SatElite::SatElite::OccurList::numOcc

(

)

const [inline]

Definition at line 82 of file satelite.h.

void Clasp::SatElite::SatElite::OccurList::remove	(	uint32	id,
		bool	sign,
		bool	updateClauseList
	)		[inline]

Definition at line 96 of file satelite.h.

void Clasp::SatElite::SatElite::OccurList::removeWatch

(

uint32

clId

)

[inline]

Definition at line 90 of file satelite.h.

void Clasp::SatElite::SatElite::OccurList::unmark

(

)

[inline]

Definition at line 107 of file satelite.h.

---

Member Data Documentation

uint32 Clasp::SatElite::SatElite::OccurList::bce

Definition at line 78 of file satelite.h.

uint32 Clasp::SatElite::SatElite::OccurList::dirty

Definition at line 79 of file satelite.h.

uint32 Clasp::SatElite::SatElite::OccurList::litMark

Definition at line 81 of file satelite.h.

uint32 Clasp::SatElite::SatElite::OccurList::neg

Definition at line 80 of file satelite.h.

uint32 Clasp::SatElite::SatElite::OccurList::pos

Definition at line 77 of file satelite.h.

ClWList Clasp::SatElite::SatElite::OccurList::refs

Definition at line 75 of file satelite.h.

---

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

• satelite.h