Detailed Description

Definition at line 60 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

Member Data Documentation

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

Definition at line 64 of file integer_search.h.

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

Definition at line 72 of file integer_search.h.

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

Definition at line 73 of file integer_search.h.

int policy_index

Definition at line 68 of file integer_search.h.

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

Definition at line 65 of file integer_search.h.

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