conaux::sat_exception Struct Reference
#include <constraint.h>
Detailed Description
This exception will be thrown in case of a malformed sat-expression in the program input.
The documentation for this struct was generated from the following file:
Generated on Sun Jan 16 16:10:51 2005 for Fixpoint Engine by
1.3.9.1