1 /********************* */
3 ** Original author: mdeters
4 ** Major contributors: none
5 ** Minor contributors (to current version): none
6 ** This file is part of the CVC4 prototype.
7 ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys)
8 ** Courant Institute of Mathematical Sciences
10 ** See the file COPYING in the top-level source directory for licensing
13 ** The theory output channel interface.
16 #ifndef __CVC4__THEORY__INTERRUPTED_H
17 #define __CVC4__THEORY__INTERRUPTED_H
19 #include "util/exception.h"
24 class CVC4_PUBLIC Interrupted
: public CVC4::Exception
{
28 Interrupted() : CVC4::Exception("CVC4::Theory::Interrupted") {}
29 Interrupted(const std::string
& msg
) : CVC4::Exception(msg
) {}
30 Interrupted(const char* msg
) : CVC4::Exception(msg
) {}
32 };/* class Interrupted */
34 }/* CVC4::theory namespace */
37 #endif /* __CVC4__THEORY__INTERRUPTED_H */