OR-Tools  8.2
Public Member Functions | Public Attributes | List of all members
ProbingOptions

Detailed Description

Definition at line 122 of file probing.h.

Public Member Functions

std::string ToString () const
 

Public Attributes

double deterministic_limit = 1.0
 
bool extract_binary_clauses = false
 
bool use_tree_look = true
 
bool use_queue = true
 
bool subsume_with_binary_clause = true
 
bool log_info = false
 

Member Function Documentation

◆ ToString()

std::string ToString ( ) const
inline

Definition at line 187 of file probing.h.

Member Data Documentation

◆ deterministic_limit

double deterministic_limit = 1.0

Definition at line 143 of file probing.h.

◆ extract_binary_clauses

bool extract_binary_clauses = false

Definition at line 163 of file probing.h.

◆ log_info

bool log_info = false

Definition at line 185 of file probing.h.

◆ subsume_with_binary_clause

bool subsume_with_binary_clause = true

Definition at line 182 of file probing.h.

◆ use_queue

bool use_queue = true

Definition at line 176 of file probing.h.

◆ use_tree_look

bool use_tree_look = true

Definition at line 170 of file probing.h.

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