diff options
Diffstat (limited to 'src/theory/arith/nl/ext')
-rw-r--r-- | src/theory/arith/nl/ext/constraint.h | 6 | ||||
-rw-r--r-- | src/theory/arith/nl/ext/ext_state.h | 4 | ||||
-rw-r--r-- | src/theory/arith/nl/ext/factoring_check.h | 4 | ||||
-rw-r--r-- | src/theory/arith/nl/ext/monomial.h | 6 | ||||
-rw-r--r-- | src/theory/arith/nl/ext/monomial_bounds_check.h | 4 | ||||
-rw-r--r-- | src/theory/arith/nl/ext/monomial_check.h | 4 | ||||
-rw-r--r-- | src/theory/arith/nl/ext/proof_checker.h | 6 | ||||
-rw-r--r-- | src/theory/arith/nl/ext/split_zero_check.h | 4 | ||||
-rw-r--r-- | src/theory/arith/nl/ext/tangent_plane_check.h | 4 |
9 files changed, 21 insertions, 21 deletions
diff --git a/src/theory/arith/nl/ext/constraint.h b/src/theory/arith/nl/ext/constraint.h index a96949a1e..ef9f8fef3 100644 --- a/src/theory/arith/nl/ext/constraint.h +++ b/src/theory/arith/nl/ext/constraint.h @@ -12,8 +12,8 @@ ** \brief Utilities for non-linear constraints **/ -#ifndef CVC4__THEORY__ARITH__NL__EXT__CONSTRAINT_H -#define CVC4__THEORY__ARITH__NL__EXT__CONSTRAINT_H +#ifndef CVC5__THEORY__ARITH__NL__EXT__CONSTRAINT_H +#define CVC5__THEORY__ARITH__NL__EXT__CONSTRAINT_H #include <map> #include <vector> @@ -86,4 +86,4 @@ class ConstraintDb } // namespace theory } // namespace cvc5 -#endif /* CVC4__THEORY__ARITH__NL_SOLVER_H */ +#endif /* CVC5__THEORY__ARITH__NL_SOLVER_H */ diff --git a/src/theory/arith/nl/ext/ext_state.h b/src/theory/arith/nl/ext/ext_state.h index 2d20e1557..1571f3173 100644 --- a/src/theory/arith/nl/ext/ext_state.h +++ b/src/theory/arith/nl/ext/ext_state.h @@ -12,8 +12,8 @@ ** \brief Common data shared by multiple checks **/ -#ifndef CVC4__THEORY__ARITH__NL__EXT__SHARED_CHECK_DATA_H -#define CVC4__THEORY__ARITH__NL__EXT__SHARED_CHECK_DATA_H +#ifndef CVC5__THEORY__ARITH__NL__EXT__SHARED_CHECK_DATA_H +#define CVC5__THEORY__ARITH__NL__EXT__SHARED_CHECK_DATA_H #include <vector> diff --git a/src/theory/arith/nl/ext/factoring_check.h b/src/theory/arith/nl/ext/factoring_check.h index 08154cb98..feff91112 100644 --- a/src/theory/arith/nl/ext/factoring_check.h +++ b/src/theory/arith/nl/ext/factoring_check.h @@ -12,8 +12,8 @@ ** \brief Check for factoring lemma **/ -#ifndef CVC4__THEORY__ARITH__NL__EXT__FACTORING_CHECK_H -#define CVC4__THEORY__ARITH__NL__EXT__FACTORING_CHECK_H +#ifndef CVC5__THEORY__ARITH__NL__EXT__FACTORING_CHECK_H +#define CVC5__THEORY__ARITH__NL__EXT__FACTORING_CHECK_H #include <vector> diff --git a/src/theory/arith/nl/ext/monomial.h b/src/theory/arith/nl/ext/monomial.h index 6646e4a73..bbae33eda 100644 --- a/src/theory/arith/nl/ext/monomial.h +++ b/src/theory/arith/nl/ext/monomial.h @@ -12,8 +12,8 @@ ** \brief Utilities for monomials **/ -#ifndef CVC4__THEORY__ARITH__NL__EXT__MONOMIAL_H -#define CVC4__THEORY__ARITH__NL__EXT__MONOMIAL_H +#ifndef CVC5__THEORY__ARITH__NL__EXT__MONOMIAL_H +#define CVC5__THEORY__ARITH__NL__EXT__MONOMIAL_H #include <map> #include <vector> @@ -146,4 +146,4 @@ class MonomialDb } // namespace theory } // namespace cvc5 -#endif /* CVC4__THEORY__ARITH__NL_MONOMIAL_H */ +#endif /* CVC5__THEORY__ARITH__NL_MONOMIAL_H */ diff --git a/src/theory/arith/nl/ext/monomial_bounds_check.h b/src/theory/arith/nl/ext/monomial_bounds_check.h index a19c61e64..e95cda778 100644 --- a/src/theory/arith/nl/ext/monomial_bounds_check.h +++ b/src/theory/arith/nl/ext/monomial_bounds_check.h @@ -12,8 +12,8 @@ ** \brief Check for monomial bound inference lemmas **/ -#ifndef CVC4__THEORY__ARITH__NL__EXT__MONOMIAL_BOUNDS_CHECK_H -#define CVC4__THEORY__ARITH__NL__EXT__MONOMIAL_BOUNDS_CHECK_H +#ifndef CVC5__THEORY__ARITH__NL__EXT__MONOMIAL_BOUNDS_CHECK_H +#define CVC5__THEORY__ARITH__NL__EXT__MONOMIAL_BOUNDS_CHECK_H #include "expr/node.h" #include "theory/arith/nl/ext/constraint.h" diff --git a/src/theory/arith/nl/ext/monomial_check.h b/src/theory/arith/nl/ext/monomial_check.h index f242182b4..f84d69b6b 100644 --- a/src/theory/arith/nl/ext/monomial_check.h +++ b/src/theory/arith/nl/ext/monomial_check.h @@ -12,8 +12,8 @@ ** \brief Check for some monomial lemmas **/ -#ifndef CVC4__THEORY__ARITH__NL__EXT__MONOMIAL_CHECK_H -#define CVC4__THEORY__ARITH__NL__EXT__MONOMIAL_CHECK_H +#ifndef CVC5__THEORY__ARITH__NL__EXT__MONOMIAL_CHECK_H +#define CVC5__THEORY__ARITH__NL__EXT__MONOMIAL_CHECK_H #include "expr/node.h" #include "theory/arith/nl/ext/monomial.h" diff --git a/src/theory/arith/nl/ext/proof_checker.h b/src/theory/arith/nl/ext/proof_checker.h index 90518fc08..5e901ddf5 100644 --- a/src/theory/arith/nl/ext/proof_checker.h +++ b/src/theory/arith/nl/ext/proof_checker.h @@ -14,8 +14,8 @@ #include "cvc4_private.h" -#ifndef CVC4__THEORY__ARITH__NL__EXT__PROOF_CHECKER_H -#define CVC4__THEORY__ARITH__NL__EXT__PROOF_CHECKER_H +#ifndef CVC5__THEORY__ARITH__NL__EXT__PROOF_CHECKER_H +#define CVC5__THEORY__ARITH__NL__EXT__PROOF_CHECKER_H #include "expr/node.h" #include "expr/proof_checker.h" @@ -53,4 +53,4 @@ class ExtProofRuleChecker : public ProofRuleChecker } // namespace theory } // namespace cvc5 -#endif /* CVC4__THEORY__STRINGS__PROOF_CHECKER_H */ +#endif /* CVC5__THEORY__STRINGS__PROOF_CHECKER_H */ diff --git a/src/theory/arith/nl/ext/split_zero_check.h b/src/theory/arith/nl/ext/split_zero_check.h index 04148bd19..bd07a79f6 100644 --- a/src/theory/arith/nl/ext/split_zero_check.h +++ b/src/theory/arith/nl/ext/split_zero_check.h @@ -12,8 +12,8 @@ ** \brief Check for split zero lemma **/ -#ifndef CVC4__THEORY__ARITH__NL__EXT__SPLIT_ZERO_CHECK_H -#define CVC4__THEORY__ARITH__NL__EXT__SPLIT_ZERO_CHECK_H +#ifndef CVC5__THEORY__ARITH__NL__EXT__SPLIT_ZERO_CHECK_H +#define CVC5__THEORY__ARITH__NL__EXT__SPLIT_ZERO_CHECK_H #include "expr/node.h" #include "context/cdhashset.h" diff --git a/src/theory/arith/nl/ext/tangent_plane_check.h b/src/theory/arith/nl/ext/tangent_plane_check.h index b5159e721..b5fd797aa 100644 --- a/src/theory/arith/nl/ext/tangent_plane_check.h +++ b/src/theory/arith/nl/ext/tangent_plane_check.h @@ -12,8 +12,8 @@ ** \brief Check for tangent_plane lemma **/ -#ifndef CVC4__THEORY__ARITH__NL__EXT__TANGENT_PLANE_CHECK_H -#define CVC4__THEORY__ARITH__NL__EXT__TANGENT_PLANE_CHECK_H +#ifndef CVC5__THEORY__ARITH__NL__EXT__TANGENT_PLANE_CHECK_H +#define CVC5__THEORY__ARITH__NL__EXT__TANGENT_PLANE_CHECK_H #include <map> |