GCC Code Coverage Report
Directory: . Exec Total Coverage
File: src/theory/quantifiers/ematching/im_generator.cpp Lines: 8 8 100.0 %
Date: 2021-03-23 Branches: 2 4 50.0 %

Line Exec Source
1
/*********************                                                        */
2
/*! \file im_generator.cpp
3
 ** \verbatim
4
 ** Top contributors (to current version):
5
 **   Andrew Reynolds, Morgan Deters, 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 Implementation of inst match generator base class
13
 **/
14
15
#include "theory/quantifiers/ematching/im_generator.h"
16
17
#include "theory/quantifiers/ematching/trigger.h"
18
19
using namespace CVC4::kind;
20
21
namespace CVC4 {
22
namespace theory {
23
namespace inst {
24
25
41581
IMGenerator::IMGenerator(Trigger* tparent)
26
41581
    : d_tparent(tparent), d_qstate(tparent->d_qstate)
27
{
28
41581
}
29
30
173575
bool IMGenerator::sendInstantiation(InstMatch& m, InferenceId id)
31
{
32
173575
  return d_tparent->sendInstantiation(m, id);
33
}
34
35
98767
QuantifiersEngine* IMGenerator::getQuantifiersEngine()
36
{
37
98767
  return d_tparent->d_quantEngine;
38
}
39
40
41
}/* CVC4::theory::inst namespace */
42
}/* CVC4::theory namespace */
43
26685
}/* CVC4 namespace */