VisuBDD::VisualizeFrame::MyCanvas Class Reference

Inheritance diagram for VisuBDD::VisualizeFrame::MyCanvas:

Inheritance graph
[legend]
Collaboration diagram for VisuBDD::VisualizeFrame::MyCanvas:

Collaboration graph
[legend]

Detailed Description

Definition at line 36 of file VisualizeFrame.java.

Public Member Functions

void paint (Graphics area)
Dimension getPreferedSize ()

Private Member Functions

int maxBDDdepht (java.util.List localList)


Member Function Documentation

int VisuBDD::VisualizeFrame::MyCanvas::maxBDDdepht ( java.util.List  localList  )  [inline, private]

Definition at line 42 of file VisualizeFrame.java.

Referenced by paint().

Here is the caller graph for this function:

void VisuBDD::VisualizeFrame::MyCanvas::paint ( Graphics  area  )  [inline]

Definition at line 60 of file VisualizeFrame.java.

References VisuBDD::VisualizeFrame::fileSequence, VisuBDD::VisualizeFrame::lineDistance, VisuBDD::VisualizeFrame::max(), maxBDDdepht(), VisuBDD::VisualizeFrame::maxBddWidth, VisuBDD::VisualizeFrame::maxVals, VisuBDD::VisualizeFrame::myFrame, VisuBDD::VisualizeFrame::visualizeList, and VisuBDD::VisualizeFrame::xorMode.

Here is the call graph for this function:

Dimension VisuBDD::VisualizeFrame::MyCanvas::getPreferedSize (  )  [inline]

Definition at line 137 of file VisualizeFrame.java.

References VisuBDD::VisualizeFrame::myFrame.


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