main.cpp File Reference

Go to the source code of this file.

Functions
int	crocopat (int argc, char *argv[])
	Main program.
int	main (int argc, char *argv[])
	Main program.

---

Function Documentation

int crocopat	(	int	argc,
		char *	argv[]
	)

Main program.

Definition at line 324 of file crocopat.cpp.

References bddSymTab::addAttribute(), bddRelation::complement(), createBddRelation(), bddBdd::done(), file2vector(), gArgc, gArgv, gAttributeNum, gAttributePrefix, relObject::GetCount(), gNoParseErrs, gPrintWarnings, gScanner, gStart, gSymTab, gSyntaxTree, gValueUniverse, gVariables, bddBdd::init(), bddSymTab::initValueUniverse(), relStatement::interpret(), bddRelation::mkEqual(), bddRelation::mkLess(), printHelp(), printVersion(), signal_handler(), bddRelation::unite(), unsigned2string(), yyparse(), and yyFlexLexer::yyrestart().

Referenced by main().

Here is the call graph for this function:

Here is the caller graph for this function:

int main	(	int	argc,
		char *	argv[]
	)

Main program.

Definition at line 37 of file main.cpp.

References crocopat().

Here is the call graph for this function:

---