galois.runtime
Interface NonDeterministicCallback

All Superinterfaces:
Callback, Replayable

public interface NonDeterministicCallback
extends Replayable, Callback

Interface for callbacks that execute non-deterministically and thus must be recorded specially for deterministic playback.


Method Summary
 
Methods inherited from interface galois.runtime.Replayable
getRid, setRid
 
Methods inherited from interface galois.runtime.Callback
call