Uses of Class
uk.ac.man.cs.rainbow.wvmc.StateEngine

Packages that use StateEngine

uk.ac.man.cs.rainbow.wvmc

Classes implementing a model-checker.

Uses of StateEngine in uk.ac.man.cs.rainbow.wvmc

Fields in uk.ac.man.cs.rainbow.wvmc declared as StateEngine

StateEngine

TemporalModel.engine The state engine to check against.

Constructors in uk.ac.man.cs.rainbow.wvmc with parameters of type StateEngine

TemporalModel(StateEngine engine, AutomataBuilder builder)