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

expression.cpp File Reference

#include <cassert>
#include <algorithm>
#include "utap/builder.h"
#include "utap/system.h"
#include "utap/expression.h"

Namespaces

namespace  Constants

Functions

static bool changes (function_t *fun, const std::set< symbol_t > &variables)
 Returns true if fun changes any of the variables in variables.
static void ensure (char *&str, char *&end, int &size, int len)
static void append (char *&str, char *&end, int &size, const char *s)
static void append (char *&str, char *&end, int &size, char c)
ostream & operator<< (ostream &o, const expression_t &e)

Function Documentation

static void append char *&  str,
char *&  end,
int &  size,
char  c
[static]
 

static void append char *&  str,
char *&  end,
int &  size,
const char *  s
[static]
 

static bool changes function_t fun,
const std::set< symbol_t > &  variables
[static]
 

Returns true if fun changes any of the variables in variables.

static void ensure char *&  str,
char *&  end,
int &  size,
int  len
[static]
 

ostream& operator<< ostream &  o,
const expression_t e
 


Generated on Thu Feb 17 15:20:58 2005 for libutap by  doxygen 1.4.1