GCC Code Coverage Report
Directory: . Exec Total Coverage
File: src/prop/registrar.h Lines: 4 4 100.0 %
Date: 2021-03-22 Branches: 0 0 0.0 %

Line Exec Source
1
/*********************                                                        */
2
/*! \file registrar.h
3
 ** \verbatim
4
 ** Top contributors (to current version):
5
 **   Mathias Preiner, Liana Hadarean, Tim King
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 Class to encapsulate preregistration duties
13
 **
14
 ** Class to encapsulate preregistration duties.  This class permits the
15
 ** CNF stream implementation to reach into the theory engine to
16
 ** preregister only those terms with an associated SAT literal (at the
17
 ** point when they get the SAT literal), without having to refer to the
18
 ** TheoryEngine class directly.
19
 **/
20
21
#include "cvc4_private.h"
22
23
#ifndef CVC4__PROP__REGISTRAR_H
24
#define CVC4__PROP__REGISTRAR_H
25
26
namespace CVC4 {
27
namespace prop {
28
29
18034
class Registrar {
30
public:
31
18028
  virtual ~Registrar() {}
32
  virtual void preRegister(Node n) = 0;
33
34
};/* class Registrar */
35
36
26922
class NullRegistrar : public Registrar {
37
public:
38
246822
 void preRegister(Node n) override {}
39
40
};/* class NullRegistrar */
41
42
}/* CVC4::prop namespace */
43
}/* CVC4 namespace */
44
45
#endif /* CVC4__PROP__REGISTRAR_H */