Uses of Class
jline.solvers.fluid.petri.PetriMode

Packages that use PetriMode

Package	Description
jline.solvers.fluid.petri

Uses of PetriMode in jline.solvers.fluid.petri

Fields in jline.solvers.fluid.petri with type parameters of type PetriMode

Modifier and Type	Field	Description
List<PetriMode>	PetriTerms.modes

Methods in jline.solvers.fluid.petri with parameters of type PetriMode

Modifier and Type	Method	Description
static boolean	PetriSystem.isTimed(PetriMode md)	Whether a mode is timed, spelled once.