UTAP::Partitioner Member List

This is the complete list of members for UTAP::Partitioner, including all inherited members.

addChan(const std::string &, 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
chanString	UTAP::SignalFlow	protected
checkParams(const symbol_t &s)	UTAP::SignalFlow	protected
cP	UTAP::SignalFlow	protected
cTA	UTAP::SignalFlow	protected
exprref_t typedef	UTAP::SignalFlow
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	inlineprotected
printChansOnEdgesForDot(std::ostream &os)	UTAP::SignalFlow	protectedvirtual
printChansSeparateForDot(std::ostream &os, bool ranked, bool erd)	UTAP::SignalFlow	protectedvirtual
printForDot(std::ostream &os, bool ranked, bool erd, bool cEdged) override	UTAP::Partitioner	virtual
printForTron(std::ostream &os)	UTAP::SignalFlow
printProcsForDot(std::ostream &os, bool erd)	UTAP::SignalFlow	protectedvirtual
printVarsForDot(std::ostream &os, bool ranked, bool erd)	UTAP::SignalFlow	protectedvirtual
printVarsReadForDot(std::ostream &os)	UTAP::SignalFlow	protectedvirtual
printVarsWriteForDot(std::ostream &os)	UTAP::SignalFlow	protectedvirtual
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	inlineprotected
receivers	UTAP::SignalFlow	protected
refparams	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
transmitters	UTAP::SignalFlow	protected
valparams	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) override	UTAP::SignalFlow	virtual
visitBlockStatement(BlockStatement *stat) override	UTAP::SignalFlow	virtual
visitBreakStatement(BreakStatement *stat) override	UTAP::SignalFlow	virtual
visitCaseStatement(CaseStatement *stat) override	UTAP::SignalFlow	virtual
visitContinueStatement(ContinueStatement *stat) override	UTAP::SignalFlow	virtual
visitDefaultStatement(DefaultStatement *stat) override	UTAP::SignalFlow	virtual
visitDoWhileStatement(DoWhileStatement *stat) override	UTAP::SignalFlow	virtual
visitEmptyStatement(EmptyStatement *stat) override	UTAP::SignalFlow	virtual
visitExpression(const expression_t &)	UTAP::SignalFlow	protected
visitExprStatement(ExprStatement *stat) override	UTAP::SignalFlow	virtual
visitForStatement(ForStatement *stat) override	UTAP::SignalFlow	virtual
visitIfStatement(IfStatement *stat) override	UTAP::SignalFlow	virtual
visitIterationStatement(IterationStatement *stat) override	UTAP::SignalFlow	virtual
visitProcess(instance_t &)	UTAP::SignalFlow	protected
visitReturnStatement(ReturnStatement *stat) override	UTAP::SignalFlow	virtual
visitSwitchStatement(SwitchStatement *stat) override	UTAP::SignalFlow	virtual
visitWhileStatement(WhileStatement *stat) override	UTAP::SignalFlow	virtual
~Partitioner()	UTAP::Partitioner
~SignalFlow()	UTAP::SignalFlow	virtual
~StatementVisitor()	UTAP::StatementVisitor	inlinevirtual