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

Packages that use StateEngine.Looped

uk.ac.man.cs.rainbow.deadlock

Deadlock and temporal model checking.

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

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

static class

StateEngine.ExecuteResult.Loop Indicates that there was a transition to a state on the sequence of states that lead to the current state.