relExpression.h File Reference

#include "bddRelation.h"
#include "relTerm.h"
#include <string>
#include <fstream>
#include <iterator>
#include <regex.h>

Include dependency graph for relExpression.h:

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

Go to the source code of this file.

Data Structures
class	relExpression
class	relExprRelVar
class	relExprRelNumCmp
class	relExprExists
class	relExprNot
class	relExprAnd
class	relExprOr
class	relExprEquiv
class	relExprClosure
class	relExprRelOp
class	relExprRegExTerm
	This expression matches regular expressions with terms. More...
class	relExprTupleOf
	This expression results in a relation that contains one tuple. More...
Functions
string	unsigned2string (unsigned pUnsigned)
	Global functions.
string	double2string (double pNum)
double	elapsed ()
	Measure elapsed processor time.
Variables
map< string, relDataType * >	gVariables
	Global variables for interpreter.
const unsigned	gAttributeNum
const char	gAttributePrefix
bddSymTab *	gSymTab
bool	gPrintWarnings

---

Function Documentation

string double2string

(

double

pNum

)

Definition at line 82 of file crocopat.cpp.

double elapsed

(

)

Measure elapsed processor time.

Definition at line 104 of file crocopat.cpp.

string unsigned2string

(

unsigned

pUnsigned

)

Global functions.

Definition at line 93 of file crocopat.cpp.

---

Variable Documentation

const unsigned gAttributeNum

Definition at line 61 of file crocopat.cpp.

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

const char gAttributePrefix

Definition at line 62 of file crocopat.cpp.

Referenced by createBddRelation(), crocopat(), relExprRelVar::interpret(), relPrintExprString::interpret(), relPrintExprInt::interpret(), relPrintExprValues::interpret(), relPrintExprRelInfo::interpret(), relPrintExprNodesPerVarId::interpret(), relPrintExprGraph::interpret(), relPrintExprBDT::interpret(), relStmtAssign::interpret(), relStmtAssignNum::interpret(), relStmtAssignStr::interpret(), relStmtPrint::interpret(), relStmtIf::interpret(), relStmtWhile::interpret(), and relStmtFor::interpret().

bool gPrintWarnings

Definition at line 55 of file crocopat.cpp.

Referenced by createBddRelation(), crocopat(), relExprRelVar::interpret(), relExprRegExTerm::interpret(), relStmtIf::interpret(), relStmtWhile::interpret(), and readValue().

bddSymTab* gSymTab

Definition at line 52 of file crocopat.cpp.

Referenced by relExprRelVar::collectFreeAttrs(), relExprExists::collectFreeAttrs(), relExprRegExTerm::collectFreeAttrs(), createBddRelation(), crocopat(), and file2vector().

map<string, relDataType*> gVariables

Global variables for interpreter.

Definition at line 54 of file crocopat.cpp.

---