formula_value.h File Reference

enumerated type for value of formulas More...

Go to the source code of this file.

Namespaces

• namespace CVC3

Typedefs

• typedef enum CVC3::FormulaValue CVC3::FormulaValue

Enumerations

• enum CVC3::FormulaValue { CVC3::TRUE_VAL, CVC3::FALSE_VAL, CVC3::UNKNOWN_VAL }

---

Detailed Description

enumerated type for value of formulas

Author: Alexander Fuchs

Created: Fri Dec 07 08:00:00 2007

---

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 LICENSE file provided with this distribution.

---

Definition in file formula_value.h.