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; empty takes it from the reference stations.
std::string	phmemory = "exact"
	"exact" (default) or "resume".
bool	descriptor = true
	Build the Kronecker rate descriptor (default true).

Detailed Description

Options of the translation.

Definition at line 140 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 142 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 155 of file spn_mdd.h.

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

◆ init

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

Initial marking per place level; empty takes it from the reference stations.

Definition at line 144 of file spn_mdd.h.

◆ phmemory

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

"exact" (default) or "resume".

Definition at line 146 of file spn_mdd.h.

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

include/line/api/spn/spn_mdd.h