diff options
Diffstat (limited to 'src/theory/arith/nl/cad')
-rw-r--r-- | src/theory/arith/nl/cad/cdcac.cpp | 2 | ||||
-rw-r--r-- | src/theory/arith/nl/cad/cdcac.h | 2 | ||||
-rw-r--r-- | src/theory/arith/nl/cad/cdcac_utils.cpp | 2 | ||||
-rw-r--r-- | src/theory/arith/nl/cad/cdcac_utils.h | 2 | ||||
-rw-r--r-- | src/theory/arith/nl/cad/constraints.cpp | 2 | ||||
-rw-r--r-- | src/theory/arith/nl/cad/constraints.h | 2 | ||||
-rw-r--r-- | src/theory/arith/nl/cad/projections.cpp | 2 | ||||
-rw-r--r-- | src/theory/arith/nl/cad/projections.h | 2 | ||||
-rw-r--r-- | src/theory/arith/nl/cad/proof_generator.cpp | 2 | ||||
-rw-r--r-- | src/theory/arith/nl/cad/proof_generator.h | 2 | ||||
-rw-r--r-- | src/theory/arith/nl/cad/variable_ordering.cpp | 2 | ||||
-rw-r--r-- | src/theory/arith/nl/cad/variable_ordering.h | 2 |
12 files changed, 12 insertions, 12 deletions
diff --git a/src/theory/arith/nl/cad/cdcac.cpp b/src/theory/arith/nl/cad/cdcac.cpp index c9f3ce3da..4cd9077ca 100644 --- a/src/theory/arith/nl/cad/cdcac.cpp +++ b/src/theory/arith/nl/cad/cdcac.cpp @@ -17,7 +17,7 @@ #include "theory/arith/nl/cad/cdcac.h" -#ifdef CVC4_POLY_IMP +#ifdef CVC5_POLY_IMP #include "options/arith_options.h" #include "theory/arith/nl/cad/projections.h" diff --git a/src/theory/arith/nl/cad/cdcac.h b/src/theory/arith/nl/cad/cdcac.h index 0d5d4ce74..58aa41bd1 100644 --- a/src/theory/arith/nl/cad/cdcac.h +++ b/src/theory/arith/nl/cad/cdcac.h @@ -20,7 +20,7 @@ #ifndef CVC5__THEORY__ARITH__NL__CAD__CDCAC_H #define CVC5__THEORY__ARITH__NL__CAD__CDCAC_H -#ifdef CVC4_POLY_IMP +#ifdef CVC5_POLY_IMP #include <poly/polyxx.h> diff --git a/src/theory/arith/nl/cad/cdcac_utils.cpp b/src/theory/arith/nl/cad/cdcac_utils.cpp index 999e491f6..3ceb36bd3 100644 --- a/src/theory/arith/nl/cad/cdcac_utils.cpp +++ b/src/theory/arith/nl/cad/cdcac_utils.cpp @@ -16,7 +16,7 @@ #include "theory/arith/nl/cad/cdcac_utils.h" -#ifdef CVC4_POLY_IMP +#ifdef CVC5_POLY_IMP #include "theory/arith/nl/cad/projections.h" diff --git a/src/theory/arith/nl/cad/cdcac_utils.h b/src/theory/arith/nl/cad/cdcac_utils.h index 3cfbb138c..50f2f8bc9 100644 --- a/src/theory/arith/nl/cad/cdcac_utils.h +++ b/src/theory/arith/nl/cad/cdcac_utils.h @@ -19,7 +19,7 @@ #ifndef CVC5__THEORY__ARITH__NL__CAD__CDCAC_UTILS_H #define CVC5__THEORY__ARITH__NL__CAD__CDCAC_UTILS_H -#ifdef CVC4_POLY_IMP +#ifdef CVC5_POLY_IMP #include <poly/polyxx.h> diff --git a/src/theory/arith/nl/cad/constraints.cpp b/src/theory/arith/nl/cad/constraints.cpp index 75d1cb723..b244bd358 100644 --- a/src/theory/arith/nl/cad/constraints.cpp +++ b/src/theory/arith/nl/cad/constraints.cpp @@ -16,7 +16,7 @@ #include "theory/arith/nl/cad/constraints.h" -#ifdef CVC4_POLY_IMP +#ifdef CVC5_POLY_IMP #include <algorithm> diff --git a/src/theory/arith/nl/cad/constraints.h b/src/theory/arith/nl/cad/constraints.h index efc69d468..1ddbfc821 100644 --- a/src/theory/arith/nl/cad/constraints.h +++ b/src/theory/arith/nl/cad/constraints.h @@ -19,7 +19,7 @@ #ifndef CVC5__THEORY__ARITH__NL__CAD__CONSTRAINTS_H #define CVC5__THEORY__ARITH__NL__CAD__CONSTRAINTS_H -#ifdef CVC4_POLY_IMP +#ifdef CVC5_POLY_IMP #include <poly/polyxx.h> diff --git a/src/theory/arith/nl/cad/projections.cpp b/src/theory/arith/nl/cad/projections.cpp index 1bac0c160..8aea538f1 100644 --- a/src/theory/arith/nl/cad/projections.cpp +++ b/src/theory/arith/nl/cad/projections.cpp @@ -16,7 +16,7 @@ #include "theory/arith/nl/cad/projections.h" -#ifdef CVC4_POLY_IMP +#ifdef CVC5_POLY_IMP #include "base/check.h" diff --git a/src/theory/arith/nl/cad/projections.h b/src/theory/arith/nl/cad/projections.h index c1ce91303..f3c8aa0f1 100644 --- a/src/theory/arith/nl/cad/projections.h +++ b/src/theory/arith/nl/cad/projections.h @@ -19,7 +19,7 @@ #ifndef CVC5__THEORY__ARITH__NL__CAD_PROJECTIONS_H #define CVC5__THEORY__ARITH__NL__CAD_PROJECTIONS_H -#ifdef CVC4_USE_POLY +#ifdef CVC5_USE_POLY #include <poly/polyxx.h> diff --git a/src/theory/arith/nl/cad/proof_generator.cpp b/src/theory/arith/nl/cad/proof_generator.cpp index 73e19aa28..291447647 100644 --- a/src/theory/arith/nl/cad/proof_generator.cpp +++ b/src/theory/arith/nl/cad/proof_generator.cpp @@ -14,7 +14,7 @@ #include "theory/arith/nl/cad/proof_generator.h" -#ifdef CVC4_POLY_IMP +#ifdef CVC5_POLY_IMP #include "theory/lazy_tree_proof_generator.h" #include "theory/arith/nl/poly_conversion.h" diff --git a/src/theory/arith/nl/cad/proof_generator.h b/src/theory/arith/nl/cad/proof_generator.h index 9365cc337..993524504 100644 --- a/src/theory/arith/nl/cad/proof_generator.h +++ b/src/theory/arith/nl/cad/proof_generator.h @@ -17,7 +17,7 @@ #ifndef CVC5__THEORY__ARITH__NL__CAD__PROOF_GENERATOR_H #define CVC5__THEORY__ARITH__NL__CAD__PROOF_GENERATOR_H -#ifdef CVC4_POLY_IMP +#ifdef CVC5_POLY_IMP #include <poly/polyxx.h> diff --git a/src/theory/arith/nl/cad/variable_ordering.cpp b/src/theory/arith/nl/cad/variable_ordering.cpp index 7ebbc90dd..e7c8b214a 100644 --- a/src/theory/arith/nl/cad/variable_ordering.cpp +++ b/src/theory/arith/nl/cad/variable_ordering.cpp @@ -16,7 +16,7 @@ #include "theory/arith/nl/cad/variable_ordering.h" -#ifdef CVC4_POLY_IMP +#ifdef CVC5_POLY_IMP #include "util/poly_util.h" diff --git a/src/theory/arith/nl/cad/variable_ordering.h b/src/theory/arith/nl/cad/variable_ordering.h index b4336d395..fb40a7b7d 100644 --- a/src/theory/arith/nl/cad/variable_ordering.h +++ b/src/theory/arith/nl/cad/variable_ordering.h @@ -19,7 +19,7 @@ #ifndef CVC5__THEORY__ARITH__NL__CAD__VARIABLE_ORDERING_H #define CVC5__THEORY__ARITH__NL__CAD__VARIABLE_ORDERING_H -#ifdef CVC4_POLY_IMP +#ifdef CVC5_POLY_IMP #include <poly/polyxx.h> |