conaux::sat_exception Class Reference
#include <constraint.hpp>
Detailed Description
This exception will be thrown in case of a malformed sat-expression in the program input.
The documentation for this class was generated from the following file:
Generated on Mon Mar 21 00:08:23 2005 for Fixpoint Engine by
1.3.9.1