SpecSim Programmer Manual

typedef void* DeClosure

an opaque data type

DeClosure represents light-weight threads. They are essentially functions that can be executed atomically (there is no context switch before the completion of its execution).

alphabetic index hierarchy of classes


generated by doc++