org.gecode.gist.GistUIInterface Interface Reference
Inherits org.gecode.gist.Inspector.Inherited by org.gecode.gist.swing.SwingUI.
List of all members.
Detailed Description
Definition at line 31 of file GistUIInterface.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.gist.GistUIInterface.open | ( | ) |
Implemented in org.gecode.gist.swing.SwingUI.
| SpaceNode org.gecode.gist.GistUIInterface.createRoot | ( | Space | rootSpace, | |
| boolean | bab, | |||
| Statistics | stats | |||
| ) |
Implemented in org.gecode.gist.swing.SwingUI.
| void org.gecode.gist.GistUIInterface.update | ( | ) |
Implemented in org.gecode.gist.swing.SwingUI.
| void org.gecode.gist.GistUIInterface.inspect | ( | String | s | ) |
| void org.gecode.gist.GistUIInterface.scaleToFit | ( | ) |
Implemented in org.gecode.gist.swing.SwingUI.
| void org.gecode.gist.GistUIInterface.centerCursor | ( | ) |
Implemented in org.gecode.gist.swing.SwingUI.
| void org.gecode.gist.GistUIInterface.setCurrentNode | ( | SpaceNode | newNode | ) |
Implemented in org.gecode.gist.swing.SwingUI.
| File org.gecode.gist.GistUIInterface.saveFilename | ( | ) |
Implemented in org.gecode.gist.swing.SwingUI.
| boolean org.gecode.gist.GistUIInterface.overwriteDialog | ( | ) |
Implemented in org.gecode.gist.swing.SwingUI.
| void org.gecode.gist.GistUIInterface.reportError | ( | String | msg, | |
| String | title | |||
| ) |
Implemented in org.gecode.gist.swing.SwingUI.
| void org.gecode.gist.GistUIInterface.menuInspectActive | ( | boolean | active, | |
| boolean | isRoot, | |||
| boolean | isLeaf | |||
| ) |
Implemented in org.gecode.gist.swing.SwingUI.
| void org.gecode.gist.GistUIInterface.menuSearchActive | ( | boolean | active | ) |
Implemented in org.gecode.gist.swing.SwingUI.
| void org.gecode.gist.GistUIInterface.menuHideNodeActive | ( | boolean | active, | |
| boolean | hidden | |||
| ) |
Implemented in org.gecode.gist.swing.SwingUI.
| void org.gecode.gist.GistUIInterface.menuUnhideAllActive | ( | boolean | active | ) |
Implemented in org.gecode.gist.swing.SwingUI.
| void org.gecode.gist.GistUIInterface.menuHideFailedActive | ( | boolean | active | ) |
Implemented in org.gecode.gist.swing.SwingUI.
| void org.gecode.gist.GistUIInterface.updateEventListeners | ( | ) |
Implemented in org.gecode.gist.swing.SwingUI.
The documentation for this interface was generated from the following file:
- org/gecode/gist/GistUIInterface.java (Revision: 3796)