PreprocessorStats Struct Reference

Preperocessing technique statistics. More...

#include <PreprocessorInterface.hpp>

Collaboration diagram for PreprocessorStats:

Public Attributes
unsigned int	newFormulaSize
unsigned int	deletedClauses
unsigned int	shrinkedClauses
unsigned int	addedVariables
unsigned int	eliminatedVariables

Detailed Description

Preperocessing technique statistics.

---

The documentation for this struct was generated from the following file:

• /github/workspace/src/preprocessors/PreprocessorInterface.hpp