CVC3
2.4.1
Main Page
Related Pages
Modules
Namespaces
Classes
Files
File List
File Members
src
include
queryresult.h
Go to the documentation of this file.
1
/*****************************************************************************/
2
/*!
3
*\file queryresult.h
4
*\brief enumerated type for result of queries
5
*
6
* Author: Clark Barrett
7
*
8
* Created: Thu May 18 12:36:25 2006
9
*
10
* <hr>
11
*
12
* License to use, copy, modify, sell and/or distribute this software
13
* and its documentation for any purpose is hereby granted without
14
* royalty, subject to the terms and conditions defined in the \ref
15
* LICENSE file provided with this distribution.
16
*
17
* <hr>
18
*/
19
/*****************************************************************************/
20
21
#ifndef _cvc3__include__queryresult_h_
22
#define _cvc3__include__queryresult_h_
23
24
namespace
CVC3
{
25
26
/*****************************************************************************/
27
/*
28
* Type for result of queries. VALID and UNSATISFIABLE are treated as
29
* equivalent, as are SATISFIABLE and INVALID.
30
*/
31
/*****************************************************************************/
32
typedef
enum
QueryResult
{
33
SATISFIABLE
= 0,
34
INVALID
= 0,
35
VALID
= 1,
36
UNSATISFIABLE
= 1,
37
ABORT
,
38
UNKNOWN
39
}
QueryResult
;
40
41
}
42
43
#endif
CVC3::QueryResult
QueryResult
Definition:
queryresult.h:32
CVC3::VALID
Definition:
queryresult.h:35
CVC3::UNSATISFIABLE
Definition:
queryresult.h:36
CVC3::UNKNOWN
Definition:
queryresult.h:38
CVC3::INVALID
Definition:
queryresult.h:34
CVC3::SATISFIABLE
Definition:
queryresult.h:33
CVC3::ABORT
Definition:
queryresult.h:37
CVC3
Definition:
expr.cpp:35
Generated on Thu Feb 12 2015 18:24:44 for CVC3 by
1.8.9.1