#include <exprengine.h>
Inheritance diagram for ExprEngine::ConditionalValue:
Public Types | |
| typedef std::vector< std::pair< ValuePtr, ValuePtr > > | Vector |
Public Member Functions | |
| ConditionalValue (const std::string &name, const Vector &values) | |
| std::string | getSymbolicExpression () 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 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 | |
| Vector | values |
| Public Attributes inherited from ExprEngine::Value | |
| const std::string | name |
| ValueType | type |
Detailed Description
Definition at line 182 of file exprengine.h.
Member Typedef Documentation
◆ Vector
| typedef std::vector<std::pair<ValuePtr,ValuePtr> > ExprEngine::ConditionalValue::Vector |
Definition at line 184 of file exprengine.h.
Constructor & Destructor Documentation
◆ ConditionalValue()
|
inline |
Definition at line 186 of file exprengine.h.
Member Function Documentation
◆ getSymbolicExpression()
|
overridevirtual |
Reimplemented from ExprEngine::Value.
Definition at line 1051 of file exprengine.cpp.
Member Data Documentation
◆ values
| Vector ExprEngine::ConditionalValue::values |
Definition at line 190 of file exprengine.h.
The documentation for this class was generated from the following files:
