|
Medial Code Documentation
|
Represents the actual value of a symbol identified by its tag. More...
#include <SymbolicIndex.h>
Public Member Functions | |
| SymbolValue (Index val) | |
| Default constructor from the value val. | |
| Index | value () const |
Protected Attributes | |
| Index | m_value |
Represents the actual value of a symbol identified by its tag.
It is the return type of SymbolValue::operator=, and most of the time this is only way it is used.
|
inline |