logic Directory Reference

Files
file	Dream.cpp [code]
	Author: Gabor Madl Main executable for DREAM. This file manages the text-based menu, the XML parser, the simulation, verification and optimization engines of DREAM.
file	IFInterpreter.cpp [code]
	Author: Gabor Madl This interpreter generates input for the IF toolset from the DREAM models.
file	IFInterpreter.h [code]
	Author: Gabor Madl This interpreter generates input for the IF toolset from the DREAM models.
file	UppaalInterpreter.cpp [code]
	Author: Gabor Madl This interpreter generates Uppaal XML input from the DREAM models.
file	UppaalInterpreter.h [code]
	Author: Gabor Madl This interpreter generates Uppaal XML input from the DREAM models.
file	XMLParser.cpp [code]
	Author: Gabor Madl XML Parser library.
file	XMLParser.h [code]
	Author: Gabor Madl XML Parser library.

---