line::spn::SpnInfo< T > Struct Template Reference

Everything the caller needs alongside the descriptor. More...

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

Collaboration diagram for line::spn::SpnInfo< T >:

Public Member Functions
	SpnInfo ()

Public Attributes
std::vector< std::size_t >	places
	1-based node indices of the places.
std::vector< std::string >	placenames
std::vector< int >	levelkind
	1 for a place level, 2 for a phase level.
std::vector< std::string >	levelname
std::vector< SpnMode< T > >	modes
std::vector< int >	init
mdd::MDD	diagram
std::vector< std::size_t >	phaseof
	1-based phase level of each mode, 0 when the mode has one phase.
std::vector< bool >	ever_disabled
	Whether each mode was ever found disabled in a reachable marking.
std::size_t	nplacelevels = 0
std::size_t	nnodes = 0
	Node count of the model, so a firingdep argument can be rebuilt.
bool	descriptor = true
	Whether the Kronecker descriptor was built.

Detailed Description

template<class T>
struct line::spn::SpnInfo< T >

Everything the caller needs alongside the descriptor.

Definition at line 108 of file spn_mdd.h.

Constructor & Destructor Documentation

SpnInfo()

template<class T>

line::spn::SpnInfo< T >::SpnInfo ( )

inline

Definition at line 128 of file spn_mdd.h.

References diagram.

Member Data Documentation

descriptor

template<class T>

bool line::spn::SpnInfo< T >::descriptor = true

Whether the Kronecker descriptor was built.

Definition at line 126 of file spn_mdd.h.

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

diagram

template<class T>

mdd::MDD line::spn::SpnInfo< T >::diagram

Definition at line 117 of file spn_mdd.h.

Referenced by line::spn::spn_mdd(), line::spn::spn_pf(), and SpnInfo().

ever_disabled

template<class T>

std::vector<bool> line::spn::SpnInfo< T >::ever_disabled

Whether each mode was ever found disabled in a reachable marking.

Definition at line 121 of file spn_mdd.h.

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

init

template<class T>

std::vector<int> line::spn::SpnInfo< T >::init

Definition at line 116 of file spn_mdd.h.

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

levelkind

template<class T>

std::vector<int> line::spn::SpnInfo< T >::levelkind

1 for a place level, 2 for a phase level.

Definition at line 113 of file spn_mdd.h.

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

levelname

template<class T>

std::vector<std::string> line::spn::SpnInfo< T >::levelname

Definition at line 114 of file spn_mdd.h.

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

modes

template<class T>

std::vector<SpnMode<T> > line::spn::SpnInfo< T >::modes

Definition at line 115 of file spn_mdd.h.

Referenced by line::spn::spn_mdd(), line::spn::spn_metrics(), and line::spn::spn_pf().

nnodes

template<class T>

std::size_t line::spn::SpnInfo< T >::nnodes = 0

Node count of the model, so a firingdep argument can be rebuilt.

Definition at line 124 of file spn_mdd.h.

Referenced by line::spn::spn_mdd(), and line::spn::spn_pf().

nplacelevels

template<class T>

std::size_t line::spn::SpnInfo< T >::nplacelevels = 0

Definition at line 122 of file spn_mdd.h.

Referenced by line::spn::spn_mdd(), line::spn::spn_metrics(), and line::spn::spn_pf().

phaseof

template<class T>

std::vector<std::size_t> line::spn::SpnInfo< T >::phaseof

1-based phase level of each mode, 0 when the mode has one phase.

Definition at line 119 of file spn_mdd.h.

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

placenames

template<class T>

std::vector<std::string> line::spn::SpnInfo< T >::placenames

Definition at line 111 of file spn_mdd.h.

Referenced by line::spn::spn_mdd(), and line::spn::spn_pf().

places

template<class T>

std::vector<std::size_t> line::spn::SpnInfo< T >::places

1-based node indices of the places.

Definition at line 110 of file spn_mdd.h.

Referenced by line::spn::spn_mdd(), and line::spn::spn_pf().

---

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

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