This is a helper class for the implementation of a type erasure heuristic wrapper. More...
#include <heuristics.hpp>
Inheritance diagram for sat::detail::HeuristicCallableBase:
Public Member Functions | |
| HeuristicCallableBase (HeuristicCallableBase &&)=default | |
| HeuristicCallableBase & | operator= (HeuristicCallableBase &&)=default |
| HeuristicCallableBase (const HeuristicCallableBase &)=default | |
| HeuristicCallableBase & | operator= (const HeuristicCallableBase &)=default |
| virtual Variable | invoke (const std::vector< TruthValue > &, std::size_t)=0 |
Detailed Description
This is a helper class for the implementation of a type erasure heuristic wrapper.
The documentation for this struct was generated from the following file:
- Solver/heuristics.hpp
