CVC3
formula_value.h
Go to the documentation of this file.
1 /*****************************************************************************/
2 /*!
3  *\file formula_value.h
4  *\brief enumerated type for value of formulas
5  *
6  * Author: Alexander Fuchs
7  *
8  * Created: Fri Dec 07 08:00:00 2007
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__formula_value_h_
22 #define _cvc3__include__formula_value_h_
23 
24 namespace CVC3 {
25 
26 /*****************************************************************************/
27 /*
28  * Type for truth value of formulas.
29  */
30 /*****************************************************************************/
31 typedef enum FormulaValue {
35 } FormulaValue;
36 
37 }
38 
39 #endif