1 /********************* */
2 /*! \file logic_exception.h
4 ** Original author: Morgan Deters
5 ** Major contributors: none
6 ** Minor contributors (to current version): none
7 ** This file is part of the CVC4 project.
8 ** Copyright (c) 2009-2014 New York University and The University of Iowa
9 ** See the file COPYING in the top-level source directory for licensing
10 ** information.\endverbatim
12 ** \brief An exception that is thrown when a feature is used outside
13 ** the logic that CVC4 is currently using
15 ** \brief An exception that is thrown when a feature is used outside
16 ** the logic that CVC4 is currently using (for example, a quantifier
17 ** is used while running in a quantifier-free logic).
20 #include "cvc4_public.h"
22 #ifndef __CVC4__SMT__LOGIC_EXCEPTION_H
23 #define __CVC4__SMT__LOGIC_EXCEPTION_H
25 #include "base/exception.h"
29 class CVC4_PUBLIC LogicException
: public CVC4::Exception
{
32 Exception("Feature used while operating in "
36 LogicException(const std::string
& msg
) :
40 LogicException(const char* msg
) :
43 };/* class LogicException */
47 #endif /* __CVC4__SMT__LOGIC_EXCEPTION_H */