sat::MovableHeuristic< H > Class Template Reference

Wrapper for heuristics that do not support move construction or assignment. More...

#include <heuristics.hpp>

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

Detailed Description

template<heuristic H>
class sat::MovableHeuristic< H >

Wrapper for heuristics that do not support move construction or assignment.

Template Parameters

H	heuristic type

Constructor & Destructor Documentation

MovableHeuristic()

template<heuristic H>

template<typename... Args>

sat::MovableHeuristic< H >::MovableHeuristic ( Args &&...  args )

inlineexplicit

Ctor

Template Parameters

Args	argument types

Parameters

args	ctor arguments to heuristic

---

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

• Solver/heuristics.hpp