smtrat::cad::variable_ordering::VariableMap< T > Class Template Reference

Inheritance diagram for smtrat::cad::variable_ordering::VariableMap< T >:

Public Member Functions
T	operator[] (carl::Variable v) const
T &	operator[] (carl::Variable v)

Private Attributes
std::vector< T >	mData

Detailed Description

template<typename T>
class smtrat::cad::variable_ordering::VariableMap< T >

Definition at line 9 of file triangular_ordering.cpp.

Member Function Documentation

operator[]() [1/2]

template<typename T >

T& smtrat::cad::variable_ordering::VariableMap< T >::operator[] ( carl::Variable  v )

inline

Definition at line 18 of file triangular_ordering.cpp.

operator[]() [2/2]

template<typename T >

T smtrat::cad::variable_ordering::VariableMap< T >::operator[] ( carl::Variable  v ) const

inline

Definition at line 13 of file triangular_ordering.cpp.

Field Documentation

mData

template<typename T >

std::vector<T> smtrat::cad::variable_ordering::VariableMap< T >::mData

private

Definition at line 11 of file triangular_ordering.cpp.

---

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

• smtrat-cad/variableordering/triangular_ordering.cpp