OR-Tools  8.2
BlockedClauseSimplifier

Detailed Description

Definition at line 249 of file sat_inprocessing.h.

Public Member Functions

 BlockedClauseSimplifier (Model *model)
 
void DoOneRound (bool log_info)
 

Constructor & Destructor Documentation

◆ BlockedClauseSimplifier()

BlockedClauseSimplifier ( Model model)
inlineexplicit

Definition at line 251 of file sat_inprocessing.h.

Member Function Documentation

◆ DoOneRound()

void DoOneRound ( bool  log_info)

Definition at line 889 of file sat_inprocessing.cc.


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