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

Packages that use Deadlock

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

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

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

Modifier and Type	Method	Description
static Deadlock	Predicates.newDeadlock(dev.civl.sarl.IF.SymbolicUniverse universe, Enabler enabler, StateFactory stateFactory, SymbolicAnalyzer symbolicAnalyzer)