diff options
Diffstat (limited to 'src/bindings/compat/java/formula_value.h')
-rw-r--r-- | src/bindings/compat/java/formula_value.h | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/src/bindings/compat/java/formula_value.h b/src/bindings/compat/java/formula_value.h new file mode 100644 index 000000000..79f31f404 --- /dev/null +++ b/src/bindings/compat/java/formula_value.h @@ -0,0 +1,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 |