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