line::spn::SpnReachGraph Struct Reference

#include <line/api/spn/spn_reachgraph.h>

Collaboration diagram for line::spn::SpnReachGraph:

Public Attributes
std::vector< std::size_t >	places
	1-based node indices, in level order
std::vector< std::size_t >	transitions
	1-based node index of each event
std::vector< std::size_t >	modes
	0-based mode index of each event
std::vector< std::vector< long long > >	M
	markings, discovery order
std::vector< std::vector< std::size_t > >	E
	edges (from, to, event), 0-based
std::vector< bool >	tangible
std::string	status
	complete, cap or unbounded
std::vector< bool >	unboundedlevels
std::vector< long long >	m0

Detailed Description

Definition at line 43 of file spn_reachgraph.h.

Member Data Documentation

E

std::vector<std::vector<std::size_t> > line::spn::SpnReachGraph::E

edges (from, to, event), 0-based

Definition at line 48 of file spn_reachgraph.h.

Referenced by line::spn::spn_reachprops().

M

std::vector<std::vector<long long> > line::spn::SpnReachGraph::M

markings, discovery order

Definition at line 47 of file spn_reachgraph.h.

Referenced by line::spn::spn_reachprops().

m0

std::vector<long long> line::spn::SpnReachGraph::m0

Definition at line 52 of file spn_reachgraph.h.

modes

std::vector<std::size_t> line::spn::SpnReachGraph::modes

0-based mode index of each event

Definition at line 46 of file spn_reachgraph.h.

places

std::vector<std::size_t> line::spn::SpnReachGraph::places

1-based node indices, in level order

Definition at line 44 of file spn_reachgraph.h.

status

std::string line::spn::SpnReachGraph::status

complete, cap or unbounded

Definition at line 50 of file spn_reachgraph.h.

Referenced by line::spn::spn_reachprops().

tangible

std::vector<bool> line::spn::SpnReachGraph::tangible

Definition at line 49 of file spn_reachgraph.h.

transitions

std::vector<std::size_t> line::spn::SpnReachGraph::transitions

1-based node index of each event

Definition at line 45 of file spn_reachgraph.h.

unboundedlevels

std::vector<bool> line::spn::SpnReachGraph::unboundedlevels

Definition at line 51 of file spn_reachgraph.h.

Referenced by line::spn::spn_reachprops().

---

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

• include/line/api/spn/spn_reachgraph.h