sat::detail::HeuristicCallable< H > Struct Template Reference

This is a helper class for the implementation of a type erasure heuristic wrapper. More...

#include <heuristics.hpp>

Inheritance diagram for sat::detail::HeuristicCallable< H >:

Collaboration diagram for sat::detail::HeuristicCallable< H >:

Public Member Functions
template<typename... Args>
	HeuristicCallable (Args &&... args)
Variable	invoke (const std::vector< TruthValue > &values, std::size_t numOpenVariables) override

Public Attributes
H	impl

Detailed Description

template<heuristic H>
struct sat::detail::HeuristicCallable< H >

This is a helper class for the implementation of a type erasure heuristic wrapper.

Member Function Documentation

invoke()

template<heuristic H>

Variable sat::detail::HeuristicCallable< H >::invoke ( const std::vector< TruthValue > &  values, std::size_t  numOpenVariables  )

inlineoverridevirtual

Implements sat::detail::HeuristicCallableBase.

---

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

• Solver/heuristics.hpp