#include <setjmp.h>
#include "kernel/mod2.h"
#include "kernel/structs.h"
Go to the source code of this file.
|
void | init_signals () |
| init signal handlers and error handling for libraries: NTL, factory More...
|
|
◆ init_signals()
init signal handlers and error handling for libraries: NTL, factory
Definition at line 561 of file cntrlc.cc.
565 #if (((NTL_MAJOR_VERSION==9)&&(NTL_MINOR_VERSION>=3))||(NTL_MAJOR_VERSION>=10))
◆ defer_shutdown
volatile int defer_shutdown |
|
extern |
◆ do_shutdown
◆ si_restart
◆ si_start_jmpbuf
◆ singular_in_batchmode
◆ siRandomStart