signalflow.h File Reference

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

Go to the source code of this file.

Namespaces

namespace  UTAP

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

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)


Generated on Thu Feb 22 14:46:52 2007 for libutap by  doxygen 1.4.7