line::spn::SpnOptions Struct Reference

Options of the translation. More...

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

Collaboration diagram for line::spn::SpnOptions:

Public Attributes
std::vector< double >	bound
	Per-place-level token bound; empty infers it from a place invariant.
std::vector< double >	init
	Initial marking per place level (P * R, place-major); empty reads the model.
std::string	phmemory = "exact"
	"exact" (default) or "resume".
bool	verbose = false
	Print the level and state counts, as the reference's options.verbose does.
bool	descriptor = true
	Build the Kronecker rate descriptor (default true).

Detailed Description

Options of the translation.

Definition at line 147 of file spn_mdd.h.

Member Data Documentation

bound

std::vector<double> line::spn::SpnOptions::bound

Per-place-level token bound; empty infers it from a place invariant.

Definition at line 149 of file spn_mdd.h.

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

descriptor

bool line::spn::SpnOptions::descriptor = true

Build the Kronecker rate descriptor (default true).

Pass false for the MDD-rec route, which reads only the reachable set: the restrictions that exist purely because a Kronecker form must factorise per level (marking-dependent firing rates, multi-server modes drawing from several places) are then lifted, in exchange for the firing times having to be exponential.

Definition at line 164 of file spn_mdd.h.

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

init

std::vector<double> line::spn::SpnOptions::init

Initial marking per place level (P * R, place-major); empty reads the model.

Definition at line 151 of file spn_mdd.h.

phmemory

std::string line::spn::SpnOptions::phmemory = "exact"

"exact" (default) or "resume".

Definition at line 153 of file spn_mdd.h.

verbose

bool line::spn::SpnOptions::verbose = false

Print the level and state counts, as the reference's options.verbose does.

Definition at line 155 of file spn_mdd.h.

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

---

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

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