Package jline.api.spn

Class Spn_properties.SpnProperties

java.lang.Object

jline.api.spn.Spn_properties.SpnProperties

Enclosing class:

Spn_properties

public static class Spn_properties.SpnProperties
extends Object

All the properties.

Field Summary

Fields

Modifier and Type	Field	Description
boolean	commoner
List<String>	ignored
long[]	m0
Spn_reachprops.SpnReachProps	reach
Spn_sinvariants.SpnInvariants	sinv
Spn_siphons.SpnSiphons	siphons
Spn_structprops.SpnStructProps	struct
int	structdeadlockfree
int	structlive
Spn_tinvariants.SpnTInvariants	tinv
Spn_traps.SpnTraps	traps

Constructor Summary

Constructors

Constructor	Description
SpnProperties()

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

m0

public long[] m0

ignored

public List<String> ignored

sinv

public Spn_sinvariants.SpnInvariants sinv

tinv

public Spn_tinvariants.SpnTInvariants tinv

siphons

public Spn_siphons.SpnSiphons siphons

traps

public Spn_traps.SpnTraps traps

struct

public Spn_structprops.SpnStructProps struct

reach

public Spn_reachprops.SpnReachProps reach

commoner

public boolean commoner

structdeadlockfree

public int structdeadlockfree

structlive

public int structlive

Constructor Details

SpnProperties

public SpnProperties()