CVC3: formula_value.h Source File

00001 /*****************************************************************************/
00002 /*!
00003  *\file formula_value.h
00004  *\brief enumerated type for value of formulas
00005  *
00006  * Author: Alexander Fuchs
00007  *
00008  * Created: Fri Dec 07 08:00:00 2007
00009  *
00010  * <hr>
00011  *
00012  * License to use, copy, modify, sell and/or distribute this software
00013  * and its documentation for any purpose is hereby granted without
00014  * royalty, subject to the terms and conditions defined in the \ref
00015  * LICENSE file provided with this distribution.
00016  * 
00017  * <hr>
00018  */
00019 /*****************************************************************************/
00020 
00021 #ifndef _cvc3__include__formula_value_h_
00022 #define _cvc3__include__formula_value_h_
00023 
00024 namespace CVC3 {
00025 
00026 /*****************************************************************************/
00027 /*
00028  * Type for truth value of formulas.
00029  */
00030 /*****************************************************************************/
00031 typedef enum FormulaValue {
00032   TRUE_VAL,
00033   FALSE_VAL,
00034   UNKNOWN_VAL 
00035 } FormulaValue;
00036 
00037 }
00038 
00039 #endif