VisuBDD::VisualizeSize Class Reference


Detailed Description

Definition at line 22 of file VisualizeSize.java.

Static Public Member Functions

static double maxVal (java.util.List localList)
static void main (String[] args)
 main opens the main window of this application.


Member Function Documentation

static double VisuBDD::VisualizeSize::maxVal ( java.util.List  localList  )  [inline, static]

Definition at line 28 of file VisualizeSize.java.

Referenced by main().

Here is the caller graph for this function:

static void VisuBDD::VisualizeSize::main ( String[]  args  )  [inline, static]

main opens the main window of this application.

Parameters:
args[0] input filename

Definition at line 53 of file VisualizeSize.java.

References maxVal(), VisuBDD::FileInput::readFile(), VisuBDD::VisualizeFrame::setDistance(), VisuBDD::ControlDialog::setMaxBDDWidth(), and VisuBDD::VisualizeFrame::setMaxBddWidth().

Here is the call graph for this function:


The documentation for this class was generated from the following file:
Generated on Fri Jun 6 22:23:52 2008 for CrocoPat by  doxygen 1.5.1