blob: 79f31f4048d66c557058b31f4e88aff949f6a9d2 (
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 formulavalue.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
|