type_interrupt.h File Reference

Detailed Description

type definitions for catching the user CTRL-C interrupt

Author

Tobias Achterberg

Definition in file type_interrupt.h.

Go to the source code of this file.

Typedefs
typedef struct SCIP_Interrupt	SCIP_INTERRUPT

Typedef Documentation

SCIP_INTERRUPT

typedef struct SCIP_Interrupt SCIP_INTERRUPT

CTRL-C interrupt data

Definition at line 39 of file type_interrupt.h.