Minisat::VMap< T > Class Template Reference

#include <SolverTypes.h>

Inheritance diagram for Minisat::VMap< T >:

Collaboration diagram for Minisat::VMap< T >:

Public Member Functions
bool	has (Vark) const
const T &	operator[] (Vark) const
T &	operator[] (Vark)
const T *	begin () const
T *	begin ()
const T *	end () const
T *	end ()
void	reserve (Varkey, Tpad)
void	reserve (Varkey)
void	insert (Varkey, Tval, Tpad)
void	insert (Varkey, Tval)
void	clear (bool dispose=false)
void	moveTo (IntMap &to)
void	copyTo (IntMap &to) const

Detailed Description

template<class T>
class Minisat::VMap< T >

Definition at line 82 of file SolverTypes.h.

Member Function Documentation

const T * Minisat::IntMap< Var , T , MkIndexDefault<Var > >::begin ( ) const

inlineinherited

Definition at line 42 of file IntMap.h.

{ return &map[0]; }

T * Minisat::IntMap< Var , T , MkIndexDefault<Var > >::begin ( )

inlineinherited

Definition at line 44 of file IntMap.h.

{ return &map[0]; }

void Minisat::IntMap< Var , T , MkIndexDefault<Var > >::clear ( bool  dispose = false )

inlineinherited

Definition at line 52 of file IntMap.h.

{ map.clear(dispose); }

void Minisat::IntMap< Var , T , MkIndexDefault<Var > >::copyTo ( IntMap< Var, T > &  to ) const

inlineinherited

Definition at line 54 of file IntMap.h.

{ map.copyTo(to.map); to.index = index; }

const T * Minisat::IntMap< Var , T , MkIndexDefault<Var > >::end ( ) const

inlineinherited

Definition at line 43 of file IntMap.h.

{ return &map[map.size()]; }

T * Minisat::IntMap< Var , T , MkIndexDefault<Var > >::end ( )

inlineinherited

Definition at line 45 of file IntMap.h.

{ return &map[map.size()]; }

bool Minisat::IntMap< Var , T , MkIndexDefault<Var > >::has ( Var  k ) const

inlineinherited

Definition at line 37 of file IntMap.h.

{ return index(k) < map.size(); }

void Minisat::IntMap< Var , T , MkIndexDefault<Var > >::insert ( Var  key, T  val, T  pad  )

inlineinherited

Definition at line 49 of file IntMap.h.

{ reserve(key, pad); operator[](key) = val; }

void Minisat::IntMap< Var , T , MkIndexDefault<Var > >::insert ( Var  key, T  val  )

inlineinherited

Definition at line 50 of file IntMap.h.

{ reserve(key); operator[](key) = val; }

void Minisat::IntMap< Var , T , MkIndexDefault<Var > >::moveTo ( IntMap< Var, T > &  to )

inlineinherited

Definition at line 53 of file IntMap.h.

{ map.moveTo(to.map); to.index = index; }

const T & Minisat::IntMap< Var , T , MkIndexDefault<Var > >::operator[] ( Var  k ) const

inlineinherited

Definition at line 39 of file IntMap.h.

{ assert(has(k)); return map[index(k)]; }

T & Minisat::IntMap< Var , T , MkIndexDefault<Var > >::operator[] ( Var  k )

inlineinherited

Definition at line 40 of file IntMap.h.

{ assert(has(k)); return map[index(k)]; }

void Minisat::IntMap< Var , T , MkIndexDefault<Var > >::reserve ( Var  key, T  pad  )

inlineinherited

Definition at line 47 of file IntMap.h.

{ map.growTo(index(key)+1, pad); }

void Minisat::IntMap< Var , T , MkIndexDefault<Var > >::reserve ( Var  key )

inlineinherited

Definition at line 48 of file IntMap.h.

{ map.growTo(index(key)+1); }

---

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

• SolverTypes.h