Cppcheck
|
This is the complete list of members for ExprEngine::AddressOfValue, including all inherited members.
AddressOfValue(const std::string &name, int varId) | ExprEngine::AddressOfValue | inline |
getRange() const override | ExprEngine::AddressOfValue | inlinevirtual |
getSymbolicExpression() const | ExprEngine::Value | inlinevirtual |
isEqual(const DataBase *dataBase, int value) const | ExprEngine::Value | inlinevirtual |
isGreaterThan(const DataBase *dataBase, int value) const | ExprEngine::Value | inlinevirtual |
isLessThan(const DataBase *dataBase, int value) const | ExprEngine::Value | inlinevirtual |
isUninit(const DataBase *dataBase) const | ExprEngine::Value | inlinevirtual |
name | ExprEngine::Value | |
type | ExprEngine::Value | |
Value(const std::string &name, const ValueType type) | ExprEngine::Value | inline |
varId | ExprEngine::AddressOfValue | |
~Value() | ExprEngine::Value | inlinevirtual |