org.gecode.explorer.swing.HelpWindow Class Reference
List of all members.Detailed Description
Definition at line 29 of file HelpWindow.java.
Public Member Functions | |
| HelpWindow (Frame owner) | |
| void | open () |
| void | hyperlinkUpdate (HyperlinkEvent e) |
Constructor & Destructor Documentation
| org.gecode.explorer.swing.HelpWindow.HelpWindow | ( | Frame | owner | ) |
Definition at line 30 of file HelpWindow.java.
Member Function Documentation
| void org.gecode.explorer.swing.HelpWindow.open | ( | ) |
Definition at line 77 of file HelpWindow.java.
| void org.gecode.explorer.swing.HelpWindow.hyperlinkUpdate | ( | HyperlinkEvent | e | ) |
Definition at line 82 of file HelpWindow.java.
The documentation for this class was generated from the following file:
- org/gecode/explorer/swing/HelpWindow.java (Revision: 2944)