Public Member Functions | Public Attributes
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

Definition at line 115 of file shared_context.h.


Member Data Documentation

Definition at line 117 of file shared_context.h.

Definition at line 116 of file shared_context.h.

Definition at line 118 of file shared_context.h.


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


clasp
Author(s): Benjamin Kaufmann
autogenerated on Thu Aug 27 2015 12:41:41