signalflow.h File Reference

#include "utap/system.h"
#include "utap/statement.h"
#include <cstring>
#include <list>
#include <set>
#include <map>
#include <stack>
#include <algorithm>

Include dependency graph for signalflow.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	UTAP::SignalFlow
	Class SignalFlow is for analysing UPPAAL specifications and extracting the timed automata input/output "interface" information which can be treated as a data flow or entity-relationship map of the system. More...
struct	UTAP::SignalFlow::less_str
struct	UTAP::SignalFlow::proc_t
struct	UTAP::print< T >
	print – template for pretty printing lists. More...
class	UTAP::Partitioner
	Partitions the system into environment and IUT according to TRON assumptions. More...
class	UTAP::DistanceCalculator
	DistanceCalculator is used in TargetFirst heuristic search order of Uppaal. More...

Namespaces
	UTAP

Functions
std::ostream &	UTAP::operator<< (std::ostream &os, const SignalFlow::strs_t &s)
std::ostream &	UTAP::operator<< (std::ostream &os, const SignalFlow::procs_t &ps)