sat::FirstVariable Struct Reference

Variable selection strategy that selects the first unassigned variable. More...

#include <heuristics.hpp>

Public Member Functions
Variable	operator() (const std::vector< TruthValue > &model, std::size_t) const

Detailed Description

Variable selection strategy that selects the first unassigned variable.

---

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

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