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
Generated on Thu Jul 19 2012 08:17:23 for CVC3 by
1.8.1.1