OR-Tools  8.2
StampingSimplifier

Detailed Description

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 ()
 

Constructor & Destructor Documentation

◆ StampingSimplifier()

StampingSimplifier ( Model model)
inlineexplicit

Definition at line 172 of file sat_inprocessing.h.

Member Function Documentation

◆ ComputeStamps()

bool ComputeStamps ( )

Definition at line 669 of file sat_inprocessing.cc.

◆ ComputeStampsForNextRound()

bool ComputeStampsForNextRound ( bool  log_info)

Definition at line 610 of file sat_inprocessing.cc.

◆ DoOneRound()

bool DoOneRound ( bool  log_info)

Definition at line 574 of file sat_inprocessing.cc.

◆ ImplicationIsInTree()

bool ImplicationIsInTree ( Literal  a,
Literal  b 
) const
inline

Definition at line 198 of file sat_inprocessing.h.

◆ ProcessClauses()

bool ProcessClauses ( )

Definition at line 754 of file sat_inprocessing.cc.

◆ SampleTreeAndFillParent()

void SampleTreeAndFillParent ( )

Definition at line 634 of file sat_inprocessing.cc.


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