Package jline.api.spn

Class Spn_mdd.SpnOptions

java.lang.Object

jline.api.spn.Spn_mdd.SpnOptions

Enclosing class:

Spn_mdd

public static class Spn_mdd.SpnOptions
extends Object

Options of the translation.

Field Summary

Fields

Modifier and Type	Field	Description
double[]	bound	Per-place-level token bound; null infers it from a place invariant.
boolean	descriptor	Build the Kronecker rate descriptor (default true).
String	phmemory	"exact" (default) or "resume".
boolean	verbose

Constructor Summary

Constructors

Constructor	Description
SpnOptions()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

bound

public double[] bound

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

phmemory

public String phmemory

"exact" (default) or "resume".

descriptor

public boolean descriptor

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.

verbose

public boolean verbose

Constructor Details

SpnOptions

public SpnOptions()