#include <cassert>
#include <algorithm>
#include "utap/builder.hh"
#include "utap/system.hh"
#include "utap/expression.hh"
Namespaces | |
namespace | Constants |
Functions | |
bool | changes (function_t *fun, const std::set< symbol_t > &variables) |
void | ensure (char *&str, char *&end, int &size, int len) |
void | append (char *&str, char *&end, int &size, const char *s) |
void | append (char *&str, char *&end, int &size, char c) |
|
|
|
|
|
|
|
|