diff options
Diffstat (limited to 'src/smt/smt_engine.h')
-rw-r--r-- | src/smt/smt_engine.h | 23 |
1 files changed, 11 insertions, 12 deletions
diff --git a/src/smt/smt_engine.h b/src/smt/smt_engine.h index de3a64ff6..21250dc30 100644 --- a/src/smt/smt_engine.h +++ b/src/smt/smt_engine.h @@ -34,7 +34,7 @@ #include "util/sexpr.h" #include "util/statistics.h" -namespace CVC4 { +namespace CVC5 { template <bool ref_count> class NodeTemplate; typedef NodeTemplate<true> Node; @@ -63,7 +63,7 @@ class Solver; namespace context { class Context; class UserContext; -}/* CVC4::context namespace */ + } // namespace context /* -------------------------------------------------------------------------- */ @@ -75,7 +75,7 @@ class PreprocessingPassContext; namespace prop { class PropEngine; -}/* CVC4::prop namespace */ + } // namespace prop /* -------------------------------------------------------------------------- */ @@ -111,24 +111,23 @@ class PfManager; class UnsatCoreManager; ProofManager* currentProofManager(); -}/* CVC4::smt namespace */ +} // namespace smt /* -------------------------------------------------------------------------- */ namespace theory { class Rewriter; class QuantifiersEngine; -}/* CVC4::theory namespace */ - + } // namespace theory /* -------------------------------------------------------------------------- */ class CVC4_EXPORT SmtEngine { - friend class ::CVC4::api::Solver; - friend class ::CVC4::smt::SmtEngineState; - friend class ::CVC4::smt::SmtScope; - friend class ::CVC4::LogicRequest; + friend class ::CVC5::api::Solver; + friend class ::CVC5::smt::SmtEngineState; + friend class ::CVC5::smt::SmtScope; + friend class ::CVC5::LogicRequest; /* ....................................................................... */ public: @@ -220,7 +219,7 @@ class CVC4_EXPORT SmtEngine bool isValidGetInfoFlag(const std::string& key) const; /** Query information about the SMT environment. */ - CVC4::SExpr getInfo(const std::string& key) const; + CVC5::SExpr getInfo(const std::string& key) const; /** * Set an aspect of the current SMT execution environment. @@ -1168,6 +1167,6 @@ class CVC4_EXPORT SmtEngine /* -------------------------------------------------------------------------- */ -}/* CVC4 namespace */ +} // namespace CVC5 #endif /* CVC4__SMT_ENGINE_H */ |