Uses of Class
jline.api.spn.Spn_tinvariants.SpnTInvariants

Packages that use Spn_tinvariants.SpnTInvariants

Package	Description
jline.api.spn	Stochastic Petri net analysis.

Uses of Spn_tinvariants.SpnTInvariants in jline.api.spn

Fields in jline.api.spn declared as Spn_tinvariants.SpnTInvariants

Modifier and Type	Field	Description
Spn_tinvariants.SpnTInvariants	Spn_properties.SpnProperties.tinv

Methods in jline.api.spn that return Spn_tinvariants.SpnTInvariants

Modifier and Type	Method	Description
static Spn_tinvariants.SpnTInvariants	Spn_tinvariants.spn_tinvariants(NetworkStruct sn)	Minimal-support T-invariants.