addChan(const symbol_t &, strs_t &, str2procs_t &) | UTAP::SignalFlow | [protected] |
addIntChans(const procs_t &procs, strs_t &result, strs_t &exclude) | UTAP::Partitioner | [protected] |
addIntVars(const procs_t &procs, strs_t &result, strs_t &exclude) | UTAP::Partitioner | [protected] |
addProcs(const strs_t &chans, const str2procs_t &index, procs_t &result, procs_t &exclude) | UTAP::Partitioner | [protected] |
addProcsByVars(const strs_t &vars, procs_t &procs, procs_t &exclude) | UTAP::Partitioner | [protected] |
addVar(const symbol_t &, str2strs_t &, str2procs_t &) | UTAP::SignalFlow | [protected] |
cChan | UTAP::SignalFlow | [protected] |
channels | UTAP::SignalFlow | [protected] |
chansBad | UTAP::Partitioner | [protected] |
chansInp | UTAP::Partitioner | [protected] |
chansIntEnv | UTAP::Partitioner | [protected] |
chansIntIUT | UTAP::Partitioner | [protected] |
chansOut | UTAP::Partitioner | [protected] |
checkParams(const symbol_t &s) | UTAP::SignalFlow | [protected] |
cP | UTAP::SignalFlow | [protected] |
cTA | UTAP::SignalFlow | [protected] |
fillWithEnvProcs(strs_t &procs) | UTAP::Partitioner | |
fillWithIUTProcs(strs_t &procs) | UTAP::Partitioner | |
inp | UTAP::SignalFlow | [protected] |
ioStack | UTAP::SignalFlow | [protected] |
observable | UTAP::Partitioner | [protected] |
out | UTAP::SignalFlow | [protected] |
paramsExpanded | UTAP::SignalFlow | [protected] |
partition(const strs_t &inputs, const strs_t &outputs) | UTAP::Partitioner | |
partition(std::istream &ioinfo) | UTAP::Partitioner | |
Partitioner(const char *_title, TimedAutomataSystem &ta) | UTAP::Partitioner | [inline] |
popIO() | UTAP::SignalFlow | [inline, protected] |
printForDot(std::ostream &os, bool ranked, bool erd, bool cEdged) | UTAP::Partitioner | |
printForTron(std::ostream &os) | UTAP::SignalFlow | |
printViolation(const proc_t *process, const char *variable) | UTAP::Partitioner | [inline] |
proc2strs_t typedef | UTAP::SignalFlow | |
processes | UTAP::SignalFlow | [protected] |
procs | UTAP::SignalFlow | [protected] |
procs_t typedef | UTAP::SignalFlow | |
procsBad | UTAP::Partitioner | [protected] |
procsEnv | UTAP::Partitioner | [protected] |
procsIUT | UTAP::Partitioner | [protected] |
pushIO() | UTAP::SignalFlow | [inline, protected] |
receivers | UTAP::SignalFlow | [protected] |
rule | UTAP::Partitioner | [protected] |
setVerbose(int verbose) | UTAP::SignalFlow | [inline] |
SignalFlow(const char *_title, TimedAutomataSystem &ta) | UTAP::SignalFlow | |
str2procs_t typedef | UTAP::SignalFlow | |
str2strs_t typedef | UTAP::SignalFlow | |
strs_t typedef | UTAP::SignalFlow | |
sync | UTAP::SignalFlow | [protected] |
title | UTAP::SignalFlow | [protected] |
transmiters | UTAP::SignalFlow | [protected] |
variables | UTAP::SignalFlow | [protected] |
varsBad | UTAP::Partitioner | [protected] |
varsEnv | UTAP::Partitioner | [protected] |
varsIUT | UTAP::Partitioner | [protected] |
verbosity | UTAP::SignalFlow | [protected] |
visitAssertStatement(UTAP::AssertStatement *stat) | UTAP::SignalFlow | [virtual] |
visitBlockStatement(BlockStatement *stat) | UTAP::SignalFlow | [virtual] |
visitBreakStatement(BreakStatement *stat) | UTAP::SignalFlow | [virtual] |
visitCaseStatement(CaseStatement *stat) | UTAP::SignalFlow | [virtual] |
visitContinueStatement(ContinueStatement *stat) | UTAP::SignalFlow | [virtual] |
visitDefaultStatement(DefaultStatement *stat) | UTAP::SignalFlow | [virtual] |
visitDoWhileStatement(DoWhileStatement *stat) | UTAP::SignalFlow | [virtual] |
visitEmptyStatement(EmptyStatement *stat) | UTAP::SignalFlow | [virtual] |
visitExpression(const expression_t &) | UTAP::SignalFlow | [protected] |
visitExprStatement(ExprStatement *stat) | UTAP::SignalFlow | [virtual] |
visitForStatement(ForStatement *stat) | UTAP::SignalFlow | [virtual] |
visitIfStatement(IfStatement *stat) | UTAP::SignalFlow | [virtual] |
visitIterationStatement(IterationStatement *stat) | UTAP::SignalFlow | [virtual] |
visitProcess(instance_t &) | UTAP::SignalFlow | [protected] |
visitReturnStatement(ReturnStatement *stat) | UTAP::SignalFlow | [virtual] |
visitSwitchStatement(SwitchStatement *stat) | UTAP::SignalFlow | [virtual] |
visitWhileStatement(WhileStatement *stat) | UTAP::SignalFlow | [virtual] |
~Partitioner() | UTAP::Partitioner | |
~SignalFlow() | UTAP::SignalFlow | [virtual] |
~StatementVisitor() | UTAP::StatementVisitor | [inline, virtual] |