Minisat::Queue< T > Class Template Reference

#include <Queue.h>

Public Types
typedef T	Key

Public Member Functions
	Queue ()
void	clear (bool dealloc=false)
int	size () const
const T &	operator[] (int index) const
T &	operator[] (int index)
T	peek () const
void	pop ()
void	insert (T elem)

Private Attributes
vec< T >	buf
int	first
int	end

Detailed Description

template<class T>
class Minisat::Queue< T >

Definition at line 31 of file Queue.h.

Member Typedef Documentation

Key

template<class T >

typedef T Minisat::Queue< T >::Key

Definition at line 38 of file Queue.h.

Constructor & Destructor Documentation

Queue()

template<class T >

Minisat::Queue< T >::Queue ( )

inline

Definition at line 40 of file Queue.h.

Member Function Documentation

clear()

template<class T >

void Minisat::Queue< T >::clear ( bool  dealloc = false )

inline

Definition at line 46 of file Queue.h.

insert()

template<class T >

void Minisat::Queue< T >::insert ( T  elem )

inline

Definition at line 86 of file Queue.h.

Here is the call graph for this function:

operator[]() [1/2]

template<class T >

T& Minisat::Queue< T >::operator[] ( int  index )

inline

Definition at line 65 of file Queue.h.

Here is the call graph for this function:

operator[]() [2/2]

template<class T >

const T& Minisat::Queue< T >::operator[] ( int  index ) const

inline

Definition at line 58 of file Queue.h.

Here is the call graph for this function:

peek()

template<class T >

T Minisat::Queue< T >::peek ( ) const

inline

Definition at line 72 of file Queue.h.

pop()

template<class T >

void Minisat::Queue< T >::pop ( )

inline

Definition at line 78 of file Queue.h.

size()

template<class T >

int Minisat::Queue< T >::size ( ) const

inline

Definition at line 53 of file Queue.h.

Here is the caller graph for this function:

Field Documentation

buf

template<class T >

vec<T> Minisat::Queue< T >::buf

private

Definition at line 33 of file Queue.h.

end

template<class T >

int Minisat::Queue< T >::end

private

Definition at line 35 of file Queue.h.

first

template<class T >

int Minisat::Queue< T >::first

private

Definition at line 34 of file Queue.h.

---

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

• smtrat-modules/SATModule/Queue.h