operations_research::sat::ProbingOptions Struct Reference

Detailed Description

Definition at line 222 of file probing.h.

#include <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 operations_research::sat::ProbingOptions::ToString ( ) const

inline

Definition at line 287 of file probing.h.

Member Data Documentation

deterministic_limit

double operations_research::sat::ProbingOptions::deterministic_limit = 1.0

Definition at line 243 of file probing.h.

extract_binary_clauses

bool operations_research::sat::ProbingOptions::extract_binary_clauses = false

Definition at line 263 of file probing.h.

log_info

bool operations_research::sat::ProbingOptions::log_info = false

Definition at line 285 of file probing.h.

subsume_with_binary_clause

bool operations_research::sat::ProbingOptions::subsume_with_binary_clause = true

Definition at line 282 of file probing.h.

use_queue

bool operations_research::sat::ProbingOptions::use_queue = true

Definition at line 276 of file probing.h.

use_tree_look

bool operations_research::sat::ProbingOptions::use_tree_look = true

Definition at line 270 of file probing.h.

---

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

• ortools/sat/probing.h