addValuation(const std::map< symbol_t, expression_t > &) | UTAP::Interpreter | |
evaluate(const expression_t) const | UTAP::Interpreter | |
evaluate(const expression_t, std::vector< int32_t > &) const | UTAP::Interpreter | |
evaluate(std::pair< expression_t, expression_t >) const | UTAP::Interpreter | |
getValuation() const | UTAP::Interpreter | |
Interpreter() | UTAP::Interpreter | |
Interpreter(const std::map< symbol_t, expression_t > &) | UTAP::Interpreter | |
sizeOfType(type_t) const | UTAP::Interpreter |