SharingStatistics Struct Reference

Local Sharing statistics.Sharing statistics. More...

#include <SharingStatistics.hpp>

Inheritance diagram for SharingStatistics:

Collaboration diagram for SharingStatistics:

Public Attributes
unsigned long	sharedClauses {0}
	Number of shared clauses that have been shared.
std::atomic< unsigned long >	receivedClauses {0}
	Number of shared clauses produced.
std::atomic< unsigned long >	filteredAtImport {0}
	Number of clause filtered at import.

Detailed Description

Local Sharing statistics.

Sharing statistics.

---

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

• /github/workspace/src/sharing/SharingStatistics.hpp