Minisat::IntSet< K, MkIndex > Class Template Reference

#include <IntMap.h>

Collaboration diagram for Minisat::IntSet< K, MkIndex >:

Public Member Functions
int	size (void) const
void	clear (bool free=false)
const vec< K > &	toVec () const
K	operator[] (int index) const
void	insert (K k)
bool	has (K k)

Private Attributes
IntMap< K, char, MkIndex >	in_set
vec< K >	xs

Detailed Description

template<class K, class MkIndex = MkIndexDefault<K>>
class Minisat::IntSet< K, MkIndex >

Definition at line 59 of file IntMap.h.

Member Function Documentation

template<class K, class MkIndex = MkIndexDefault<K>>

void Minisat::IntSet< K, MkIndex >::clear ( bool  free = false )

inline

Definition at line 67 of file IntMap.h.

                                                {
            if (free)
                in_set.clear(true); 
            else
                for (int i = 0; i < xs.size(); i++)
                    in_set[xs[i]] = 0;
            xs.clear(free);
        }

Here is the caller graph for this function:

template<class K, class MkIndex = MkIndexDefault<K>>

bool Minisat::IntSet< K, MkIndex >::has ( K  k )

inline

Definition at line 85 of file IntMap.h.

{ in_set.reserve(k, 0); return in_set[k]; }

template<class K, class MkIndex = MkIndexDefault<K>>

void Minisat::IntSet< K, MkIndex >::insert ( K  k )

inline

Definition at line 84 of file IntMap.h.

{ in_set.reserve(k, 0); if (!in_set[k]) { in_set[k] = 1; xs.push(k); } }

Here is the caller graph for this function:

template<class K, class MkIndex = MkIndexDefault<K>>

K Minisat::IntSet< K, MkIndex >::operator[] ( int  index ) const

inline

Definition at line 81 of file IntMap.h.

{ return xs[index]; }

template<class K, class MkIndex = MkIndexDefault<K>>

int Minisat::IntSet< K, MkIndex >::size ( void  ) const

inline

Definition at line 66 of file IntMap.h.

{ return xs.size(); }

Here is the caller graph for this function:

template<class K, class MkIndex = MkIndexDefault<K>>

const vec<K>& Minisat::IntSet< K, MkIndex >::toVec ( ) const

inline

Definition at line 78 of file IntMap.h.

{ return xs; }

Field Documentation

template<class K, class MkIndex = MkIndexDefault<K>>

IntMap<K, char, MkIndex> Minisat::IntSet< K, MkIndex >::in_set

private

Definition at line 61 of file IntMap.h.

template<class K, class MkIndex = MkIndexDefault<K>>

vec<K> Minisat::IntSet< K, MkIndex >::xs

private

Definition at line 62 of file IntMap.h.

---

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

• IntMap.h