line::wfn::WFNPlace Member List

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

index() const	line::wfn::WFNPlace	inline
initial_marking() const	line::wfn::WFNPlace	inline
name() const	line::wfn::WFNPlace	inline
set_initial_marking(double marking)	line::wfn::WFNPlace	inline
WorkflowNet class	line::wfn::WFNPlace	friend