Clasp::SatPreprocessor::Stats Struct Reference

#include <shared_context.h>

List of all members.

Public Member Functions
	Stats ()
Public Attributes
uint32	clAdded
uint32	clRemoved
uint32	litsRemoved

---

Detailed Description

Definition at line 114 of file shared_context.h.

---

Constructor & Destructor Documentation

Clasp::SatPreprocessor::Stats::Stats

(

)

[inline]

Definition at line 115 of file shared_context.h.

---

Member Data Documentation

uint32 Clasp::SatPreprocessor::Stats::clAdded

Definition at line 117 of file shared_context.h.

uint32 Clasp::SatPreprocessor::Stats::clRemoved

Definition at line 116 of file shared_context.h.

uint32 Clasp::SatPreprocessor::Stats::litsRemoved

Definition at line 118 of file shared_context.h.

---

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

• shared_context.h