smtrat::mcsat::arithmetic::RootIndexer< RANT > Class Template Reference

#include <RootIndexer.h>

Inheritance diagram for smtrat::mcsat::arithmetic::RootIndexer< RANT >:

Collaboration diagram for smtrat::mcsat::arithmetic::RootIndexer< RANT >:

Public Member Functions
void	add (const std::vector< RANT > &list)
void	process ()
std::size_t	size () const
std::size_t	operator[] (const RANT &ran) const
const RANT &	operator[] (std::size_t n) const
const RANT &	sampleFrom (std::size_t n) const
bool	is_root (std::size_t n) const

Private Attributes
std::vector< RANT >	mRoots
std::map< RANT, std::size_t >	mMap
std::vector< RANT >	mSamples

Detailed Description

template<typename RANT>
class smtrat::mcsat::arithmetic::RootIndexer< RANT >

Definition at line 15 of file RootIndexer.h.

Member Function Documentation

add()

template<typename RANT >

void smtrat::mcsat::arithmetic::RootIndexer< RANT >::add ( const std::vector< RANT > &  list )

inline

Definition at line 21 of file RootIndexer.h.

Here is the caller graph for this function:

is_root()

template<typename RANT >

bool smtrat::mcsat::arithmetic::RootIndexer< RANT >::is_root ( std::size_t  n ) const

inline

Definition at line 56 of file RootIndexer.h.

Here is the caller graph for this function:

operator[]() [1/2]

template<typename RANT >

std::size_t smtrat::mcsat::arithmetic::RootIndexer< RANT >::operator[] ( const RANT &  ran ) const

inline

Definition at line 44 of file RootIndexer.h.

operator[]() [2/2]

template<typename RANT >

const RANT& smtrat::mcsat::arithmetic::RootIndexer< RANT >::operator[] ( std::size_t  n ) const

inline

Definition at line 49 of file RootIndexer.h.

process()

template<typename RANT >

void smtrat::mcsat::arithmetic::RootIndexer< RANT >::process ( )

inline

Definition at line 24 of file RootIndexer.h.

Here is the call graph for this function:

Here is the caller graph for this function:

sampleFrom()

template<typename RANT >

const RANT& smtrat::mcsat::arithmetic::RootIndexer< RANT >::sampleFrom ( std::size_t  n ) const

inline

Definition at line 53 of file RootIndexer.h.

Here is the caller graph for this function:

size()

template<typename RANT >

std::size_t smtrat::mcsat::arithmetic::RootIndexer< RANT >::size ( ) const

inline

Definition at line 41 of file RootIndexer.h.

Here is the caller graph for this function:

Field Documentation

mMap

template<typename RANT >

std::map<RANT, std::size_t> smtrat::mcsat::arithmetic::RootIndexer< RANT >::mMap

private

Definition at line 18 of file RootIndexer.h.

mRoots

template<typename RANT >

std::vector<RANT> smtrat::mcsat::arithmetic::RootIndexer< RANT >::mRoots

private

Definition at line 17 of file RootIndexer.h.

mSamples

template<typename RANT >

std::vector<RANT> smtrat::mcsat::arithmetic::RootIndexer< RANT >::mSamples

private

Definition at line 19 of file RootIndexer.h.

---

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

• smtrat-mcsat/assignments/arithmetic/RootIndexer.h