Rename SmtScope to SolverEngineScope. (#7284)

1 files changed, 0 insertions, 62 deletions

diff --git a/src/smt/smt_engine_scope.h b/src/smt/smt_engine_scope.h
deleted file mode 100644
index a4c1f0eaf..000000000
--- a/src/smt/smt_engine_scope.h
+++ /dev/null
@@ -1,62 +0,0 @@
-/******************************************************************************
- * Top contributors (to current version):
- *   Andrew Reynolds, Andres Noetzli, Tim King
- *
- * This file is part of the cvc5 project.
- *
- * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
- * in the top-level source directory and their institutional affiliations.
- * All rights reserved.  See the file COPYING in the top-level source
- * directory for licensing information.
- * ****************************************************************************
- *
- * [[ Add one-line brief description here ]]
- *
- * [[ Add lengthier description here ]]
- * \todo document this file
- */
-
-#include "cvc5_private.h"
-
-#ifndef CVC5__SMT__SMT_ENGINE_SCOPE_H
-#define CVC5__SMT__SMT_ENGINE_SCOPE_H
-
-#include "expr/node_manager.h"
-
-#include "options/options.h"
-
-namespace cvc5 {
-
-class SolverEngine;
-class StatisticsRegistry;
-
-namespace smt {
-
-SolverEngine* currentSolverEngine();
-bool smtEngineInScope();
-
-/** get the current resource manager */
-ResourceManager* currentResourceManager();
-
-class SmtScope
-{
- public:
-  SmtScope(const SolverEngine* smt);
-  ~SmtScope();
-  /**
-   * This returns the StatisticsRegistry attached to the currently in scope
-   * SolverEngine.
-   */
-  static StatisticsRegistry& currentStatisticsRegistry();
-
- private:
-  /** The old SolverEngine, to be restored on destruction. */
-  SolverEngine* d_oldSlvEngine;
-  /** Options scope */
-  Options::OptionsScope d_optionsScope;
-};/* class SmtScope */
-
-}  // namespace smt
-}  // namespace cvc5
-
-#endif /* CVC5__SMT__SMT_ENGINE_SCOPE_H */