VisuBDD Namespace Reference

---

Detailed Description

project: BDD size visualization module: VisualizeFrame.java

Version:

<01.03.2001>

Author:

<Michael Vogel - (mvogel@informatik.tu-cottbus.de)>

Data Structures
class	ColorAssignment
class	ControlDialog
class	FileInput
class	FilenameDialog
class	VisualizeFrame
class	VisualizeSize

---