diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-03-15 20:58:57 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-15 19:58:57 +0000 |
| commit | 429514c9cb6d187adca027ffc7542cf35543e85d (patch) | |
| tree | 9d9aab55577496739577036c5cc582598d395679 /src/proof | |
| parent | 5bbb45b820b9d695c29182f4dd2fc13fd9997e4b (diff) | |
Replace HistogramStat by IntegralHistogramStat (#6126)
This PR uses IntegralHistogramStat instead of HistogramStat when appropriate, that is everywhere.
Diffstat (limited to 'src/proof')
| -rw-r--r-- | src/proof/sat_proof.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/proof/sat_proof.h b/src/proof/sat_proof.h index 0882ee2b6..d16f8259e 100644 --- a/src/proof/sat_proof.h +++ b/src/proof/sat_proof.h @@ -286,10 +286,10 @@ class TSatProof { IntStat d_numLearnedInProof; IntStat d_numLemmasInProof; AverageStat d_avgChainLength; - HistogramStat<uint64_t> d_resChainLengths; - HistogramStat<uint64_t> d_usedResChainLengths; - HistogramStat<uint64_t> d_clauseGlue; - HistogramStat<uint64_t> d_usedClauseGlue; + IntegralHistogramStat<uint64_t> d_resChainLengths; + IntegralHistogramStat<uint64_t> d_usedResChainLengths; + IntegralHistogramStat<uint64_t> d_clauseGlue; + IntegralHistogramStat<uint64_t> d_usedClauseGlue; Statistics(const std::string& name); ~Statistics(); }; |