operations_research::sat::StampingSimplifier Class Reference

Detailed Description

Definition at line 215 of file sat_inprocessing.h.

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

operations_research::sat::StampingSimplifier::StampingSimplifier ( Model * model )

inlineexplicit

Definition at line 217 of file sat_inprocessing.h.

Member Function Documentation

ComputeStamps()

bool operations_research::sat::StampingSimplifier::ComputeStamps

(

)

Definition at line 878 of file sat_inprocessing.cc.

ComputeStampsForNextRound()

bool operations_research::sat::StampingSimplifier::ComputeStampsForNextRound

(

bool

log_info

)

Definition at line 821 of file sat_inprocessing.cc.

DoOneRound()

bool operations_research::sat::StampingSimplifier::DoOneRound

(

bool

log_info

)

Definition at line 787 of file sat_inprocessing.cc.

ImplicationIsInTree()

bool operations_research::sat::StampingSimplifier::ImplicationIsInTree ( Literal a, Literal b ) const

inline

Definition at line 245 of file sat_inprocessing.h.

ProcessClauses()

bool operations_research::sat::StampingSimplifier::ProcessClauses

(

)

Definition at line 1060 of file sat_inprocessing.cc.

SampleTreeAndFillParent()

void operations_research::sat::StampingSimplifier::SampleTreeAndFillParent

(

)

Definition at line 843 of file sat_inprocessing.cc.

---

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

• ortools/sat/sat_inprocessing.h
• ortools/sat/sat_inprocessing.cc