diff options
Diffstat (limited to 'src/theory/arith/nl/cad')
| -rw-r--r-- | src/theory/arith/nl/cad/cdcac.h | 2 | ||||
| -rw-r--r-- | src/theory/arith/nl/cad/cdcac_utils.h | 2 | ||||
| -rw-r--r-- | src/theory/arith/nl/cad/constraints.h | 2 | ||||
| -rw-r--r-- | src/theory/arith/nl/cad/projections.h | 2 | ||||
| -rw-r--r-- | src/theory/arith/nl/cad/proof_checker.h | 2 | ||||
| -rw-r--r-- | src/theory/arith/nl/cad/proof_generator.h | 2 | ||||
| -rw-r--r-- | src/theory/arith/nl/cad/variable_ordering.h | 2 |
7 files changed, 7 insertions, 7 deletions
diff --git a/src/theory/arith/nl/cad/cdcac.h b/src/theory/arith/nl/cad/cdcac.h index eafe979a1..7973fda58 100644 --- a/src/theory/arith/nl/cad/cdcac.h +++ b/src/theory/arith/nl/cad/cdcac.h @@ -14,7 +14,7 @@ * https://arxiv.org/pdf/2003.05633.pdf. */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__THEORY__ARITH__NL__CAD__CDCAC_H #define CVC5__THEORY__ARITH__NL__CAD__CDCAC_H diff --git a/src/theory/arith/nl/cad/cdcac_utils.h b/src/theory/arith/nl/cad/cdcac_utils.h index f0f3c357b..8fde21fde 100644 --- a/src/theory/arith/nl/cad/cdcac_utils.h +++ b/src/theory/arith/nl/cad/cdcac_utils.h @@ -13,7 +13,7 @@ * Implements utilities for cdcac. */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__THEORY__ARITH__NL__CAD__CDCAC_UTILS_H #define CVC5__THEORY__ARITH__NL__CAD__CDCAC_UTILS_H diff --git a/src/theory/arith/nl/cad/constraints.h b/src/theory/arith/nl/cad/constraints.h index 3655ef5c0..f8a12065f 100644 --- a/src/theory/arith/nl/cad/constraints.h +++ b/src/theory/arith/nl/cad/constraints.h @@ -13,7 +13,7 @@ * Implements a container for CAD constraints. */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__THEORY__ARITH__NL__CAD__CONSTRAINTS_H #define CVC5__THEORY__ARITH__NL__CAD__CONSTRAINTS_H diff --git a/src/theory/arith/nl/cad/projections.h b/src/theory/arith/nl/cad/projections.h index 25deb0d0d..129c3515a 100644 --- a/src/theory/arith/nl/cad/projections.h +++ b/src/theory/arith/nl/cad/projections.h @@ -13,7 +13,7 @@ * Implements utilities for CAD projection operators. */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__THEORY__ARITH__NL__CAD_PROJECTIONS_H #define CVC5__THEORY__ARITH__NL__CAD_PROJECTIONS_H diff --git a/src/theory/arith/nl/cad/proof_checker.h b/src/theory/arith/nl/cad/proof_checker.h index 36d18c854..d7ce05b60 100644 --- a/src/theory/arith/nl/cad/proof_checker.h +++ b/src/theory/arith/nl/cad/proof_checker.h @@ -13,7 +13,7 @@ * CAD proof checker utility. */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__THEORY__ARITH__NL__CAD__PROOF_CHECKER_H #define CVC5__THEORY__ARITH__NL__CAD__PROOF_CHECKER_H diff --git a/src/theory/arith/nl/cad/proof_generator.h b/src/theory/arith/nl/cad/proof_generator.h index 440f25e49..27a711f75 100644 --- a/src/theory/arith/nl/cad/proof_generator.h +++ b/src/theory/arith/nl/cad/proof_generator.h @@ -13,7 +13,7 @@ * Implements the proof generator for CAD. */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__THEORY__ARITH__NL__CAD__PROOF_GENERATOR_H #define CVC5__THEORY__ARITH__NL__CAD__PROOF_GENERATOR_H diff --git a/src/theory/arith/nl/cad/variable_ordering.h b/src/theory/arith/nl/cad/variable_ordering.h index 00fbc8f49..2de262089 100644 --- a/src/theory/arith/nl/cad/variable_ordering.h +++ b/src/theory/arith/nl/cad/variable_ordering.h @@ -13,7 +13,7 @@ * Implements variable orderings tailored to CAD. */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__THEORY__ARITH__NL__CAD__VARIABLE_ORDERING_H #define CVC5__THEORY__ARITH__NL__CAD__VARIABLE_ORDERING_H |