Selector for generic processing with Event. More...
Go to the source code of this file.
Selector for generic processing with Event.
Definition in file ProofEvent.h.