heuristics.hpp File Reference

Contains different branching heuristics. More...

#include <vector>
#include <memory>
#include "basic_structures.hpp"
#include "util/concepts.hpp"

Include dependency graph for heuristics.hpp:

Go to the source code of this file.

Classes
struct	sat::FirstVariable
	Variable selection strategy that selects the first unassigned variable. More...
struct	sat::detail::HeuristicCallableBase
	This is a helper class for the implementation of a type erasure heuristic wrapper. More...
struct	sat::detail::HeuristicCallable< H >
	This is a helper class for the implementation of a type erasure heuristic wrapper. More...
class	sat::Heuristic
	Type erasure heuristic wrapper that can hold any type of heuristic. More...
class	sat::MovableHeuristic< H >
	Wrapper for heuristics that do not support move construction or assignment. More...

Namespaces
namespace	sat
namespace	sat::detail

Concepts
concept	sat::heuristic

Detailed Description

Contains different branching heuristics.

Author

Tim Luchterhand

Date

29.11.24