GCC Code Coverage Report
Directory: . Exec Total Coverage
File: src/theory/strings/sequences_stats.cpp Lines: 28 28 100.0 %
Date: 2021-03-23 Branches: 46 94 48.9 %

Line Exec Source
1
/*********************                                                        */
2
/*! \file sequences_stats.cpp
3
 ** \verbatim
4
 ** Top contributors (to current version):
5
 **   Andrew Reynolds, Andres Noetzli
6
 ** This file is part of the CVC4 project.
7
 ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
8
 ** in the top-level source directory and their institutional affiliations.
9
 ** All rights reserved.  See the file COPYING in the top-level source
10
 ** directory for licensing information.\endverbatim
11
 **
12
 ** \brief Statistics for the theory of strings/sequences
13
 **/
14
15
#include "theory/strings/sequences_stats.h"
16
17
#include "smt/smt_statistics_registry.h"
18
19
namespace CVC4 {
20
namespace theory {
21
namespace strings {
22
23
8997
SequencesStatistics::SequencesStatistics()
24
    : d_checkRuns("theory::strings::checkRuns", 0),
25
      d_strategyRuns("theory::strings::strategyRuns", 0),
26
      d_inferencesNoPf("theory::strings::inferencesNoPf"),
27
      d_cdSimplifications("theory::strings::cdSimplifications"),
28
      d_reductions("theory::strings::reductions"),
29
      d_regexpUnfoldingsPos("theory::strings::regexpUnfoldingsPos"),
30
      d_regexpUnfoldingsNeg("theory::strings::regexpUnfoldingsNeg"),
31
      d_rewrites("theory::strings::rewrites"),
32
      d_conflictsEqEngine("theory::strings::conflictsEqEngine", 0),
33
      d_conflictsEager("theory::strings::conflictsEager", 0),
34
8997
      d_conflictsInfer("theory::strings::conflictsInfer", 0)
35
{
36
8997
  smtStatisticsRegistry()->registerStat(&d_checkRuns);
37
8997
  smtStatisticsRegistry()->registerStat(&d_strategyRuns);
38
8997
  smtStatisticsRegistry()->registerStat(&d_inferencesNoPf);
39
8997
  smtStatisticsRegistry()->registerStat(&d_cdSimplifications);
40
8997
  smtStatisticsRegistry()->registerStat(&d_reductions);
41
8997
  smtStatisticsRegistry()->registerStat(&d_regexpUnfoldingsPos);
42
8997
  smtStatisticsRegistry()->registerStat(&d_regexpUnfoldingsNeg);
43
8997
  smtStatisticsRegistry()->registerStat(&d_rewrites);
44
8997
  smtStatisticsRegistry()->registerStat(&d_conflictsEqEngine);
45
8997
  smtStatisticsRegistry()->registerStat(&d_conflictsEager);
46
8997
  smtStatisticsRegistry()->registerStat(&d_conflictsInfer);
47
8997
}
48
49
17988
SequencesStatistics::~SequencesStatistics()
50
{
51
8994
  smtStatisticsRegistry()->unregisterStat(&d_checkRuns);
52
8994
  smtStatisticsRegistry()->unregisterStat(&d_strategyRuns);
53
8994
  smtStatisticsRegistry()->unregisterStat(&d_inferencesNoPf);
54
8994
  smtStatisticsRegistry()->unregisterStat(&d_cdSimplifications);
55
8994
  smtStatisticsRegistry()->unregisterStat(&d_reductions);
56
8994
  smtStatisticsRegistry()->unregisterStat(&d_regexpUnfoldingsPos);
57
8994
  smtStatisticsRegistry()->unregisterStat(&d_regexpUnfoldingsNeg);
58
8994
  smtStatisticsRegistry()->unregisterStat(&d_rewrites);
59
8994
  smtStatisticsRegistry()->unregisterStat(&d_conflictsEqEngine);
60
8994
  smtStatisticsRegistry()->unregisterStat(&d_conflictsEager);
61
8994
  smtStatisticsRegistry()->unregisterStat(&d_conflictsInfer);
62
8994
}
63
64
}
65
}
66
26685
}