Open
Graph Drawing
Framework

 v. 2022.02 (Dogwood)
 

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 273 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 281 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 319 of file SolverTypes.h.

◆ cleanAll()

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

Definition at line 308 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 299 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 283 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 288 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 287 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 292 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 278 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 277 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 276 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 275 of file SolverTypes.h.


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