SharingStatistics.hpp

#pragma once
 
#include <atomic>
/* TODO; better management of statistics for sharing strategies */
 
struct SharingStatistics
{
    unsigned long sharedClauses{0};
 
    std::atomic<unsigned long> receivedClauses{0};
 
    std::atomic<unsigned long> filteredAtImport{0};
};
 
struct GlobalSharingStatistics : public SharingStatistics
{
    unsigned long sharedDuplicasAvoided{0};
 
    unsigned long receivedDuplicas{0};
 
    unsigned long messagesSent{0};
};