Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::SearchHeuristics Struct Reference

Detailed Description

Definition at line 79 of file integer_search.h.

#include <integer_search.h>

Public Attributes

std::vector< std::function< BooleanOrIntegerLiteral()> > decision_policies
std::vector< std::function< bool()> > restart_policies
int policy_index
std::function< BooleanOrIntegerLiteral()> user_search = nullptr
std::function< BooleanOrIntegerLiteral()> heuristic_search = nullptr
std::function< BooleanOrIntegerLiteral()> integer_completion_search = nullptr
std::function< BooleanOrIntegerLiteral()> fixed_search = nullptr
std::function< BooleanOrIntegerLiteral()> hint_search = nullptr
std::function< BooleanOrIntegerLiteral()> next_decision_override = nullptr

Member Data Documentation

◆ decision_policies

std::vector<std::function<BooleanOrIntegerLiteral()> > operations_research::sat::SearchHeuristics::decision_policies

Definition at line 83 of file integer_search.h.

◆ fixed_search

std::function<BooleanOrIntegerLiteral()> operations_research::sat::SearchHeuristics::fixed_search = nullptr

Definition at line 104 of file integer_search.h.

◆ heuristic_search

std::function<BooleanOrIntegerLiteral()> operations_research::sat::SearchHeuristics::heuristic_search = nullptr

Definition at line 98 of file integer_search.h.

◆ hint_search

std::function<BooleanOrIntegerLiteral()> operations_research::sat::SearchHeuristics::hint_search = nullptr

Definition at line 108 of file integer_search.h.

◆ integer_completion_search

std::function<BooleanOrIntegerLiteral()> operations_research::sat::SearchHeuristics::integer_completion_search = nullptr

Definition at line 101 of file integer_search.h.

◆ next_decision_override

std::function<BooleanOrIntegerLiteral()> operations_research::sat::SearchHeuristics::next_decision_override = nullptr

Definition at line 113 of file integer_search.h.

◆ policy_index

int operations_research::sat::SearchHeuristics::policy_index

Definition at line 87 of file integer_search.h.

◆ restart_policies

std::vector<std::function<bool()> > operations_research::sat::SearchHeuristics::restart_policies

Definition at line 84 of file integer_search.h.

◆ user_search

std::function<BooleanOrIntegerLiteral()> operations_research::sat::SearchHeuristics::user_search = nullptr

Definition at line 93 of file integer_search.h.

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