GlobalSharingStatistics Struct Reference

Statistics of a global sharing strategy. More...

#include <SharingStatistics.hpp>

Inheritance diagram for GlobalSharingStatistics:

Collaboration diagram for GlobalSharingStatistics:

Public Attributes
unsigned long	sharedDuplicasAvoided {0}
	duplicates detected by bloom filter for toSend database
unsigned long	receivedDuplicas {0}
	dpublicates detected by bloom filter for received database
unsigned long	messagesSent {0}
	Number of sent messages.
Public Attributes inherited from SharingStatistics
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

Statistics of a global sharing strategy.

---

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

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