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/theory/bags | |
parent | 5bbb45b820b9d695c29182f4dd2fc13fd9997e4b (diff) |
Replace HistogramStat by IntegralHistogramStat (#6126)
This PR uses IntegralHistogramStat instead of HistogramStat when appropriate, that is everywhere.
Diffstat (limited to 'src/theory/bags')
-rw-r--r-- | src/theory/bags/bags_rewriter.cpp | 2 | ||||
-rw-r--r-- | src/theory/bags/bags_rewriter.h | 4 | ||||
-rw-r--r-- | src/theory/bags/bags_statistics.h | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/src/theory/bags/bags_rewriter.cpp b/src/theory/bags/bags_rewriter.cpp index 314a0498d..54b279e66 100644 --- a/src/theory/bags/bags_rewriter.cpp +++ b/src/theory/bags/bags_rewriter.cpp @@ -37,7 +37,7 @@ BagsRewriteResponse::BagsRewriteResponse(const BagsRewriteResponse& r) { } -BagsRewriter::BagsRewriter(HistogramStat<Rewrite>* statistics) +BagsRewriter::BagsRewriter(IntegralHistogramStat<Rewrite>* statistics) : d_statistics(statistics) { d_nm = NodeManager::currentNM(); diff --git a/src/theory/bags/bags_rewriter.h b/src/theory/bags/bags_rewriter.h index 309b06009..6c440c512 100644 --- a/src/theory/bags/bags_rewriter.h +++ b/src/theory/bags/bags_rewriter.h @@ -42,7 +42,7 @@ struct BagsRewriteResponse class BagsRewriter : public TheoryRewriter { public: - BagsRewriter(HistogramStat<Rewrite>* statistics = nullptr); + BagsRewriter(IntegralHistogramStat<Rewrite>* statistics = nullptr); /** * postRewrite nodes with kinds: MK_BAG, BAG_COUNT, UNION_MAX, UNION_DISJOINT, @@ -218,7 +218,7 @@ class BagsRewriter : public TheoryRewriter Node d_zero; Node d_one; /** Reference to the rewriter statistics. */ - HistogramStat<Rewrite>* d_statistics; + IntegralHistogramStat<Rewrite>* d_statistics; }; /* class TheoryBagsRewriter */ } // namespace bags diff --git a/src/theory/bags/bags_statistics.h b/src/theory/bags/bags_statistics.h index c6b6c7e7a..c8f7ed420 100644 --- a/src/theory/bags/bags_statistics.h +++ b/src/theory/bags/bags_statistics.h @@ -35,7 +35,7 @@ class BagsStatistics ~BagsStatistics(); /** Counts the number of applications of each type of rewrite rule */ - HistogramStat<Rewrite> d_rewrites; + IntegralHistogramStat<Rewrite> d_rewrites; }; } // namespace bags |