carl::VarsInfo< CoeffType > Class Template Reference

#include <VarInfo.h>

Inheritance diagram for carl::VarsInfo< CoeffType >:

Collaboration diagram for carl::VarsInfo< CoeffType >:

Public Member Functions
VarInfo< CoeffType > &	var (Variable var)
const VarInfo< CoeffType > &	var (Variable var) const
bool	occurs (Variable var) const
auto &	data ()
auto	cbegin () const
auto	cend () const
auto	begin ()
auto	end ()

Private Attributes
std::map< Variable, VarInfo< CoeffType > >	m_data

Detailed Description

template<typename CoeffType>
class carl::VarsInfo< CoeffType >

Definition at line 72 of file VarInfo.h.

Member Function Documentation

begin()

template<typename CoeffType >

auto carl::VarsInfo< CoeffType >::begin ( )

inline

Definition at line 101 of file VarInfo.h.

cbegin()

template<typename CoeffType >

auto carl::VarsInfo< CoeffType >::cbegin ( ) const

inline

Definition at line 93 of file VarInfo.h.

cend()

template<typename CoeffType >

auto carl::VarsInfo< CoeffType >::cend ( ) const

inline

Definition at line 97 of file VarInfo.h.

data()

template<typename CoeffType >

auto& carl::VarsInfo< CoeffType >::data ( )

inline

Definition at line 89 of file VarInfo.h.

Here is the caller graph for this function:

end()

template<typename CoeffType >

auto carl::VarsInfo< CoeffType >::end ( )

inline

Definition at line 105 of file VarInfo.h.

Here is the caller graph for this function:

occurs()

template<typename CoeffType >

bool carl::VarsInfo< CoeffType >::occurs ( Variable  var ) const

inline

Definition at line 85 of file VarInfo.h.

Here is the call graph for this function:

var() [1/2]

template<typename CoeffType >

VarInfo<CoeffType>& carl::VarsInfo< CoeffType >::var ( Variable  var )

inline

Definition at line 76 of file VarInfo.h.

Here is the caller graph for this function:

var() [2/2]

template<typename CoeffType >

const VarInfo<CoeffType>& carl::VarsInfo< CoeffType >::var ( Variable  var ) const

inline

Definition at line 82 of file VarInfo.h.

Here is the call graph for this function:

Field Documentation

m_data

template<typename CoeffType >

std::map<Variable, VarInfo<CoeffType> > carl::VarsInfo< CoeffType >::m_data

private

Definition at line 73 of file VarInfo.h.

---

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

• carl-arith/poly/VarInfo.h