eSLIM::CadicalSolver::TimeoutTerminator Class Reference

#include <satInterfaces.hpp>

Inheritance diagram for eSLIM::CadicalSolver::TimeoutTerminator:

Collaboration diagram for eSLIM::CadicalSolver::TimeoutTerminator:

Public Member Functions
	TimeoutTerminator (double max_runtime)
bool	terminate ()
Public Member Functions inherited from CaDiCaL::Terminator
virtual	~Terminator ()

Detailed Description

Definition at line 52 of file satInterfaces.hpp.

Constructor & Destructor Documentation

TimeoutTerminator()

eSLIM::CadicalSolver::TimeoutTerminator::TimeoutTerminator ( double max_runtime )

inline

Definition at line 80 of file satInterfaces.hpp.

: max_runtime(max_runtime) {}

Member Function Documentation

terminate()

bool eSLIM::CadicalSolver::TimeoutTerminator::terminate ( )

inlinevirtual

Implements CaDiCaL::Terminator.

Definition at line 82 of file satInterfaces.hpp.

                                                        {
    auto current_time = std::chrono::steady_clock::now();
    std::chrono::duration<double> elapsed_seconds = current_time - start;
    return elapsed_seconds.count() > max_runtime;
  }

---

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

• src/opt/eslim/satInterfaces.hpp