operations_research::fz::FlatzincSatParameters Struct Reference

#include <cp_model_fz_solver.h>

Public Attributes
bool	search_all_solutions = false
bool	display_all_solutions = false
bool	use_free_search = false
bool	log_search_progress = false
bool	display_statistics = false
int	random_seed = 0
int	number_of_threads = 0
double	max_time_in_seconds = 0.0
bool	ortools_mode = false

Detailed Description

Definition at line 25 of file cp_model_fz_solver.h.

Member Data Documentation

display_all_solutions

bool operations_research::fz::FlatzincSatParameters::display_all_solutions = false

Definition at line 27 of file cp_model_fz_solver.h.

display_statistics

bool operations_research::fz::FlatzincSatParameters::display_statistics = false

Definition at line 30 of file cp_model_fz_solver.h.

log_search_progress

bool operations_research::fz::FlatzincSatParameters::log_search_progress = false

Definition at line 29 of file cp_model_fz_solver.h.

max_time_in_seconds

double operations_research::fz::FlatzincSatParameters::max_time_in_seconds = 0.0

Definition at line 33 of file cp_model_fz_solver.h.

number_of_threads

int operations_research::fz::FlatzincSatParameters::number_of_threads = 0

Definition at line 32 of file cp_model_fz_solver.h.

ortools_mode

bool operations_research::fz::FlatzincSatParameters::ortools_mode = false

Definition at line 34 of file cp_model_fz_solver.h.

random_seed

int operations_research::fz::FlatzincSatParameters::random_seed = 0

Definition at line 31 of file cp_model_fz_solver.h.

search_all_solutions

bool operations_research::fz::FlatzincSatParameters::search_all_solutions = false

Definition at line 26 of file cp_model_fz_solver.h.

use_free_search

bool operations_research::fz::FlatzincSatParameters::use_free_search = false

Definition at line 28 of file cp_model_fz_solver.h.

---

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

• ortools/flatzinc/cp_model_fz_solver.h