ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Member Functions | List of all members
CaDiCaL::Handler Class Referenceabstract

#include <signal.hpp>

Public Member Functions

 Handler ()
 
virtual ~Handler ()
 
virtual void catch_signal (int sig)=0
 
virtual void catch_alarm ()
 

Detailed Description

Definition at line 12 of file signal.hpp.

Constructor & Destructor Documentation

◆ Handler()

CaDiCaL::Handler::Handler ( )
inline

Definition at line 14 of file signal.hpp.

14{}

◆ ~Handler()

virtual CaDiCaL::Handler::~Handler ( )
inlinevirtual

Definition at line 15 of file signal.hpp.

15{}

Member Function Documentation

◆ catch_alarm()

void CaDiCaL::Handler::catch_alarm ( )
virtual

Definition at line 37 of file cadical_signal.cpp.

37{ catch_signal (SIGALRM); }
CaDiCaL::Handler::catch_signal
virtual void catch_signal(int sig)=0
Here is the call graph for this function:

◆ catch_signal()

virtual void CaDiCaL::Handler::catch_signal ( int sig)
pure virtual
Here is the caller graph for this function:
The documentation for this class was generated from the following files: