Minisat::Internal::CMap< T > Class Template Reference

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

Classes
struct	CRefHash

Public Member Functions
const vec< typename HashTable::Pair > &	bucket (int i) const
int	bucket_count () const
void	clear ()
void	debug ()
void	growTo (CRef cr, const T &t)
bool	has (CRef cr, T &t)
void	insert (CRef cr, const T &t)
void	moveTo (CMap &other)
T &	operator[] (CRef cr)
const T &	operator[] (CRef cr) const
void	remove (CRef cr)
int	size () const

Private Types
using	HashTable = Map< CRef, T, CRefHash >

Private Attributes
HashTable	map

Detailed Description

template<class T>
class Minisat::Internal::CMap< T >

Definition at line 337 of file SolverTypes.h.

Member Typedef Documentation

HashTable

template<class T >

using Minisat::Internal::CMap< T >::HashTable = Map<CRef, T, CRefHash>

private

Definition at line 342 of file SolverTypes.h.

Member Function Documentation

bucket()

template<class T >

const vec<typename HashTable::Pair>& Minisat::Internal::CMap< T >::bucket ( int  i ) const

inline

Definition at line 363 of file SolverTypes.h.

bucket_count()

template<class T >

int Minisat::Internal::CMap< T >::bucket_count ( ) const

inline

Definition at line 362 of file SolverTypes.h.

clear()

template<class T >

void Minisat::Internal::CMap< T >::clear ( )

inline

Definition at line 347 of file SolverTypes.h.

debug()

template<class T >

void Minisat::Internal::CMap< T >::debug ( )

inline

Definition at line 369 of file SolverTypes.h.

growTo()

template<class T >

void Minisat::Internal::CMap< T >::growTo ( CRef  cr, const T &  t  )

inline

Definition at line 353 of file SolverTypes.h.

has()

template<class T >

bool Minisat::Internal::CMap< T >::has ( CRef  cr, T &  t  )

inline

Definition at line 355 of file SolverTypes.h.

insert()

template<class T >

void Minisat::Internal::CMap< T >::insert ( CRef  cr, const T &  t  )

inline

Definition at line 352 of file SolverTypes.h.

moveTo()

template<class T >

void Minisat::Internal::CMap< T >::moveTo ( CMap< T > &  other )

inline

Definition at line 366 of file SolverTypes.h.

operator[]() [1/2]

template<class T >

T& Minisat::Internal::CMap< T >::operator[] ( CRef  cr )

inline

Definition at line 359 of file SolverTypes.h.

operator[]() [2/2]

template<class T >

const T& Minisat::Internal::CMap< T >::operator[] ( CRef  cr ) const

inline

Definition at line 358 of file SolverTypes.h.

remove()

template<class T >

void Minisat::Internal::CMap< T >::remove ( CRef  cr )

inline

Definition at line 354 of file SolverTypes.h.

size()

template<class T >

int Minisat::Internal::CMap< T >::size ( ) const

inline

Definition at line 348 of file SolverTypes.h.

Member Data Documentation

map

template<class T >

HashTable Minisat::Internal::CMap< T >::map

private

Definition at line 343 of file SolverTypes.h.

---

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

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