CVC3
2.4.1
Main Page
Related Pages
Modules
Namespaces
Classes
Files
File List
File Members
src
include
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
{
32
TRUE_VAL
,
33
FALSE_VAL
,
34
UNKNOWN_VAL
35
}
FormulaValue
;
36
37
}
38
39
#endif
Generated on Mon Aug 19 2013 14:42:41 for CVC3 by
1.8.4