smtrat::cad::SampleIteratorQueue< Iterator, Comparator > Class Template Reference

#include <SampleIteratorQueue.h>

Inheritance diagram for smtrat::cad::SampleIteratorQueue< Iterator, Comparator >:

Collaboration diagram for smtrat::cad::SampleIteratorQueue< Iterator, Comparator >:

Public Member Functions
auto	begin () const
auto	end () const
template<typename InputIt >
void	assign (InputIt begin, InputIt end)
void	clear ()
template<typename Filter >
void	cleanup (Filter &&f)
bool	empty () const
Iterator	getNextSample ()
void	addNewSample (Iterator it)
template<typename InputIt >
void	addNewSamples (InputIt begin, InputIt end)
Iterator	removeNextSample ()
bool	is_consistent () const

Private Attributes
PriorityQueue< Iterator, Comparator >	mQueue

Detailed Description

template<typename Iterator, typename Comparator>
class smtrat::cad::SampleIteratorQueue< Iterator, Comparator >

Definition at line 11 of file SampleIteratorQueue.h.

Member Function Documentation

addNewSample()

template<typename Iterator , typename Comparator >

void smtrat::cad::SampleIteratorQueue< Iterator, Comparator >::addNewSample ( Iterator  it )

inline

Definition at line 39 of file SampleIteratorQueue.h.

addNewSamples()

template<typename Iterator , typename Comparator >

template<typename InputIt >

void smtrat::cad::SampleIteratorQueue< Iterator, Comparator >::addNewSamples ( InputIt  begin, InputIt  end  )

inline

Definition at line 43 of file SampleIteratorQueue.h.

Here is the call graph for this function:

assign()

template<typename Iterator , typename Comparator >

template<typename InputIt >

void smtrat::cad::SampleIteratorQueue< Iterator, Comparator >::assign ( InputIt  begin, InputIt  end  )

inline

Definition at line 22 of file SampleIteratorQueue.h.

Here is the call graph for this function:

begin()

template<typename Iterator , typename Comparator >

auto smtrat::cad::SampleIteratorQueue< Iterator, Comparator >::begin ( ) const

inline

Definition at line 15 of file SampleIteratorQueue.h.

Here is the call graph for this function:

Here is the caller graph for this function:

cleanup()

template<typename Iterator , typename Comparator >

template<typename Filter >

void smtrat::cad::SampleIteratorQueue< Iterator, Comparator >::cleanup ( Filter &&  f )

inline

Definition at line 29 of file SampleIteratorQueue.h.

Here is the call graph for this function:

clear()

template<typename Iterator , typename Comparator >

void smtrat::cad::SampleIteratorQueue< Iterator, Comparator >::clear ( )

inline

Definition at line 25 of file SampleIteratorQueue.h.

Here is the call graph for this function:

empty()

template<typename Iterator , typename Comparator >

bool smtrat::cad::SampleIteratorQueue< Iterator, Comparator >::empty ( ) const

inline

Definition at line 33 of file SampleIteratorQueue.h.

end()

template<typename Iterator , typename Comparator >

auto smtrat::cad::SampleIteratorQueue< Iterator, Comparator >::end ( ) const

inline

Definition at line 18 of file SampleIteratorQueue.h.

Here is the call graph for this function:

Here is the caller graph for this function:

getNextSample()

template<typename Iterator , typename Comparator >

Iterator smtrat::cad::SampleIteratorQueue< Iterator, Comparator >::getNextSample ( )

inline

Definition at line 36 of file SampleIteratorQueue.h.

is_consistent()

template<typename Iterator , typename Comparator >

bool smtrat::cad::SampleIteratorQueue< Iterator, Comparator >::is_consistent ( ) const

inline

Definition at line 54 of file SampleIteratorQueue.h.

removeNextSample()

template<typename Iterator , typename Comparator >

Iterator smtrat::cad::SampleIteratorQueue< Iterator, Comparator >::removeNextSample ( )

inline

Definition at line 48 of file SampleIteratorQueue.h.

Field Documentation

mQueue

template<typename Iterator , typename Comparator >

PriorityQueue<Iterator, Comparator> smtrat::cad::SampleIteratorQueue< Iterator, Comparator >::mQueue

private

Definition at line 13 of file SampleIteratorQueue.h.

---

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

• smtrat-cad/lifting/SampleIteratorQueue.h