Uses of Class
jline.lang.ModelAdapter.FJTagResult

Packages that use ModelAdapter.FJTagResult

Package	Description
jline.lang	Abstractions to declare basic elements of a model.

Uses of ModelAdapter.FJTagResult in jline.lang

Methods in jline.lang that return ModelAdapter.FJTagResult

Modifier and Type	Method	Description
static ModelAdapter.FJTagResult	ModelAdapter.fjtag(Network model)	Build a tag-augmented copy of a closed fork-join model for exact native analysis by SolverCTMC/SolverSSA.