VariableContainer::Private Struct Reference

List of all members.

---

Detailed Description

Definition at line 205 of file SatProblem.cpp.

Public Types
typedef std::string	TVarName
typedef std::vector< TVarName >	TIndexToName
typedef std::map< TVarName, int >	TNameToIndex
Public Attributes
TIndexToName	indexToName
TNameToIndex	nameToIndex
int	currentIndex

---

Member Typedef Documentation

typedef std::string TVarName

Definition at line 206 of file SatProblem.cpp.

typedef std::vector<TVarName> TIndexToName

Definition at line 207 of file SatProblem.cpp.

typedef std::map<TVarName, int> TNameToIndex

Definition at line 208 of file SatProblem.cpp.

---

Member Data Documentation

TIndexToName indexToName

Definition at line 209 of file SatProblem.cpp.

Referenced by VariableContainer::addVariable(), and VariableContainer::getVarName().

TNameToIndex nameToIndex

Definition at line 210 of file SatProblem.cpp.

Referenced by VariableContainer::addVariable().

int currentIndex

Definition at line 211 of file SatProblem.cpp.

Referenced by VariableContainer::addVariable(), VariableContainer::getLength(), and VariableContainer::VariableContainer().

---

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

• SatProblem.cpp

---