cprover
hardness_collectort Class Referenceabstract

#include <hardness_collector.h>

+ Inheritance diagram for hardness_collectort:

Public Types

using handlert = std::function< void(solver_hardnesst &)>
 

Public Member Functions

virtual void with_solver_hardness (handlert handler)=0
 
virtual void enable_hardness_collection ()=0
 
virtual ~hardness_collectort ()=default
 

Detailed Description

Definition at line 22 of file hardness_collector.h.

Member Typedef Documentation

◆ handlert

using hardness_collectort::handlert = std::function<void(solver_hardnesst &)>

Definition at line 25 of file hardness_collector.h.

Constructor & Destructor Documentation

◆ ~hardness_collectort()

virtual hardness_collectort::~hardness_collectort ( )
virtualdefault

Member Function Documentation

◆ enable_hardness_collection()

virtual void hardness_collectort::enable_hardness_collection ( )
pure virtual

◆ with_solver_hardness()

virtual void hardness_collectort::with_solver_hardness ( handlert  handler)
pure virtual

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