|
Cppcheck
|
#include <exprengine.h>
Public Member Functions | |
| UninitValue () | |
| bool | isEqual (const DataBase *dataBase, int value) const override |
| bool | isUninit (const DataBase *dataBase) const override |
Public Member Functions inherited from ExprEngine::Value | |
| Value (const std::string &name, const ValueType type) | |
| virtual | ~Value () |
| virtual std::string | getRange () const |
| virtual std::string | getSymbolicExpression () const |
| virtual bool | isGreaterThan (const DataBase *dataBase, int value) const |
| virtual bool | isLessThan (const DataBase *dataBase, int value) const |
Additional Inherited Members | |
Public Attributes inherited from ExprEngine::Value | |
| const std::string | name |
| ValueType | type |
Definition at line 131 of file exprengine.h.
|
inline |
Definition at line 133 of file exprengine.h.
|
inlineoverridevirtual |
Reimplemented from ExprEngine::Value.
Definition at line 134 of file exprengine.h.
|
overridevirtual |
Reimplemented from ExprEngine::Value.
Definition at line 1325 of file exprengine.cpp.