diff options
Diffstat (limited to 'src/theory/bv/bitblast')
-rw-r--r-- | src/theory/bv/bitblast/aig_bitblaster.cpp | 2 | ||||
-rw-r--r-- | src/theory/bv/bitblast/aig_bitblaster.h | 2 | ||||
-rw-r--r-- | src/theory/bv/bitblast/bitblast_strategies_template.h | 2 | ||||
-rw-r--r-- | src/theory/bv/bitblast/bitblast_utils.h | 2 | ||||
-rw-r--r-- | src/theory/bv/bitblast/bitblaster.h | 2 | ||||
-rw-r--r-- | src/theory/bv/bitblast/eager_bitblaster.cpp | 2 | ||||
-rw-r--r-- | src/theory/bv/bitblast/eager_bitblaster.h | 2 | ||||
-rw-r--r-- | src/theory/bv/bitblast/lazy_bitblaster.cpp | 2 | ||||
-rw-r--r-- | src/theory/bv/bitblast/lazy_bitblaster.h | 2 | ||||
-rw-r--r-- | src/theory/bv/bitblast/proof_bitblaster.h | 2 | ||||
-rw-r--r-- | src/theory/bv/bitblast/simple_bitblaster.h | 2 |
11 files changed, 11 insertions, 11 deletions
diff --git a/src/theory/bv/bitblast/aig_bitblaster.cpp b/src/theory/bv/bitblast/aig_bitblaster.cpp index 0a6f1e39d..8c80f9d19 100644 --- a/src/theory/bv/bitblast/aig_bitblaster.cpp +++ b/src/theory/bv/bitblast/aig_bitblaster.cpp @@ -16,7 +16,7 @@ #include "theory/bv/bitblast/aig_bitblaster.h" #include "base/check.h" -#include "cvc4_private.h" +#include "cvc5_private.h" #include "options/bv_options.h" #include "prop/cnf_stream.h" #include "prop/sat_solver.h" diff --git a/src/theory/bv/bitblast/aig_bitblaster.h b/src/theory/bv/bitblast/aig_bitblaster.h index 95c7bd4d9..a7dfb00e5 100644 --- a/src/theory/bv/bitblast/aig_bitblaster.h +++ b/src/theory/bv/bitblast/aig_bitblaster.h @@ -13,7 +13,7 @@ * AIG Bitblaster based on ABC. */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__THEORY__BV__BITBLAST__AIG_BITBLASTER_H #define CVC5__THEORY__BV__BITBLAST__AIG_BITBLASTER_H diff --git a/src/theory/bv/bitblast/bitblast_strategies_template.h b/src/theory/bv/bitblast/bitblast_strategies_template.h index e79859d7c..bb895fff2 100644 --- a/src/theory/bv/bitblast/bitblast_strategies_template.h +++ b/src/theory/bv/bitblast/bitblast_strategies_template.h @@ -13,7 +13,7 @@ * Implementation of bitblasting functions for various operators. */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__THEORY__BV__BITBLAST__BITBLAST_STRATEGIES_TEMPLATE_H #define CVC5__THEORY__BV__BITBLAST__BITBLAST_STRATEGIES_TEMPLATE_H diff --git a/src/theory/bv/bitblast/bitblast_utils.h b/src/theory/bv/bitblast/bitblast_utils.h index 81c6538c5..6b532308f 100644 --- a/src/theory/bv/bitblast/bitblast_utils.h +++ b/src/theory/bv/bitblast/bitblast_utils.h @@ -13,7 +13,7 @@ * Various utility functions for bit-blasting. */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__THEORY__BV__BITBLAST__BITBLAST_UTILS_H #define CVC5__THEORY__BV__BITBLAST__BITBLAST_UTILS_H diff --git a/src/theory/bv/bitblast/bitblaster.h b/src/theory/bv/bitblast/bitblaster.h index 24a833fcc..2a7931aa0 100644 --- a/src/theory/bv/bitblast/bitblaster.h +++ b/src/theory/bv/bitblast/bitblaster.h @@ -13,7 +13,7 @@ * Wrapper around the SAT solver used for bitblasting. */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__THEORY__BV__BITBLAST__BITBLASTER_H #define CVC5__THEORY__BV__BITBLAST__BITBLASTER_H diff --git a/src/theory/bv/bitblast/eager_bitblaster.cpp b/src/theory/bv/bitblast/eager_bitblaster.cpp index ed02746ed..fcd33e775 100644 --- a/src/theory/bv/bitblast/eager_bitblaster.cpp +++ b/src/theory/bv/bitblast/eager_bitblaster.cpp @@ -15,7 +15,7 @@ #include "theory/bv/bitblast/eager_bitblaster.h" -#include "cvc4_private.h" +#include "cvc5_private.h" #include "options/bv_options.h" #include "options/smt_options.h" #include "prop/cnf_stream.h" diff --git a/src/theory/bv/bitblast/eager_bitblaster.h b/src/theory/bv/bitblast/eager_bitblaster.h index 1458b0dab..765f3051e 100644 --- a/src/theory/bv/bitblast/eager_bitblaster.h +++ b/src/theory/bv/bitblast/eager_bitblaster.h @@ -13,7 +13,7 @@ * Bitblaster for the eager BV solver. */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__THEORY__BV__BITBLAST__EAGER_BITBLASTER_H #define CVC5__THEORY__BV__BITBLAST__EAGER_BITBLASTER_H diff --git a/src/theory/bv/bitblast/lazy_bitblaster.cpp b/src/theory/bv/bitblast/lazy_bitblaster.cpp index 3a2bb6432..12f584442 100644 --- a/src/theory/bv/bitblast/lazy_bitblaster.cpp +++ b/src/theory/bv/bitblast/lazy_bitblaster.cpp @@ -15,7 +15,7 @@ #include "theory/bv/bitblast/lazy_bitblaster.h" -#include "cvc4_private.h" +#include "cvc5_private.h" #include "options/bv_options.h" #include "prop/cnf_stream.h" #include "prop/sat_solver.h" diff --git a/src/theory/bv/bitblast/lazy_bitblaster.h b/src/theory/bv/bitblast/lazy_bitblaster.h index 52230c3b5..7ca2063a3 100644 --- a/src/theory/bv/bitblast/lazy_bitblaster.h +++ b/src/theory/bv/bitblast/lazy_bitblaster.h @@ -13,7 +13,7 @@ * Bitblaster for the lazy bv solver. */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__THEORY__BV__BITBLAST__LAZY_BITBLASTER_H #define CVC5__THEORY__BV__BITBLAST__LAZY_BITBLASTER_H diff --git a/src/theory/bv/bitblast/proof_bitblaster.h b/src/theory/bv/bitblast/proof_bitblaster.h index a42ebb86f..bd5232a76 100644 --- a/src/theory/bv/bitblast/proof_bitblaster.h +++ b/src/theory/bv/bitblast/proof_bitblaster.h @@ -12,7 +12,7 @@ * * A bit-blaster wrapper around BBSimple for proof logging. */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__THEORY__BV__BITBLAST__PROOF_BITBLASTER_H #define CVC5__THEORY__BV__BITBLAST__PROOF_BITBLASTER_H diff --git a/src/theory/bv/bitblast/simple_bitblaster.h b/src/theory/bv/bitblast/simple_bitblaster.h index 8ae016799..04a35bc4f 100644 --- a/src/theory/bv/bitblast/simple_bitblaster.h +++ b/src/theory/bv/bitblast/simple_bitblaster.h @@ -12,7 +12,7 @@ * * Bitblaster for simple BV solver. */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__THEORY__BV__BITBLAST_SIMPLE_BITBLASTER_H #define CVC5__THEORY__BV__BITBLAST_SIMPLE_BITBLASTER_H |