Main Page | Namespace List | Class Hierarchy | Class List | Directories | File List | Namespace Members | Class Members | File Members

UTAP::Interpreter Class Reference

#include <expression.h>

List of all members.

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)
size_t sizeOfType (type_t) const
 Returns the number of integer elements needed to represent a variable of this type.


Constructor & Destructor Documentation

Interpreter::Interpreter  ) 
 

Interpreter::Interpreter const std::map< symbol_t, expression_t > &   ) 
 


Member Function Documentation

void Interpreter::addValuation const std::map< symbol_t, expression_t > &   ) 
 

range_t Interpreter::evaluate std::pair< expression_t, expression_t  )  const throw (InterpreterException)
 

void UTAP::Interpreter::evaluate const   expression_t,
std::vector< int32_t > & 
const throw (InterpreterException)
 

int32_t UTAP::Interpreter::evaluate const   expression_t  )  const throw (InterpreterException)
 

const map< symbol_t, expression_t > & Interpreter::getValuation  )  const
 

size_t Interpreter::sizeOfType type_t   )  const
 

Returns the number of integer elements needed to represent a variable of this type.


The documentation for this class was generated from the following files:
Generated on Thu Nov 10 13:16:12 2005 for libutap by  doxygen 1.4.2