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.