src/util/unsafe_interrupt_exception.h

   1 /*********************                                                        */
   2 /*! \file unsafe_interrupt_exception.h
   3  ** \verbatim
   4  ** Top contributors (to current version):
   5  **   Liana Hadarean
   6  ** This file is part of the CVC4 project.
   7  ** Copyright (c) 2009-2019 by the authors listed in the file AUTHORS
   8  ** in the top-level source directory) and their institutional affiliations.
   9  ** All rights reserved.  See the file COPYING in the top-level source
  10  ** directory for licensing information.\endverbatim
  11  **
  12  ** \brief An exception that is thrown when the solver is out of time/resources
  13  ** and is interrupted in an unsafe state
  14  **/
  15
  16 #include "cvc4_public.h"
  17
  18 #ifndef CVC4__UNSAFE_INTERRUPT_EXCEPTION_H
  19 #define CVC4__UNSAFE_INTERRUPT_EXCEPTION_H
  20
  21 #include "base/exception.h"
  22
  23 namespace CVC4 {
  24
  25 class CVC4_PUBLIC UnsafeInterruptException : public CVC4::Exception {
  26 public:
  27   UnsafeInterruptException() :
  28     Exception("Interrupted in unsafe state due to "
  29               "time/resource limit.") {
  30   }
  31
  32   UnsafeInterruptException(const std::string& msg) :
  33     Exception(msg) {
  34   }
  35
  36   UnsafeInterruptException(const char* msg) :
  37     Exception(msg) {
  38   }
  39 };/* class UnsafeInterruptException */
  40
  41 }/* CVC4 namespace */
  42
  43 #endif /* CVC4__UNSAFE_INTERRUPT_EXCEPTION_H */