OR-Tools  9.6
Public Attributes | List of all members
FlatzincSatParameters

Detailed Description

Definition at line 24 of file cp_model_fz_solver.h.

Public Attributes

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
 

Member Data Documentation

◆ display_all_solutions

bool display_all_solutions = false

Definition at line 25 of file cp_model_fz_solver.h.

◆ display_statistics

bool display_statistics = false

Definition at line 28 of file cp_model_fz_solver.h.

◆ log_search_progress

bool log_search_progress = false

Definition at line 27 of file cp_model_fz_solver.h.

◆ max_time_in_seconds

double max_time_in_seconds = 0.0

Definition at line 31 of file cp_model_fz_solver.h.

◆ number_of_threads

int number_of_threads = 0

Definition at line 30 of file cp_model_fz_solver.h.

◆ random_seed

int random_seed = 0

Definition at line 29 of file cp_model_fz_solver.h.

◆ use_free_search

bool use_free_search = false

Definition at line 26 of file cp_model_fz_solver.h.

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