yosys-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Public Member Functions
Minisat::LMap< T > Class Template Reference

#include <SolverTypes.h>

+ Inheritance diagram for Minisat::LMap< T >:
+ Collaboration diagram for Minisat::LMap< T >:

Public Member Functions

bool has (Litk) const
 
const T & operator[] (Litk) const
 
T & operator[] (Litk)
 
const T * begin () const
 
T * begin ()
 
const T * end () const
 
T * end ()
 
void reserve (Litkey, Tpad)
 
void reserve (Litkey)
 
void insert (Litkey, Tval, Tpad)
 
void insert (Litkey, Tval)
 
void clear (bool dispose=false)
 
void moveTo (IntMap &to)
 
void copyTo (IntMap &to) const
 

Detailed Description

template<class T>
class Minisat::LMap< T >

Definition at line 83 of file SolverTypes.h.

Member Function Documentation

const T * Minisat::IntMap< Lit , T , MkIndexLit >::begin ( ) const
inlineinherited

Definition at line 42 of file IntMap.h.

42 { return &map[0]; }
T * Minisat::IntMap< Lit , T , MkIndexLit >::begin ( )
inlineinherited

Definition at line 44 of file IntMap.h.

44 { return &map[0]; }
void Minisat::IntMap< Lit , T , MkIndexLit >::clear ( bool  dispose = false)
inlineinherited

Definition at line 52 of file IntMap.h.

52 { map.clear(dispose); }
Minisat::vec::clear
void clear(bool dealloc=false)
Definition: Vec.h:125
void Minisat::IntMap< Lit , T , MkIndexLit >::copyTo ( IntMap< Lit, T, MkIndexLit > &  to) const
inlineinherited

Definition at line 54 of file IntMap.h.

54 { map.copyTo(to.map); to.index = index; }
Minisat::vec::copyTo
void copyTo(vec< T > &copy) const
Definition: Vec.h:92
const T * Minisat::IntMap< Lit , T , MkIndexLit >::end ( ) const
inlineinherited

Definition at line 43 of file IntMap.h.

43 { return &map[map.size()]; }
Minisat::vec::size
Size size(void) const
Definition: Vec.h:64
T * Minisat::IntMap< Lit , T , MkIndexLit >::end ( )
inlineinherited

Definition at line 45 of file IntMap.h.

45 { return &map[map.size()]; }
Minisat::vec::size
Size size(void) const
Definition: Vec.h:64
bool Minisat::IntMap< Lit , T , MkIndexLit >::has ( Lit  k) const
inlineinherited

Definition at line 37 of file IntMap.h.

37 { return index(k) < map.size(); }
Minisat::vec::size
Size size(void) const
Definition: Vec.h:64
void Minisat::IntMap< Lit , T , MkIndexLit >::insert ( Lit  key,
T  val,
T  pad 
)
inlineinherited

Definition at line 49 of file IntMap.h.

49 { reserve(key, pad); operator[](key) = val; }
Minisat::IntMap< Lit, T, MkIndexLit >::reserve
void reserve(Litkey, Tpad)
Definition: IntMap.h:47
Minisat::IntMap< Lit, T, MkIndexLit >::operator[]
const T & operator[](Litk) const
Definition: IntMap.h:39
void Minisat::IntMap< Lit , T , MkIndexLit >::insert ( Lit  key,
T  val 
)
inlineinherited

Definition at line 50 of file IntMap.h.

50 { reserve(key); operator[](key) = val; }
Minisat::IntMap< Lit, T, MkIndexLit >::reserve
void reserve(Litkey, Tpad)
Definition: IntMap.h:47
Minisat::IntMap< Lit, T, MkIndexLit >::operator[]
const T & operator[](Litk) const
Definition: IntMap.h:39
void Minisat::IntMap< Lit , T , MkIndexLit >::moveTo ( IntMap< Lit, T, MkIndexLit > &  to)
inlineinherited

Definition at line 53 of file IntMap.h.

53 { map.moveTo(to.map); to.index = index; }
Minisat::vec::moveTo
void moveTo(vec< T > &dest)
Definition: Vec.h:93
const T & Minisat::IntMap< Lit , T , MkIndexLit >::operator[] ( Lit  k) const
inlineinherited

Definition at line 39 of file IntMap.h.

39 { assert(has(k)); return map[index(k)]; }
T & Minisat::IntMap< Lit , T , MkIndexLit >::operator[] ( Lit  k)
inlineinherited

Definition at line 40 of file IntMap.h.

40 { assert(has(k)); return map[index(k)]; }
void Minisat::IntMap< Lit , T , MkIndexLit >::reserve ( Lit  key,
T  pad 
)
inlineinherited

Definition at line 47 of file IntMap.h.

47 { map.growTo(index(key)+1, pad); }
Minisat::vec::growTo
void growTo(Size size)
Definition: Vec.h:117
void Minisat::IntMap< Lit , T , MkIndexLit >::reserve ( Lit  key)
inlineinherited

Definition at line 48 of file IntMap.h.

48 { map.growTo(index(key)+1); }
Minisat::vec::growTo
void growTo(Size size)
Definition: Vec.h:117
The documentation for this class was generated from the following file: