type definitions for catching the user CTRL-C interrupt
Definition in file type_interrupt.h.
Go to the source code of this file.
Typedefs | |
typedef struct SCIP_Interrupt | SCIP_INTERRUPT |
typedef struct SCIP_Interrupt SCIP_INTERRUPT |
CTRL-C interrupt data
Definition at line 30 of file type_interrupt.h.