CaDiCaL::Terminator Class Reference

#include <cadical.hpp>

Inheritance diagram for CaDiCaL::Terminator:

Public Member Functions
virtual	~Terminator ()
virtual bool	terminate ()=0

Detailed Description

Definition at line 1173 of file cadical.hpp.

Constructor & Destructor Documentation

~Terminator()

virtual CaDiCaL::Terminator::~Terminator ( )

inlinevirtual

Definition at line 1175 of file cadical.hpp.

{}

Member Function Documentation

terminate()

virtual bool CaDiCaL::Terminator::terminate ( )

pure virtual

Implemented in CaDiCaL::Wrapper, and eSLIM::CadicalSolver::TimeoutTerminator.

---

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

• src/sat/cadical/cadical.hpp