Open
Graph Drawing
Framework

 v. 2023.09 (Elderberry)
 

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 336 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 341 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 362 of file SolverTypes.h.

◆ bucket_count()

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

Definition at line 361 of file SolverTypes.h.

◆ clear()

template<class T >
void Minisat::Internal::CMap< T >::clear ( )
inline

Definition at line 346 of file SolverTypes.h.

◆ debug()

template<class T >
void Minisat::Internal::CMap< T >::debug ( )
inline

Definition at line 368 of file SolverTypes.h.

◆ growTo()

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

Definition at line 352 of file SolverTypes.h.

◆ has()

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

Definition at line 354 of file SolverTypes.h.

◆ insert()

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

Definition at line 351 of file SolverTypes.h.

◆ moveTo()

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

Definition at line 365 of file SolverTypes.h.

◆ operator[]() [1/2]

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

Definition at line 358 of file SolverTypes.h.

◆ operator[]() [2/2]

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

Definition at line 357 of file SolverTypes.h.

◆ remove()

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

Definition at line 353 of file SolverTypes.h.

◆ size()

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

Definition at line 347 of file SolverTypes.h.

Member Data Documentation

◆ map

template<class T >
HashTable Minisat::Internal::CMap< T >::map
private

Definition at line 342 of file SolverTypes.h.


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