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:

• sat_inprocessing.h
• sat_inprocessing.cc