cvc4-1.4
Main Page
Related Pages
Namespaces
Data Structures
Files
File List
Globals
modal_exception.h
Go to the documentation of this file.
1
/********************* */
20
#include "
cvc4_public.h
"
21
22
#ifndef __CVC4__SMT__MODAL_EXCEPTION_H
23
#define __CVC4__SMT__MODAL_EXCEPTION_H
24
25
#include "
util/exception.h
"
26
27
namespace
CVC4
{
28
29
class
CVC4_PUBLIC
ModalException
:
public
CVC4::Exception
{
30
public
:
31
ModalException
() :
32
Exception
(
"Feature used while operating in "
33
"incorrect state"
) {
34
}
35
36
ModalException
(
const
std::string& msg) :
37
Exception
(msg) {
38
}
39
40
ModalException
(
const
char
* msg) :
41
Exception
(msg) {
42
}
43
};
/* class ModalException */
44
45
}
/* CVC4 namespace */
46
47
#endif
/* __CVC4__SMT__MODAL_EXCEPTION_H */
CVC4
Definition:
input.h:32
CVC4::ModalException::ModalException
ModalException(const std::string &msg)
Definition:
modal_exception.h:36
CVC4::ModalException
Definition:
modal_exception.h:29
CVC4::ModalException::ModalException
ModalException()
Definition:
modal_exception.h:31
exception.h
CVC4's exception base class and some associated utilities.
CVC4_PUBLIC
#define CVC4_PUBLIC
Definition:
cvc4_public.h:30
cvc4_public.h
Macros that should be defined everywhere during the building of the libraries and driver binary...
CVC4::ModalException::ModalException
ModalException(const char *msg)
Definition:
modal_exception.h:40
CVC4::Exception
Definition:
exception.h:32
src
smt
modal_exception.h
Generated by
1.8.9.1