OR-Tools  8.2
Prober

Detailed Description

Definition at line 28 of file probing.h.

Public Member Functions

 Prober (Model *model)
 
bool ProbeBooleanVariables (double deterministic_time_limit, bool log_info=false)
 
bool ProbeBooleanVariables (double deterministic_time_limit, absl::Span< const BooleanVariable > bool_vars, bool log_info=false)
 
bool ProbeOneVariable (BooleanVariable b)
 

Constructor & Destructor Documentation

◆ Prober()

Prober ( Model model)
explicit

Definition at line 32 of file probing.cc.

Member Function Documentation

◆ ProbeBooleanVariables() [1/2]

bool ProbeBooleanVariables ( double  deterministic_time_limit,
absl::Span< const BooleanVariable >  bool_vars,
bool  log_info = false 
)

Definition at line 196 of file probing.cc.

◆ ProbeBooleanVariables() [2/2]

bool ProbeBooleanVariables ( double  deterministic_time_limit,
bool  log_info = false 
)

Definition at line 41 of file probing.cc.

◆ ProbeOneVariable()

bool ProbeOneVariable ( BooleanVariable  b)

Definition at line 179 of file probing.cc.


The documentation for this class was generated from the following files: