Detailed Description

Definition at line 76 of file 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()>	fixed_search = nullptr

std::function< BooleanOrIntegerLiteral()>	hint_search = nullptr

std::function< BooleanOrIntegerLiteral()>	user_search = nullptr

std::function< BooleanOrIntegerLiteral()>	next_decision_override = nullptr

Member Data Documentation

std::vector<std::function<BooleanOrIntegerLiteral()> > decision_policies

Definition at line 80 of file integer_search.h.

std::function<BooleanOrIntegerLiteral()> fixed_search = nullptr

Definition at line 88 of file integer_search.h.

std::function<BooleanOrIntegerLiteral()> hint_search = nullptr

Definition at line 89 of file integer_search.h.

std::function<BooleanOrIntegerLiteral()> next_decision_override = nullptr

Definition at line 98 of file integer_search.h.

int policy_index

Definition at line 84 of file integer_search.h.

std::vector<std::function<bool()> > restart_policies

Definition at line 81 of file integer_search.h.

std::function<BooleanOrIntegerLiteral()> user_search = nullptr

Definition at line 93 of file integer_search.h.

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