#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) |
|
|
|
|
|
Returns true if fun changes any of the variables in variables.
|
|
|
|
|