diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-09-17 18:49:08 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-17 18:49:08 -0500 |
commit | 603c0ccc4614024dfcd34333cd427ac56e229a47 (patch) | |
tree | 1316f77df94aa7a270672552efca243f72f1402c /src/theory/quantifiers/cegqi | |
parent | 8d7b71d2a8c02bf26ec3fa1de6abcf2547b3acbf (diff) |
Move inst_strategy_cbqi to inst_strategy_cegqi (#2477)
Diffstat (limited to 'src/theory/quantifiers/cegqi')
-rw-r--r-- | src/theory/quantifiers/cegqi/inst_strategy_cegqi.cpp (renamed from src/theory/quantifiers/cegqi/inst_strategy_cbqi.cpp) | 4 | ||||
-rw-r--r-- | src/theory/quantifiers/cegqi/inst_strategy_cegqi.h (renamed from src/theory/quantifiers/cegqi/inst_strategy_cbqi.h) | 6 |
2 files changed, 5 insertions, 5 deletions
diff --git a/src/theory/quantifiers/cegqi/inst_strategy_cbqi.cpp b/src/theory/quantifiers/cegqi/inst_strategy_cegqi.cpp index 8c9b39ea4..3ea3e72e4 100644 --- a/src/theory/quantifiers/cegqi/inst_strategy_cbqi.cpp +++ b/src/theory/quantifiers/cegqi/inst_strategy_cegqi.cpp @@ -1,5 +1,5 @@ /********************* */ -/*! \file inst_strategy_cbqi.cpp +/*! \file inst_strategy_cegqi.cpp ** \verbatim ** Top contributors (to current version): ** Andrew Reynolds, Tim King, Morgan Deters @@ -11,7 +11,7 @@ ** ** \brief Implementation of counterexample-guided quantifier instantiation strategies **/ -#include "theory/quantifiers/cegqi/inst_strategy_cbqi.h" +#include "theory/quantifiers/cegqi/inst_strategy_cegqi.h" #include "expr/node_algorithm.h" #include "options/quantifiers_options.h" diff --git a/src/theory/quantifiers/cegqi/inst_strategy_cbqi.h b/src/theory/quantifiers/cegqi/inst_strategy_cegqi.h index c3cbf8100..0a19727b8 100644 --- a/src/theory/quantifiers/cegqi/inst_strategy_cbqi.h +++ b/src/theory/quantifiers/cegqi/inst_strategy_cegqi.h @@ -1,5 +1,5 @@ /********************* */ -/*! \file inst_strategy_cbqi.h +/*! \file inst_strategy_cegqi.h ** \verbatim ** Top contributors (to current version): ** Andrew Reynolds, Tim King, Mathias Preiner @@ -15,8 +15,8 @@ #include "cvc4_private.h" -#ifndef __CVC4__INST_STRATEGY_CBQI_H -#define __CVC4__INST_STRATEGY_CBQI_H +#ifndef __CVC4__THEORY__QUANTIFIERS__INST_STRATEGY_CEGQI_H +#define __CVC4__THEORY__QUANTIFIERS__INST_STRATEGY_CEGQI_H #include "theory/decision_manager.h" #include "theory/quantifiers/cegqi/ceg_instantiator.h" |