Range_Analysis.hpp File Reference

#include <iostream>
#include "Range.hpp"
#include "application_frontend_flow_step.hpp"
#include "tree_node.hpp"

Include dependency graph for Range_Analysis.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	tree_reindexCompare
class	RangeAnalysis

Enumerations
enum	SolverType { st_Cousot, st_Crop }

Functions
	REF_FORWARD_DECL (ConstraintGraph)

Detailed Description

Author

Michele Fiorito miche.nosp@m.le.f.nosp@m.iorit.nosp@m.o@po.nosp@m.limi..nosp@m.it $Revision$ $Date$ Last modified by $Author$

Definition in file Range_Analysis.hpp.

Enumeration Type Documentation

SolverType

enum SolverType

Enumerator
st_Cousot
st_Crop

Definition at line 60 of file Range_Analysis.hpp.

Function Documentation

REF_FORWARD_DECL()

REF_FORWARD_DECL

(

ConstraintGraph

)