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

systembuilder.cpp File Reference

#include <vector>
#include <climits>
#include <cmath>
#include <cstdio>
#include <cassert>
#include <inttypes.h>
#include <stdexcept>
#include <sstream>
#include <boost/tuple/tuple.hpp>
#include "utap/systembuilder.h"

Functions

static void collectDependencies (std::set< symbol_t > &dependencies, expression_t expr)
static void collectDependencies (std::set< symbol_t > &dependencies, type_t type)
static bool initialisable (type_t type)
static bool mustInitialise (type_t type)

Function Documentation

static void collectDependencies std::set< symbol_t > &  dependencies,
type_t  type
[static]
 

static void collectDependencies std::set< symbol_t > &  dependencies,
expression_t  expr
[static]
 

static bool initialisable type_t  type  )  [static]
 

static bool mustInitialise type_t  type  )  [static]
 


Generated on Sat Apr 29 21:02:14 2006 for libutap by  doxygen 1.4.2