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 |