blob: efcd32eea1fa9463781a55491e1a0a0646700a5b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
/*****************************************************************************/
/*!
*\file formula_value.h
*\brief enumerated type for value of formulas
*
* Author: Alexander Fuchs
*
* Created: Fri Dec 07 08:00:00 2007
*
* <hr>
*
* License to use, copy, modify, sell and/or distribute this software
* and its documentation for any purpose is hereby granted without
* royalty, subject to the terms and conditions defined in the \ref
* LICENSE file provided with this distribution.
*
* <hr>
*/
/*****************************************************************************/
#ifndef _cvc3__include__formulavalue_h_
#define _cvc3__include__formulavalue_h_
namespace CVC3 {
/*****************************************************************************/
/*
* Type for truth value of formulas.
*/
/*****************************************************************************/
typedef enum FormulaValue {
TRUE_VAL,
FALSE_VAL,
UNKNOWN_VAL
} FormulaValue;
}
#endif
|