CaDiCaL::Signal Class Reference

#include <signal.hpp>

Static Public Member Functions
static void	set (Handler *)
static void	reset ()
static void	alarm (int seconds)
static void	reset_alarm ()
static const char *	name (int sig)

Detailed Description

Definition at line 22 of file signal.hpp.

Member Function Documentation

alarm()

void CaDiCaL::Signal::alarm ( int seconds )

static

Definition at line 130 of file cadical_signal.cpp.

                               {
  CADICAL_assert (seconds >= 0);
  CADICAL_assert (!alarm_set);
  CADICAL_assert (alarm_time < 0);
  SIGALRM_handler = signal (SIGALRM, catch_signal);
  alarm_set = true;
  alarm_time = absolute_real_time () + seconds;
  ::alarm (seconds);
}

Here is the call graph for this function:

Here is the caller graph for this function:

name()

const char * CaDiCaL::Signal::name ( int sig )

static

Definition at line 80 of file cadical_signal.cpp.

                                 {
#define SIGNAL(SIG) \
  if (sig == SIG) \
    return #SIG;
  SIGNALS
#undef SIGNAL
#ifndef WIN32
  if (sig == SIGALRM)
    return "SIGALRM";
#endif
  return "UNKNOWN";
}

reset()

void CaDiCaL::Signal::reset ( )

static

Definition at line 67 of file cadical_signal.cpp.

                    {
  signal_handler = 0;
#define SIGNAL(SIG) \
  (void) signal (SIG, SIG##_handler); \
  SIG##_handler = 0;
  SIGNALS
#undef SIGNAL
#ifndef WIN32
  reset_alarm ();
#endif
  caught_signal = false;
}

Here is the call graph for this function:

reset_alarm()

void CaDiCaL::Signal::reset_alarm ( )

static

Definition at line 55 of file cadical_signal.cpp.

                          {
  if (!alarm_set)
    return;
  (void) signal (SIGALRM, SIGALRM_handler);
  SIGALRM_handler = 0;
  caught_alarm = false;
  alarm_set = false;
  alarm_time = -1;
}

Here is the caller graph for this function:

set()

void CaDiCaL::Signal::set ( Handler * h )

static

Definition at line 121 of file cadical_signal.cpp.

                            {
  signal_handler = h;
#define SIGNAL(SIG) SIG##_handler = signal (SIG, catch_signal);
  SIGNALS
#undef SIGNAL
}

---

The documentation for this class was generated from the following files:

• src/sat/cadical/signal.hpp
• src/sat/cadical/cadical_signal.cpp