org.gecode.explorer.ExplorerUIInterface Interface Reference
Inherits org.gecode.explorer.Inspector.Inherited by org.gecode.explorer.swing.SwingUI.
Detailed Description
Definition at line 30 of file ExplorerUIInterface.java.
Public Member Functions | |
| void | open () |
| SpaceNode | createRoot (Space rootSpace, boolean bab, Statistics stats) |
| void | update () |
| void | inspect (String s) |
| void | scaleToFit () |
| void | centerCursor () |
| void | setCurrentNode (SpaceNode newNode) |
| File | saveFilename () |
| boolean | overwriteDialog () |
| void | reportError (String msg, String title) |
| void | menuInspectActive (boolean active, boolean isRoot, boolean isLeaf) |
| void | menuSearchActive (boolean active) |
| void | menuHideNodeActive (boolean active, boolean hidden) |
| void | menuUnhideAllActive (boolean active) |
| void | menuHideFailedActive (boolean active) |
| void | updateEventListeners () |
Member Function Documentation
| void org.gecode.explorer.ExplorerUIInterface.open | ( | ) |
Implemented in org.gecode.explorer.swing.SwingUI.
| SpaceNode org.gecode.explorer.ExplorerUIInterface.createRoot | ( | Space | rootSpace, | |
| boolean | bab, | |||
| Statistics | stats | |||
| ) |
Implemented in org.gecode.explorer.swing.SwingUI.
| void org.gecode.explorer.ExplorerUIInterface.update | ( | ) |
Implemented in org.gecode.explorer.swing.SwingUI.
| void org.gecode.explorer.ExplorerUIInterface.inspect | ( | String | s | ) |
| void org.gecode.explorer.ExplorerUIInterface.scaleToFit | ( | ) |
Implemented in org.gecode.explorer.swing.SwingUI.
| void org.gecode.explorer.ExplorerUIInterface.centerCursor | ( | ) |
Implemented in org.gecode.explorer.swing.SwingUI.
| void org.gecode.explorer.ExplorerUIInterface.setCurrentNode | ( | SpaceNode | newNode | ) |
Implemented in org.gecode.explorer.swing.SwingUI.
| File org.gecode.explorer.ExplorerUIInterface.saveFilename | ( | ) |
Implemented in org.gecode.explorer.swing.SwingUI.
| boolean org.gecode.explorer.ExplorerUIInterface.overwriteDialog | ( | ) |
Implemented in org.gecode.explorer.swing.SwingUI.
| void org.gecode.explorer.ExplorerUIInterface.reportError | ( | String | msg, | |
| String | title | |||
| ) |
Implemented in org.gecode.explorer.swing.SwingUI.
| void org.gecode.explorer.ExplorerUIInterface.menuInspectActive | ( | boolean | active, | |
| boolean | isRoot, | |||
| boolean | isLeaf | |||
| ) |
Implemented in org.gecode.explorer.swing.SwingUI.
| void org.gecode.explorer.ExplorerUIInterface.menuSearchActive | ( | boolean | active | ) |
Implemented in org.gecode.explorer.swing.SwingUI.
| void org.gecode.explorer.ExplorerUIInterface.menuHideNodeActive | ( | boolean | active, | |
| boolean | hidden | |||
| ) |
Implemented in org.gecode.explorer.swing.SwingUI.
| void org.gecode.explorer.ExplorerUIInterface.menuUnhideAllActive | ( | boolean | active | ) |
Implemented in org.gecode.explorer.swing.SwingUI.
| void org.gecode.explorer.ExplorerUIInterface.menuHideFailedActive | ( | boolean | active | ) |
Implemented in org.gecode.explorer.swing.SwingUI.
| void org.gecode.explorer.ExplorerUIInterface.updateEventListeners | ( | ) |
Implemented in org.gecode.explorer.swing.SwingUI.
The documentation for this interface was generated from the following file:
- org/gecode/explorer/ExplorerUIInterface.java (Revision: 2982)