libutap
0.93
Uppaal Timed Automata Parser
|
#include "utap/signalflow.h"
#include "utap/common.h"
#include <iostream>
#include <sstream>
#include <string>
#include <iterator>
#include <algorithm>
#include <functional>
#include <cassert>
Go to the source code of this file.
Macros | |
#define | BADSTYLE "style=filled,fillcolor=\"#FF8080\"" |
#define | IUTSTYLE "style=filled,fillcolor=\"#B8C0FF\"" |
#define | ENVSTYLE "style=filled,fillcolor=\"#C8FFC8\"" |
#define | MEDSTYLE "style=filled,fillcolor=\"#C0C0C0\"" |
Functions | |
char * | get_token (istream &in) |
void | set_remove (SignalFlow::strs_t &from, const SignalFlow::strs_t &what) |
Variables | |
static const char * | noChan = "-" |
#define BADSTYLE "style=filled,fillcolor=\"#FF8080\"" |
Definition at line 1187 of file signalflow.cpp.
Referenced by UTAP::Partitioner::printForDot().
#define ENVSTYLE "style=filled,fillcolor=\"#C8FFC8\"" |
Definition at line 1189 of file signalflow.cpp.
Referenced by UTAP::Partitioner::printForDot().
#define IUTSTYLE "style=filled,fillcolor=\"#B8C0FF\"" |
Definition at line 1188 of file signalflow.cpp.
Referenced by UTAP::Partitioner::printForDot().
#define MEDSTYLE "style=filled,fillcolor=\"#C0C0C0\"" |
Definition at line 1190 of file signalflow.cpp.
Referenced by UTAP::Partitioner::printForDot().
char* get_token | ( | istream & | in | ) |
Definition at line 1019 of file signalflow.cpp.
References free(), and UTAP::Partitioner::partition().
|
inline |
Definition at line 1192 of file signalflow.cpp.
References UTAP::SignalFlow::out.
Referenced by UTAP::Partitioner::printForDot().
|
static |
Definition at line 418 of file signalflow.cpp.
Referenced by UTAP::SignalFlow::visitProcess().