Uses of Interface
dev.civl.mc.predicate.IF.PotentialDeadlock

Packages that use PotentialDeadlock

Package	Description
dev.civl.mc.predicate.IF	Module predicate defines predicates that are required to hold for any CIVL-C programs.

Uses of PotentialDeadlock in dev.civl.mc.predicate.IF

Methods in dev.civl.mc.predicate.IF that return PotentialDeadlock

Modifier and Type	Method	Description
static PotentialDeadlock	Predicates.newPotentialDeadlock(dev.civl.sarl.IF.SymbolicUniverse universe, Enabler enabler, LibraryEnablerLoader loader, Evaluator evaluator, ModelFactory modelFactory, SymbolicUtility symbolicUtil, SymbolicAnalyzer symbolicAnalyzer)