bddRelation.h File Reference

#include "bddBdd.h"
#include "bddSymTab.h"
#include "relDataType.h"

Include dependency graph for bddRelation.h:

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

Go to the source code of this file.

Data Structures
class	bddRelation
	Set of tupels represented by a BDD. More...
class	bddRelationConst
Functions
string	unsigned2string (unsigned pUnsigned)
	Global functions.

---

Function Documentation

string unsigned2string

(

unsigned

pUnsigned

)

Global functions.

Definition at line 93 of file crocopat.cpp.

Referenced by createBddRelation(), crocopat(), relStmtAssign::interpret(), and relExprRelVar::interpret().

Here is the caller graph for this function:

---