line::wfn::WFNTransition Member List

This is the complete list of members for line::wfn::WFNTransition, including all inherited members.

distribution() const	line::wfn::WFNTransition	inline
index() const	line::wfn::WFNTransition	inline
is_immediate() const	line::wfn::WFNTransition	inline
is_timed() const	line::wfn::WFNTransition	inline
name() const	line::wfn::WFNTransition	inline
priority() const	line::wfn::WFNTransition	inline
resource() const	line::wfn::WFNTransition	inline
servers() const	line::wfn::WFNTransition	inline
set_distribution(const lang::Distrib< double > &d)	line::wfn::WFNTransition	inline
set_priority(double priority)	line::wfn::WFNTransition	inline
set_servers(double servers)	line::wfn::WFNTransition	inline
set_timing(lang::TimingStrategy timing)	line::wfn::WFNTransition	inline
set_weight(double weight)	line::wfn::WFNTransition	inline
timing() const	line::wfn::WFNTransition	inline
weight() const	line::wfn::WFNTransition	inline
WorkflowNet class	line::wfn::WFNTransition	friend