BlockedClauseSimplifier

Detailed Description

Definition at line 258 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 260 of file sat_inprocessing.h.

Member Function Documentation

DoOneRound()

void DoOneRound

(

bool

log_info

)

Definition at line 910 of file sat_inprocessing.cc.

---

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

• sat_inprocessing.h
• sat_inprocessing.cc