line::wfn::WFNPlace Class Reference

#include <line/api/wfn/wfn_place.h>

Public Member Functions
const std::string &	name () const
std::size_t	index () const
	0-based position in WorkflowNet::places().
double	initial_marking () const
void	set_initial_marking (double marking)
	setInitialMarking(m).

Friends
class	WorkflowNet

Detailed Description

Definition at line 29 of file wfn_place.h.

Member Function Documentation

index()

std::size_t line::wfn::WFNPlace::index ( ) const

inline

0-based position in WorkflowNet::places().

Definition at line 33 of file wfn_place.h.

Referenced by WorkflowNet.

initial_marking()

double line::wfn::WFNPlace::initial_marking ( ) const

inline

Definition at line 34 of file wfn_place.h.

Referenced by WorkflowNet.

name()

const std::string & line::wfn::WFNPlace::name ( ) const

inline

Definition at line 31 of file wfn_place.h.

Referenced by WorkflowNet.

set_initial_marking()

void line::wfn::WFNPlace::set_initial_marking ( double marking )

inline

setInitialMarking(m).

Definition at line 37 of file wfn_place.h.

References line::ErrorKind::ErrorKind(), and line::InputError::InputError().

Friends And Related Symbol Documentation

WorkflowNet

friend class WorkflowNet

friend

Definition at line 44 of file wfn_place.h.

References index(), initial_marking(), name(), and WorkflowNet.

Referenced by WorkflowNet.

---

The documentation for this class was generated from the following file:

• include/line/api/wfn/wfn_place.h