cadical_signal.cpp File Reference

#include "global.h"
#include "signal.hpp"
#include "cadical.hpp"
#include "resources.hpp"
#include <cassert>
#include <csignal>
#include <unistd.h>

Include dependency graph for cadical_signal.cpp:

Go to the source code of this file.

Namespaces
namespace	CaDiCaL

Macros
#define	SIGNALS
#define	SIGNAL(SIG)
#define	SIGNAL(SIG)
#define	SIGNAL(SIG)
#define	SIGNAL(SIG)

Macro Definition Documentation

SIGNAL [1/4]

#define SIGNAL

(

SIG

)

Value:

static void (*SIG##_handler) (int);

Definition at line 47 of file cadical_signal.cpp.

SIGNAL [2/4]

#define SIGNAL

(

SIG

)

Value:

  (void) signal (SIG, SIG##_handler); \
  SIG##_handler = 0;

Definition at line 47 of file cadical_signal.cpp.

SIGNAL [3/4]

#define SIGNAL

(

SIG

)

Value:

  if (sig == SIG) \
    return #SIG;

Definition at line 47 of file cadical_signal.cpp.

SIGNAL [4/4]

#define SIGNAL

(

SIG

)

Value:

SIG##_handler = signal (SIG, catch_signal);

Definition at line 47 of file cadical_signal.cpp.

SIGNALS

#define SIGNALS

Value:

  SIGNAL (SIGABRT) \
  SIGNAL (SIGINT) \
  SIGNAL (SIGSEGV) \
  SIGNAL (SIGTERM)

Definition at line 41 of file cadical_signal.cpp.

#define SIGNALS \
  SIGNAL (SIGABRT) \
  SIGNAL (SIGINT) \
  SIGNAL (SIGSEGV) \
  SIGNAL (SIGTERM)