smtrat::MonomialMappingByVariablePool Class Reference

#include <MonomialMappingByVariablePool.h>

Inheritance diagram for smtrat::MonomialMappingByVariablePool:

Collaboration diagram for smtrat::MonomialMappingByVariablePool:

Public Member Functions
const MonomialMap &	getMMonomialMapping () const
void	insertMonomialMapping (carl::Variable variable, carl::Monomial::Arg monomial)
carl::Variable	variable (carl::Monomial::Arg monomial)
bool	isNull (carl::Variable variable)
carl::Monomial::Arg	monomial (carl::Variable variable)

Private Attributes
MonomialMap	mMonomialMapping
carl::Variable	nullVariable = carl::fresh_real_variable("0")

Friends
class	carl::Singleton< MonomialMappingByVariablePool >

Detailed Description

Definition at line 10 of file MonomialMappingByVariablePool.h.

Member Function Documentation

getMMonomialMapping()

const MonomialMap& smtrat::MonomialMappingByVariablePool::getMMonomialMapping ( ) const

inline

Definition at line 17 of file MonomialMappingByVariablePool.h.

insertMonomialMapping()

void smtrat::MonomialMappingByVariablePool::insertMonomialMapping ( carl::Variable  variable, carl::Monomial::Arg  monomial  )

inline

Definition at line 25 of file MonomialMappingByVariablePool.h.

Here is the call graph for this function:

isNull()

bool smtrat::MonomialMappingByVariablePool::isNull ( carl::Variable  variable )

inline

Definition at line 41 of file MonomialMappingByVariablePool.h.

Here is the call graph for this function:

monomial()

carl::Monomial::Arg smtrat::MonomialMappingByVariablePool::monomial ( carl::Variable  variable )

inline

Definition at line 45 of file MonomialMappingByVariablePool.h.

Here is the call graph for this function:

Here is the caller graph for this function:

variable()

carl::Variable smtrat::MonomialMappingByVariablePool::variable ( carl::Monomial::Arg  monomial )

inline

Definition at line 29 of file MonomialMappingByVariablePool.h.

Here is the call graph for this function:

Here is the caller graph for this function:

Friends And Related Function Documentation

carl::Singleton< MonomialMappingByVariablePool >

friend class carl::Singleton< MonomialMappingByVariablePool >

friend

Definition at line 1 of file MonomialMappingByVariablePool.h.

Field Documentation

mMonomialMapping

MonomialMap smtrat::MonomialMappingByVariablePool::mMonomialMapping

private

Definition at line 15 of file MonomialMappingByVariablePool.h.

nullVariable

carl::Variable smtrat::MonomialMappingByVariablePool::nullVariable = carl::fresh_real_variable("0")

private

Definition at line 22 of file MonomialMappingByVariablePool.h.

---

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

• smtrat-modules/NRAILModule/MonomialMappingByVariablePool.h