Clasp::SatPreprocessor::Stats Struct Reference

#include <shared_context.h>

Collaboration diagram for Clasp::SatPreprocessor::Stats:

Public Member Functions
	Stats ()

Public Attributes
uint32	clRemoved
uint32	clAdded
uint32	litsRemoved

Constructor & Destructor Documentation

Clasp::SatPreprocessor::Stats::Stats ( )

inline

Member Data Documentation

uint32 Clasp::SatPreprocessor::Stats::clAdded

uint32 Clasp::SatPreprocessor::Stats::clRemoved

uint32 Clasp::SatPreprocessor::Stats::litsRemoved

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/clasp/shared_context.h