SolverOptions

class SolverOptions

The live options of a Solver: the same surface as Options, obtained from Solver::options(). A write outside its entry’s Settable window throws OPTION_TIMING and leaves the value unchanged. Not copyable; copy() returns a detached Options value.

Public Functions

SolverOptions(const SolverOptions&) = delete

SolverOptions &operator=(const SolverOptions&) = delete

Options copy() const

void set(std::string_view name, std::string_view value)

void set_bool(std::string_view name, bool)

void set_int(std::string_view name, std::int64_t)

void set_uint(std::string_view name, std::uint64_t)

void set_str(std::string_view name, std::string_view)

void set_names(std::string_view name, const std::vector<std::string>&)

void set_duration(std::string_view name, std::chrono::milliseconds)

void set_bool(Option, bool)

void set_int(Option, std::int64_t)

void set_uint(Option, std::uint64_t)

void set_str(Option, std::string_view)

void set_duration(Option, std::chrono::milliseconds)

void set_args(const std::vector<std::string> &argv)

void set_args(int argc, const char *const *argv)

OptionValue get(std::string_view name) const

bool get_bool(std::string_view name) const

std::int64_t get_int(std::string_view name) const

std::uint64_t get_uint(std::string_view name) const

std::string get_str(std::string_view name) const

std::vector<std::string> get_names(std::string_view name) const

std::chrono::milliseconds get_duration(std::string_view name) const

OptionValue resolved(std::string_view name) const

bool is_set(std::string_view name) const

void reset(std::string_view name)

void reset_all()

Every entry back to its default, or none: OPTION_TIMING when an entry whose window has closed holds anything else.

OptionInfo info(std::string_view name) const

std::vector<std::string> names(std::optional<Tier> = std::nullopt) const

std::string help(std::optional<Tier> = std::nullopt) const

void resolve() const