![]() |
OR-Tools
8.2
|
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) |
Definition at line 32 of file probing.cc.
bool ProbeBooleanVariables | ( | double | deterministic_time_limit, |
absl::Span< const BooleanVariable > | bool_vars, | ||
bool | log_info = false |
||
) |
Definition at line 196 of file probing.cc.
bool ProbeBooleanVariables | ( | double | deterministic_time_limit, |
bool | log_info = false |
||
) |
Definition at line 41 of file probing.cc.
bool ProbeOneVariable | ( | BooleanVariable | b | ) |
Definition at line 179 of file probing.cc.