|
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().