#include <exprengine.h>
Inheritance diagram for ExprEngine::AddressOfValue:
Public Member Functions | |
| AddressOfValue (const std::string &name, int varId) | |
| std::string | getRange () const override |
 Public Member Functions inherited from ExprEngine::Value | |
| Value (const std::string &name, const ValueType type) | |
| virtual | ~Value () |
| virtual std::string | getSymbolicExpression () const |
| virtual bool | isEqual (const DataBase *dataBase, int value) const |
| virtual bool | isGreaterThan (const DataBase *dataBase, int value) const |
| virtual bool | isLessThan (const DataBase *dataBase, int value) const |
| virtual bool | isUninit (const DataBase *dataBase) const |
Public Attributes | |
| int | varId |
| Public Attributes inherited from ExprEngine::Value | |
| const std::string | name |
| ValueType | type |
Detailed Description
Definition at line 261 of file exprengine.h.
Constructor & Destructor Documentation
◆ AddressOfValue()
|
inline |
Definition at line 263 of file exprengine.h.
Member Function Documentation
◆ getRange()
|
inlineoverridevirtual |
Reimplemented from ExprEngine::Value.
Definition at line 268 of file exprengine.h.
References varId.
Member Data Documentation
◆ varId
| int ExprEngine::AddressOfValue::varId |
Definition at line 272 of file exprengine.h.
Referenced by getRange().
The documentation for this class was generated from the following file:
