abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Minisat::CMap< T > Class Template Reference

#include <SolverTypes.h>

Data Structures

struct  CRefHash
 

Public Member Functions

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

Private Types

typedef Map< CRef, T, CRefHashHashTable
 

Private Attributes

HashTable map
 

Detailed Description

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

Definition at line 317 of file SolverTypes.h.

Member Typedef Documentation

template<class T >
typedef Map<CRef, T, CRefHash> Minisat::CMap< T >::HashTable
private

Definition at line 322 of file SolverTypes.h.

Member Function Documentation

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

Definition at line 343 of file SolverTypes.h.

343 { return map.bucket(i); }
const vec< Pair > & bucket(int i) const
Definition: Map.h:187
HashTable map
Definition: SolverTypes.h:323
template<class T >
int Minisat::CMap< T >::bucket_count ( ) const
inline

Definition at line 342 of file SolverTypes.h.

342 { return map.bucket_count(); }
int bucket_count() const
Definition: Map.h:172
HashTable map
Definition: SolverTypes.h:323
template<class T >
void Minisat::CMap< T >::clear ( )
inline

Definition at line 327 of file SolverTypes.h.

327 { map.clear(); }
void clear()
Definition: Map.h:165
HashTable map
Definition: SolverTypes.h:323
template<class T >
void Minisat::CMap< T >::debug ( )
inline

Definition at line 349 of file SolverTypes.h.

349  {
350  printf(" --- size = %d, bucket_count = %d\n", size(), map.bucket_count()); }
int size() const
Definition: SolverTypes.h:328
int bucket_count() const
Definition: Map.h:172
HashTable map
Definition: SolverTypes.h:323
template<class T >
void Minisat::CMap< T >::growTo ( CRef  cr,
const T &  t 
)
inline

Definition at line 333 of file SolverTypes.h.

333 { map.insert(cr, t); } // NOTE: for compatibility
void insert(const K &k, const D &d)
Definition: Map.h:133
HashTable map
Definition: SolverTypes.h:323
template<class T >
bool Minisat::CMap< T >::has ( CRef  cr,
T &  t 
)
inline

Definition at line 335 of file SolverTypes.h.

335 { return map.peek(cr, t); }
bool peek(const K &k, D &d) const
Definition: Map.h:134
HashTable map
Definition: SolverTypes.h:323
template<class T >
void Minisat::CMap< T >::insert ( CRef  cr,
const T &  t 
)
inline

Definition at line 332 of file SolverTypes.h.

332 { map.insert(cr, t); }
void insert(const K &k, const D &d)
Definition: Map.h:133
HashTable map
Definition: SolverTypes.h:323
template<class T >
void Minisat::CMap< T >::moveTo ( CMap< T > &  other)
inline

Definition at line 346 of file SolverTypes.h.

346 { map.moveTo(other.map); }
void moveTo(Map &other)
Definition: Map.h:175
HashTable map
Definition: SolverTypes.h:323
template<class T >
const T& Minisat::CMap< T >::operator[] ( CRef  cr) const
inline

Definition at line 338 of file SolverTypes.h.

338 { return map[cr]; }
HashTable map
Definition: SolverTypes.h:323
template<class T >
T& Minisat::CMap< T >::operator[] ( CRef  cr)
inline

Definition at line 339 of file SolverTypes.h.

339 { return map[cr]; }
HashTable map
Definition: SolverTypes.h:323
template<class T >
void Minisat::CMap< T >::remove ( CRef  cr)
inline

Definition at line 334 of file SolverTypes.h.

334 { map.remove(cr); }
void remove(const K &k)
Definition: Map.h:154
HashTable map
Definition: SolverTypes.h:323
template<class T >
int Minisat::CMap< T >::size ( ) const
inline

Definition at line 328 of file SolverTypes.h.

328 { return map.elems(); }
int elems() const
Definition: Map.h:171
HashTable map
Definition: SolverTypes.h:323

Field Documentation

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

Definition at line 323 of file SolverTypes.h.


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