steensgaard.h File Reference

#include <union_find.h>
#include <list>
#include <map>
#include <string>
#include <iostream>
#include <assert.h>

Include dependency graph for steensgaard.h:

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

Go to the source code of this file.

Classes
struct	Lambda
class	ECR
class	ECRmap
class	ECRmap::VariableAlreadyDefined

Macros
#define	BOT   NULL
#define	Variable   std::string

Macro Definition Documentation

#define BOT   NULL

Definition at line 13 of file steensgaard.h.

Referenced by ECRmap::allocate(), ECRmap::cjoin(), ECRmap::deref_x_eq_y(), ECRmap::function_call_p(), ECRmap::function_def_x(), ECRmap::join(), ECRmap::set_type(), and ECRmap::x_eq_deref_y().

#define Variable   std::string

Definition at line 54 of file steensgaard.h.

Referenced by ECRmap::function_call_p(), and ECRmap::set_lambda().