|
Cppcheck
|
This is the complete list of members for ExprEngine::ConditionalValue, including all inherited members.
| ConditionalValue(const std::string &name, const Vector &values) | ExprEngine::ConditionalValue | inline |
| getRange() const | ExprEngine::Value | inlinevirtual |
| getSymbolicExpression() const override | ExprEngine::ConditionalValue | virtual |
| 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 |
| values | ExprEngine::ConditionalValue | |
| Vector typedef | ExprEngine::ConditionalValue | |
| ~Value() | ExprEngine::Value | inlinevirtual |