libutap  0.93
Uppaal Timed Automata Parser
statementbuilder.cpp File Reference
#include "utap/statementbuilder.h"
#include <vector>
#include <climits>
#include <cmath>
#include <cstdio>
#include <cassert>
#include <cinttypes>
#include <stdexcept>
#include <sstream>
#include <boost/tuple/tuple.hpp>
Include dependency graph for statementbuilder.cpp:

Go to the source code of this file.

Functions

static bool initRec (type_t type, int thisTypeOnly)
 
static bool initialisable (type_t type)
 
static bool mustInitialise (type_t type)
 

Function Documentation

◆ initialisable()

static bool initialisable ( type_t  type)
static

Definition at line 234 of file statementbuilder.cpp.

References initRec().

Referenced by UTAP::StatementBuilder::declVar(), and UTAP::TypeChecker::TypeChecker().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ initRec()

static bool initRec ( type_t  type,
int  thisTypeOnly 
)
static

◆ mustInitialise()

static bool mustInitialise ( type_t  type)
static