![]() |
OR-Tools
8.2
|
Definition at line 170 of file sat_inprocessing.h.
Public Member Functions | |
StampingSimplifier (Model *model) | |
bool | DoOneRound (bool log_info) |
bool | ComputeStampsForNextRound (bool log_info) |
void | SampleTreeAndFillParent () |
bool | ComputeStamps () |
bool | ImplicationIsInTree (Literal a, Literal b) const |
bool | ProcessClauses () |
|
inlineexplicit |
Definition at line 172 of file sat_inprocessing.h.
bool ComputeStamps | ( | ) |
Definition at line 669 of file sat_inprocessing.cc.
bool ComputeStampsForNextRound | ( | bool | log_info | ) |
Definition at line 610 of file sat_inprocessing.cc.
bool DoOneRound | ( | bool | log_info | ) |
Definition at line 574 of file sat_inprocessing.cc.
Definition at line 198 of file sat_inprocessing.h.
bool ProcessClauses | ( | ) |
Definition at line 754 of file sat_inprocessing.cc.
void SampleTreeAndFillParent | ( | ) |
Definition at line 634 of file sat_inprocessing.cc.