Uses of Interface
uk.ac.man.cs.rainbow.wvmc.StateEngine.Repeated

Packages that use StateEngine.Repeated

uk.ac.man.cs.rainbow.deadlock

Deadlock and temporal model checking.

Uses of StateEngine.Repeated in uk.ac.man.cs.rainbow.deadlock

Classes in uk.ac.man.cs.rainbow.deadlock that implement StateEngine.Repeated

static class

StateEngine.ExecuteResult.Old Indicates that there was a transition to a state that had previously been backtracked out of.