smtrat::fmplex::VariableIndex< Var > Struct Template Reference

Collaboration diagram for smtrat::fmplex::VariableIndex< Var >:

Public Member Functions
	VariableIndex ()
	VariableIndex (const std::vector< Var > &vs)
std::size_t	add_variable (const Var v)
std::size_t	index (Var v) const
Var	var (std::size_t i) const
std::size_t	size () const

Data Fields
std::vector< Var >	m_vars

Detailed Description

template<typename Var>
struct smtrat::fmplex::VariableIndex< Var >

Definition at line 9 of file eliminate.cpp.

Constructor & Destructor Documentation

VariableIndex() [1/2]

template<typename Var >

smtrat::fmplex::VariableIndex< Var >::VariableIndex ( )

inline

Definition at line 12 of file eliminate.cpp.

VariableIndex() [2/2]

template<typename Var >

smtrat::fmplex::VariableIndex< Var >::VariableIndex ( const std::vector< Var > &  vs )

inlineexplicit

Definition at line 14 of file eliminate.cpp.

Member Function Documentation

add_variable()

template<typename Var >

std::size_t smtrat::fmplex::VariableIndex< Var >::add_variable ( const Var  v )

inline

Definition at line 16 of file eliminate.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

index()

template<typename Var >

std::size_t smtrat::fmplex::VariableIndex< Var >::index ( Var  v ) const

inline

Definition at line 23 of file eliminate.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

size()

template<typename Var >

std::size_t smtrat::fmplex::VariableIndex< Var >::size ( ) const

inline

Definition at line 34 of file eliminate.cpp.

Here is the caller graph for this function:

var()

template<typename Var >

Var smtrat::fmplex::VariableIndex< Var >::var ( std::size_t  i ) const

inline

Definition at line 29 of file eliminate.cpp.

Here is the caller graph for this function:

Field Documentation

m_vars

template<typename Var >

std::vector<Var> smtrat::fmplex::VariableIndex< Var >::m_vars

Definition at line 10 of file eliminate.cpp.

---

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

• smtrat-fmplex/eliminate.cpp