Minisat::Internal::OccLists< Idx, Vec, Deleted > Class Template Reference

#include <ogdf/lib/minisat/core/SolverTypes.h>

Public Member Functions
	OccLists (const Deleted &d)
void	clean (const Idx &idx)
void	cleanAll ()
void	clear (bool free=true)
void	init (const Idx &idx)
Vec &	lookup (const Idx &idx)
Vec &	operator[] (const Idx &idx)
void	smudge (const Idx &idx)

Private Attributes
Deleted	deleted
vec< Idx >	dirties
vec< char >	dirty
vec< Vec >	occs

Detailed Description

template<class Idx, class Vec, class Deleted>
class Minisat::Internal::OccLists< Idx, Vec, Deleted >

Definition at line 274 of file SolverTypes.h.

Constructor & Destructor Documentation

OccLists()

template<class Idx , class Vec , class Deleted >

Minisat::Internal::OccLists< Idx, Vec, Deleted >::OccLists ( const Deleted &  d )

inline

Definition at line 282 of file SolverTypes.h.

Member Function Documentation

clean()

template<class Idx , class Vec , class Deleted >

void Minisat::Internal::OccLists< Idx, Vec, Deleted >::clean

(

const Idx &

idx

)

Definition at line 320 of file SolverTypes.h.

cleanAll()

template<class Idx , class Vec , class Deleted >

void Minisat::Internal::OccLists< Idx, Vec, Deleted >::cleanAll

Definition at line 309 of file SolverTypes.h.

clear()

template<class Idx , class Vec , class Deleted >

void Minisat::Internal::OccLists< Idx, Vec, Deleted >::clear ( bool  free = true )

inline

Definition at line 300 of file SolverTypes.h.

init()

template<class Idx , class Vec , class Deleted >

void Minisat::Internal::OccLists< Idx, Vec, Deleted >::init ( const Idx &  idx )

inline

Definition at line 284 of file SolverTypes.h.

lookup()

template<class Idx , class Vec , class Deleted >

Vec& Minisat::Internal::OccLists< Idx, Vec, Deleted >::lookup ( const Idx &  idx )

inline

Definition at line 289 of file SolverTypes.h.

operator[]()

template<class Idx , class Vec , class Deleted >

Vec& Minisat::Internal::OccLists< Idx, Vec, Deleted >::operator[] ( const Idx &  idx )

inline

Definition at line 288 of file SolverTypes.h.

smudge()

template<class Idx , class Vec , class Deleted >

void Minisat::Internal::OccLists< Idx, Vec, Deleted >::smudge ( const Idx &  idx )

inline

Definition at line 293 of file SolverTypes.h.

Member Data Documentation

deleted

template<class Idx , class Vec , class Deleted >

Deleted Minisat::Internal::OccLists< Idx, Vec, Deleted >::deleted

private

Definition at line 279 of file SolverTypes.h.

dirties

template<class Idx , class Vec , class Deleted >

vec<Idx> Minisat::Internal::OccLists< Idx, Vec, Deleted >::dirties

private

Definition at line 278 of file SolverTypes.h.

dirty

template<class Idx , class Vec , class Deleted >

vec<char> Minisat::Internal::OccLists< Idx, Vec, Deleted >::dirty

private

Definition at line 277 of file SolverTypes.h.

occs

template<class Idx , class Vec , class Deleted >

vec<Vec> Minisat::Internal::OccLists< Idx, Vec, Deleted >::occs

private

Definition at line 276 of file SolverTypes.h.

---

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

• include/ogdf/lib/minisat/core/SolverTypes.h