cprover
equation_conversion_exceptions.h File Reference

Exceptions that can be raised during the equation conversion phase. More...

#include <sstream>
#include <util/format_expr.h>
#include "symex_target_equation.h"
Include dependency graph for equation_conversion_exceptions.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  equation_conversion_exceptiont
 

Detailed Description

Exceptions that can be raised during the equation conversion phase.

Definition in file equation_conversion_exceptions.h.