sat::Heuristic Class Reference

Type erasure heuristic wrapper that can hold any type of heuristic. More...

#include <heuristics.hpp>

Public Member Functions
	Heuristic ()=default
template<heuristic H>
	Heuristic (H &&heuristic)
Variable	operator() (const std::vector< TruthValue > &values, std::size_t numOpenVariables) const
bool	isValid () const

Detailed Description

Type erasure heuristic wrapper that can hold any type of heuristic.

Constructor & Destructor Documentation

Heuristic() [1/2]

sat::Heuristic::Heuristic ( )

default

Default Ctor. Constructs an empty heuristic that must not be called

Heuristic() [2/2]

template<heuristic H>

sat::Heuristic::Heuristic ( H &&  heuristic )

inline

Ctor.

Template Parameters

H	Heuristic type

Parameters

heuristic

The heuristic to store in the wrapper

References Heuristic().

Referenced by Heuristic().

Here is the call graph for this function:

Here is the caller graph for this function:

Member Function Documentation

isValid()

bool sat::Heuristic::isValid

(

)

const

Whether the wrapper holds a valid heuristic

Returns

true if heuristic wrapper is valid, false otherwise

---

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

• Solver/heuristics.hpp
• Solver/heuristics.cpp