#include <expression.hh>
Public Member Functions | |
Interpreter () | |
Interpreter (const std::map< symbol_t, expression_t > &) | |
void | addValuation (const std::map< symbol_t, expression_t > &) |
const std::map< symbol_t, expression_t > & | getValuation () const |
int32_t | evaluate (const expression_t) const throw (InterpreterException) |
void | evaluate (const expression_t, std::vector< int32_t > &) const throw (InterpreterException) |
range_t | evaluate (std::pair< expression_t, expression_t >) const throw (InterpreterException) |
int32_t | sizeOfType (type_t) const |
Returns the number of integer elements needed to represent a variable of this type. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Returns the number of integer elements needed to represent a variable of this type.
|