Main Page | Namespace List | Class Hierarchy | Alphabetical List | Class List | File List | Class Members | File Members

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  doxygen 1.3.9.1