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

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