smtrat::PolyTreePool Class Reference

#include <PolyTreePool.h>

Inheritance diagram for smtrat::PolyTreePool:

Collaboration diagram for smtrat::PolyTreePool:

Public Member Functions
const PolyTreeContent *	get (const Poly &_pol)

Protected Member Functions
	PolyTreePool ()
	Constructor of the pool. More...
	~PolyTreePool ()

Private Member Functions
const PolyTreeContent *	create (const Poly &_pol)
const PolyTreeContent *	create (carl::Variable::Arg _variable)
const PolyTreeContent *	create (Integer _constant)
const PolyTreeContent *	create (const Poly &_poly, PolyTree::Type _type, const Poly &_left, const Poly &_right)
const PolyTreeContent *	add (PolyTreeContent *_element)

Private Attributes
std::map< Poly, PolyTreeContent * >	mPool
std::mutex	mMutexPool

Detailed Description

Definition at line 13 of file PolyTreePool.h.

Constructor & Destructor Documentation

PolyTreePool()

smtrat::PolyTreePool::PolyTreePool ( )

inlineprotected

Constructor of the pool.

Definition at line 32 of file PolyTreePool.h.

~PolyTreePool()

smtrat::PolyTreePool::~PolyTreePool ( )

inlineprotected

Definition at line 36 of file PolyTreePool.h.

Member Function Documentation

add()

const PolyTreeContent * smtrat::PolyTreePool::add ( PolyTreeContent *  _element )

private

Definition at line 79 of file PolyTreePool.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

create() [1/4]

const PolyTreeContent * smtrat::PolyTreePool::create ( carl::Variable::Arg  _variable )

private

Definition at line 64 of file PolyTreePool.cpp.

Here is the call graph for this function:

create() [2/4]

const PolyTreeContent * smtrat::PolyTreePool::create ( const Poly &  _pol )

private

Definition at line 20 of file PolyTreePool.cpp.

Here is the caller graph for this function:

create() [3/4]

const PolyTreeContent * smtrat::PolyTreePool::create ( const Poly &  _poly, PolyTree::Type  _type, const Poly &  _left, const Poly &  _right  )

private

Definition at line 74 of file PolyTreePool.cpp.

Here is the call graph for this function:

create() [4/4]

const PolyTreeContent * smtrat::PolyTreePool::create ( Integer  _constant )

private

Definition at line 69 of file PolyTreePool.cpp.

Here is the call graph for this function:

get()

const PolyTreeContent * smtrat::PolyTreePool::get

(

const Poly &

_pol

)

Definition at line 11 of file PolyTreePool.cpp.

Here is the call graph for this function:

Field Documentation

mMutexPool

std::mutex smtrat::PolyTreePool::mMutexPool

mutableprivate

Definition at line 21 of file PolyTreePool.h.

mPool

std::map<Poly, PolyTreeContent*> smtrat::PolyTreePool::mPool

private

Definition at line 19 of file PolyTreePool.h.

---

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

• smtrat-modules/IntBlastModule/PolyTreePool.h
• smtrat-modules/IntBlastModule/PolyTreePool.cpp