CACAO
Public Member Functions | Private Attributes
ValueMap Class Reference

Contains a Value-object for every variable. More...

Public Member Functions

Valueoperator[] (size_t varIndex)
 

Private Attributes

std::vector< Value_values
 

Detailed Description

Contains a Value-object for every variable.

Initially every variable v is mapped to the value v + 0.

Definition at line 36 of file ValueMap.hpp.

Member Function Documentation

Value & ValueMap::operator[] ( size_t  varIndex)
inline

Definition at line 47 of file ValueMap.hpp.

Field Documentation

std::vector<Value> ValueMap::_values
private

Definition at line 38 of file ValueMap.hpp.


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