Package jline.api.spn

Class Spn_pf.SpnPfOptions

java.lang.Object

jline.api.spn.Spn_pf.SpnPfOptions

Enclosing class:

Spn_pf

public static class Spn_pf.SpnPfOptions
extends Object

Options of the product-form derivation.

Field Summary

Fields

Modifier and Type	Field	Description
double[]	bound	Per-place-level token bound, passed to spn_mdd; null infers it.
double	tol	Relative tolerance of the rate-law and complex-balance checks.
boolean	verbose

Constructor Summary

Constructors

Constructor	Description
SpnPfOptions()

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, passed to spn_mdd; null infers it.

tol

public double tol

Relative tolerance of the rate-law and complex-balance checks.

verbose

public boolean verbose

Constructor Details

SpnPfOptions

public SpnPfOptions()