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

Detailed Description

Definition at line 22 of file cp_model_fz_solver.h.

Public Attributes

bool display_all_solutions = false
 
bool use_free_search = false
 
bool verbose_logging = false
 
bool display_statistics = false
 
int max_number_of_solutions = 1
 
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 23 of file cp_model_fz_solver.h.

◆ display_statistics

bool display_statistics = false

Definition at line 26 of file cp_model_fz_solver.h.

◆ max_number_of_solutions

int max_number_of_solutions = 1

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 30 of file cp_model_fz_solver.h.

◆ number_of_threads

int number_of_threads = 0

Definition at line 29 of file cp_model_fz_solver.h.

◆ random_seed

int random_seed = 0

Definition at line 28 of file cp_model_fz_solver.h.

◆ use_free_search

bool use_free_search = false

Definition at line 24 of file cp_model_fz_solver.h.

◆ verbose_logging

bool verbose_logging = false

Definition at line 25 of file cp_model_fz_solver.h.

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