Package jline.api.spn

Class Spn_ispn.Options

java.lang.Object

jline.api.spn.Spn_ispn.Options

Enclosing class:

Spn_ispn

public static class Spn_ispn.Options
extends Object

Options of Spn_ispn.spn_ispn(double[][], double[][], double[][], double[], boolean[], double[], double[], int).

Field Summary

Fields

Modifier and Type	Field	Description
double	distmax	largest level of the reported distribution of P0
int	extra	levels explored above the structural threshold (at least 3)
int	maxlevel	largest explored window before the net is refused
int	maxstates	largest number of markings explored
String	qbdmethod	"logred" or "successive"
List<Function<double[],Double>>	rewards	reward functions of the marking, affine in the level above K
double	tol	tolerance of the block-repetition and affinity tests

Constructor Summary

Constructors

Constructor	Description
Options()

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

extra

public int extra

levels explored above the structural threshold (at least 3)

maxlevel

public int maxlevel

largest explored window before the net is refused

maxstates

public int maxstates

largest number of markings explored

tol

public double tol

tolerance of the block-repetition and affinity tests

distmax

public double distmax

largest level of the reported distribution of P0

rewards

public List<Function<double[],Double>> rewards

reward functions of the marking, affine in the level above K

qbdmethod

public String qbdmethod

"logred" or "successive"

Constructor Details

Options

public Options()