Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES
SUMMARY:  INNER | FIELD | CONSTR | METHOD DETAIL:  FIELD | CONSTR | METHOD

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

All Superinterfaces:
Serializable, StateEngine.Execed
All Known Implementing Classes:
StateEngine.ExecuteResult.Old
Enclosing class:
StateEngine
public static interface StateEngine.Repeated
extends StateEngine.Execed

When an old state is detected, extra information must be returned.

Fields inherited from interface uk.ac.man.cs.rainbow.wvmc.StateEngine.Execed
LOOP, NEW, NONE, OLD
 
Method Summary
 Boolean getState()
          What was the valuation of the state?
 
Methods inherited from interface uk.ac.man.cs.rainbow.wvmc.StateEngine.Execed
getKind
 

Method Detail

getState

public Boolean getState()
What was the valuation of the state?
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES
SUMMARY:  INNER | FIELD | CONSTR | METHOD DETAIL:  FIELD | CONSTR | METHOD