CVC3  2.4.1
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 {
34  INVALID = 0,
35  VALID = 1,
39 } QueryResult;
40 
41 }
42 
43 #endif
QueryResult
Definition: queryresult.h:32
Definition: expr.cpp:35