smtrat::qe::util::VariableIndex Struct Reference

#include <VariableIndex.h>

Collaboration diagram for smtrat::qe::util::VariableIndex:

Public Member Functions
	VariableIndex ()
	VariableIndex (const std::vector< carl::Variable > &vs)
std::size_t	add_variable (const carl::Variable v)
void	gather_variables (const FormulasT &fs)
std::size_t	index (carl::Variable v) const
carl::Variable	var (std::size_t i) const
std::size_t	size () const

Data Fields
std::vector< carl::Variable >	m_vars

Detailed Description

Definition at line 7 of file VariableIndex.h.

Constructor & Destructor Documentation

VariableIndex() [1/2]

smtrat::qe::util::VariableIndex::VariableIndex ( )

inline

Definition at line 10 of file VariableIndex.h.

VariableIndex() [2/2]

smtrat::qe::util::VariableIndex::VariableIndex ( const std::vector< carl::Variable > &  vs )

inlineexplicit

Definition at line 13 of file VariableIndex.h.

Member Function Documentation

add_variable()

std::size_t smtrat::qe::util::VariableIndex::add_variable ( const carl::Variable  v )

inline

Definition at line 15 of file VariableIndex.h.

Here is the call graph for this function:

Here is the caller graph for this function:

gather_variables()

void smtrat::qe::util::VariableIndex::gather_variables ( const FormulasT &  fs )

inline

Definition at line 22 of file VariableIndex.h.

Here is the call graph for this function:

Here is the caller graph for this function:

index()

std::size_t smtrat::qe::util::VariableIndex::index ( carl::Variable  v ) const

inline

Definition at line 28 of file VariableIndex.h.

Here is the call graph for this function:

Here is the caller graph for this function:

size()

std::size_t smtrat::qe::util::VariableIndex::size ( void  ) const

inline

Definition at line 38 of file VariableIndex.h.

Here is the caller graph for this function:

var()

carl::Variable smtrat::qe::util::VariableIndex::var ( std::size_t  i ) const

inline

Definition at line 33 of file VariableIndex.h.

Here is the caller graph for this function:

Field Documentation

m_vars

std::vector<carl::Variable> smtrat::qe::util::VariableIndex::m_vars

Definition at line 8 of file VariableIndex.h.

---

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

• smtrat-qe/util/VariableIndex.h