Package jline.api.spn

Class Spn_structprops.SpnStructProps

java.lang.Object

jline.api.spn.Spn_structprops.SpnStructProps

Enclosing class:

Spn_structprops

public static class Spn_structprops.SpnStructProps
extends Object

The structural verdicts.

Field Summary

Fields

Modifier and Type	Field	Description
boolean	asymmetric
boolean	bounded
boolean[]	boundedlevels
boolean	conservative
boolean[]	conservedlevels
boolean	consistent
boolean[]	consistentevents
boolean	efc
boolean	freechoice
List<String>	ignored	GSPN features present and ignored: inhibitor, immediate, priority.
boolean	markedgraph
int[]	modes
boolean	ordinary
int[]	places
boolean	repetitive
boolean[]	repetitiveevents
boolean	statemachine
int[]	transitions

Constructor Summary

Constructors

Constructor	Description
SpnStructProps()

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

transitions

public int[] transitions

modes

public int[] modes

bounded

public boolean bounded

boundedlevels

public boolean[] boundedlevels

conservative

public boolean conservative

conservedlevels

public boolean[] conservedlevels

consistent

public boolean consistent

consistentevents

public boolean[] consistentevents

repetitive

public boolean repetitive

repetitiveevents

public boolean[] repetitiveevents

ordinary

public boolean ordinary

statemachine

public boolean statemachine

markedgraph

public boolean markedgraph

freechoice

public boolean freechoice

efc

public boolean efc

asymmetric

public boolean asymmetric

ignored

public List<String> ignored

GSPN features present and ignored: inhibitor, immediate, priority.

Constructor Details

SpnStructProps

public SpnStructProps()