sat::heuristic Concept Reference

#include <heuristics.hpp>

Concept definition

template<typename H>
concept sat::heuristic =  concepts::callable_r<H, Variable, const std::vector<TruthValue>, std::size_t>

Detailed Description

Concept modelling the heuristic interface. A heuristic is a type that can be called with a vector of truth values (the model) and an unsigned integer representing the number of variables that are undecided and returns a sat::Variable