smtrat::mcsat::variableordering::VariableIDs Struct Reference

#include <helper.h>

Collaboration diagram for smtrat::mcsat::variableordering::VariableIDs:

Public Member Functions
std::size_t	operator[] (carl::Variable v)
std::size_t	operator[] (carl::Variable v) const

Data Fields
std::map< carl::Variable, std::size_t >	mIDs

Detailed Description

Definition at line 12 of file helper.h.

Member Function Documentation

operator[]() [1/2]

std::size_t smtrat::mcsat::variableordering::VariableIDs::operator[] ( carl::Variable  v )

inline

Definition at line 14 of file helper.h.

operator[]() [2/2]

std::size_t smtrat::mcsat::variableordering::VariableIDs::operator[] ( carl::Variable  v ) const

inline

Definition at line 21 of file helper.h.

Field Documentation

mIDs

std::map<carl::Variable, std::size_t> smtrat::mcsat::variableordering::VariableIDs::mIDs

Definition at line 13 of file helper.h.

---

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

• smtrat-mcsat/variableordering/helper.h