diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-12-01 15:13:58 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-12-01 15:13:58 +0000 |
commit | e820acb9e220389e9a7e23bcffd97f1d0354f612 (patch) | |
tree | 2c968d847c87ec363cf6add1ac3cf8cfbf4902a1 /src/theory/instantiator_tables_template.cpp | |
parent | ec29471e427bf25034a93c182b424730d439a90a (diff) |
remove instantiator framework
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'src/theory/instantiator_tables_template.cpp')
-rw-r--r-- | src/theory/instantiator_tables_template.cpp | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/src/theory/instantiator_tables_template.cpp b/src/theory/instantiator_tables_template.cpp deleted file mode 100644 index bc038df63..000000000 --- a/src/theory/instantiator_tables_template.cpp +++ /dev/null @@ -1,38 +0,0 @@ -/********************* */ -/*! \file instantiator_tables_template.cpp - ** \verbatim - ** Original author: dejan - ** Major contributors: mdeters - ** Minor contributors (to current version): none - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa - ** See the file COPYING in the top-level source directory for licensing - ** information.\endverbatim - ** - ** \brief Instantiator tables for quantifier-friendly theories - ** - ** This file contains template code for the instantiator tables that are - ** generated from the Theory kinds files. - **/ - -#include "context/context.h" -#include "theory/quantifiers_engine.h" - -${instantiator_includes} - -#line 24 "${template}" - -namespace CVC4 { -namespace theory { - -Instantiator* Theory::makeInstantiator(context::Context* c, theory::QuantifiersEngine* qe) { - switch(d_id) { -${make_instantiator_cases} -#line 32 "${template}" - default: - Unhandled(d_id); - } -} - -}/* CVC4::theory namespace */ -}/* CVC4 namespace */ |