Package jline.api.spn

Class Spn_mdd.SpnInfo

java.lang.Object

jline.api.spn.Spn_mdd.SpnInfo

Enclosing class:

Spn_mdd

public static class Spn_mdd.SpnInfo
extends Object

Everything the caller needs alongside the descriptor.

Field Summary

Fields

Modifier and Type	Field	Description
String[]	classnames
boolean	descriptor	Whether the Kronecker descriptor was built.
boolean[]	everDisabled	Whether each mode was ever found disabled in a reachable marking.
int[]	init
int[]	levelkind	1 for a place level, 2 for a phase level.
String[]	levelname
MDD	mdd
List<Spn_mdd.SpnMode>	modes
int	nclasses
int	nnodes	Node count of the model, so an arc-shaped marking matrix can be rebuilt.
int	nplacelevels
int[]	phaseof	1-based phase level of each mode, 0 when the mode has one phase.
String[]	placenames
int[]	places	Node indices of the places.

Constructor Summary

Constructors

Constructor	Description
SpnInfo()

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

places

public int[] places

Node indices of the places.

placenames

public String[] placenames

classnames

public String[] classnames

levelkind

public int[] levelkind

1 for a place level, 2 for a phase level.

levelname

public String[] levelname

modes

public List<Spn_mdd.SpnMode> modes

init

public int[] init

mdd

public MDD mdd

phaseof

public int[] phaseof

1-based phase level of each mode, 0 when the mode has one phase.

everDisabled

public boolean[] everDisabled

Whether each mode was ever found disabled in a reachable marking.

nplacelevels

public int nplacelevels

nnodes

public int nnodes

Node count of the model, so an arc-shaped marking matrix can be rebuilt.

nclasses

public int nclasses

descriptor

public boolean descriptor

Whether the Kronecker descriptor was built.

Constructor Details

SpnInfo

public SpnInfo()