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

#include <SolverTypes.h>

Inheritance diagram for Minisat::OccLists< Idx, Vec, Deleted >:

Collaboration diagram for Minisat::OccLists< Idx, Vec, Deleted >:

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

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

Detailed Description

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

Definition at line 311 of file SolverTypes.h.

Constructor & Destructor Documentation

OccLists()

template<class Idx , class Vec , class Deleted >

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

inline

Definition at line 319 of file SolverTypes.h.

Member Function Documentation

clean()

template<class Idx , class Vec , class Deleted >

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

(

const Idx &

idx

)

Definition at line 355 of file SolverTypes.h.

Here is the call graph for this function:

Here is the caller graph for this function:

cleanAll()

template<class Idx , class Vec , class Deleted >

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

Definition at line 344 of file SolverTypes.h.

Here is the call graph for this function:

clear()

template<class Idx , class Vec , class Deleted >

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

inline

Definition at line 335 of file SolverTypes.h.

Here is the call graph for this function:

init()

template<class Idx , class Vec , class Deleted >

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

inline

Definition at line 321 of file SolverTypes.h.

Here is the call graph for this function:

lookup()

template<class Idx , class Vec , class Deleted >

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

inline

Definition at line 324 of file SolverTypes.h.

Here is the call graph for this function:

operator[]() [1/2]

template<class Idx , class Vec , class Deleted >

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

inline

Definition at line 323 of file SolverTypes.h.

Here is the call graph for this function:

operator[]() [2/2]

template<class Idx , class Vec , class Deleted >

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

inline

Definition at line 322 of file SolverTypes.h.

Here is the call graph for this function:

smudge()

template<class Idx , class Vec , class Deleted >

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

inline

Definition at line 328 of file SolverTypes.h.

Here is the call graph for this function:

Field Documentation

deleted

template<class Idx , class Vec , class Deleted >

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

private

Definition at line 316 of file SolverTypes.h.

dirties

template<class Idx , class Vec , class Deleted >

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

private

Definition at line 315 of file SolverTypes.h.

dirty

template<class Idx , class Vec , class Deleted >

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

private

Definition at line 314 of file SolverTypes.h.

occs

template<class Idx , class Vec , class Deleted >

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

private

Definition at line 313 of file SolverTypes.h.

---

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

• smtrat-modules/SATModule/SolverTypes.h