org.gecode.explorer.ExplorerController Class Reference
Inherits org.gecode.explorer.StatisticsListener.Detailed Description
Definition at line 32 of file ExplorerController.java.
Public Member Functions | |
| ExplorerController (Space rootSpace, boolean bab) | |
| void | selectInspectionAction (String action) |
| String | getSelectedAction () |
| Enumeration< String > | getListeners () |
| void | registerUI (ExplorerUIInterface ui) |
| void | exploreOne () |
| void | exploreAll () |
| void | exploreN () |
| void | reset () |
| void | saveAs () |
| void | addEventListener (ExplorerEventListener e) |
| void | setCurrentNode (SpaceNode c) |
| SpaceNode | getCurrentNode () |
| void | inspect () |
| void | inspectBranches () |
| void | inspectBeforePropagation () |
| int[] | getStatistics () |
| This method returns an int-array of five elements containing {Number of solution nodes, Number of failed nodes, Number of choice nodes, Number of undetermined nodes, Depth of tree}. | |
| SpaceNode | getRoot () |
| void | toggleHidden () |
| void | hideFailed () |
| void | unhideAll () |
| void | newSolution (int solutions) |
| void | newNode () |
| void | scaleToFit () |
| void | searchDone () |
| void | navUp () |
| void | navDown () |
| void | navLeft () |
| void | navRight () |
| void | jumpNextSol () |
| void | jumpPrevSol () |
| void | jumpRoot () |
| void | jumpLeftmost () |
| void | jumpRightmost () |
| void | centerCursor () |
Constructor & Destructor Documentation
| org.gecode.explorer.ExplorerController.ExplorerController | ( | Space | rootSpace, | |
| boolean | bab | |||
| ) |
Definition at line 53 of file ExplorerController.java.
Member Function Documentation
| void org.gecode.explorer.ExplorerController.selectInspectionAction | ( | String | action | ) |
Definition at line 67 of file ExplorerController.java.
| String org.gecode.explorer.ExplorerController.getSelectedAction | ( | ) |
Definition at line 70 of file ExplorerController.java.
| Enumeration<String> org.gecode.explorer.ExplorerController.getListeners | ( | ) |
Definition at line 73 of file ExplorerController.java.
| void org.gecode.explorer.ExplorerController.registerUI | ( | ExplorerUIInterface | ui | ) |
Definition at line 77 of file ExplorerController.java.
| void org.gecode.explorer.ExplorerController.exploreOne | ( | ) |
Definition at line 89 of file ExplorerController.java.
| void org.gecode.explorer.ExplorerController.exploreAll | ( | ) |
Definition at line 101 of file ExplorerController.java.
| void org.gecode.explorer.ExplorerController.exploreN | ( | ) |
Definition at line 112 of file ExplorerController.java.
| void org.gecode.explorer.ExplorerController.reset | ( | ) |
Definition at line 124 of file ExplorerController.java.
| void org.gecode.explorer.ExplorerController.saveAs | ( | ) |
Definition at line 136 of file ExplorerController.java.
| void org.gecode.explorer.ExplorerController.addEventListener | ( | ExplorerEventListener | e | ) |
Definition at line 156 of file ExplorerController.java.
| void org.gecode.explorer.ExplorerController.setCurrentNode | ( | SpaceNode | c | ) |
Definition at line 162 of file ExplorerController.java.
| SpaceNode org.gecode.explorer.ExplorerController.getCurrentNode | ( | ) |
Definition at line 199 of file ExplorerController.java.
| void org.gecode.explorer.ExplorerController.inspect | ( | ) |
Definition at line 214 of file ExplorerController.java.
| void org.gecode.explorer.ExplorerController.inspectBranches | ( | ) |
Definition at line 237 of file ExplorerController.java.
| void org.gecode.explorer.ExplorerController.inspectBeforePropagation | ( | ) |
Definition at line 278 of file ExplorerController.java.
| int [] org.gecode.explorer.ExplorerController.getStatistics | ( | ) |
This method returns an int-array of five elements containing {Number of solution nodes, Number of failed nodes, Number of choice nodes, Number of undetermined nodes, Depth of tree}.
Definition at line 312 of file ExplorerController.java.
| SpaceNode org.gecode.explorer.ExplorerController.getRoot | ( | ) |
Definition at line 324 of file ExplorerController.java.
| void org.gecode.explorer.ExplorerController.toggleHidden | ( | ) |
Definition at line 328 of file ExplorerController.java.
| void org.gecode.explorer.ExplorerController.hideFailed | ( | ) |
Definition at line 332 of file ExplorerController.java.
| void org.gecode.explorer.ExplorerController.unhideAll | ( | ) |
Definition at line 336 of file ExplorerController.java.
| void org.gecode.explorer.ExplorerController.newSolution | ( | int | solutions | ) |
Implements org.gecode.explorer.StatisticsListener.
Definition at line 341 of file ExplorerController.java.
| void org.gecode.explorer.ExplorerController.newNode | ( | ) |
Implements org.gecode.explorer.StatisticsListener.
Definition at line 348 of file ExplorerController.java.
| void org.gecode.explorer.ExplorerController.scaleToFit | ( | ) |
Definition at line 355 of file ExplorerController.java.
| void org.gecode.explorer.ExplorerController.searchDone | ( | ) |
Definition at line 359 of file ExplorerController.java.
| void org.gecode.explorer.ExplorerController.navUp | ( | ) |
Definition at line 374 of file ExplorerController.java.
| void org.gecode.explorer.ExplorerController.navDown | ( | ) |
Definition at line 379 of file ExplorerController.java.
| void org.gecode.explorer.ExplorerController.navLeft | ( | ) |
Definition at line 384 of file ExplorerController.java.
| void org.gecode.explorer.ExplorerController.navRight | ( | ) |
Definition at line 392 of file ExplorerController.java.
| void org.gecode.explorer.ExplorerController.jumpNextSol | ( | ) |
Definition at line 424 of file ExplorerController.java.
| void org.gecode.explorer.ExplorerController.jumpPrevSol | ( | ) |
Definition at line 445 of file ExplorerController.java.
| void org.gecode.explorer.ExplorerController.jumpRoot | ( | ) |
Definition at line 480 of file ExplorerController.java.
| void org.gecode.explorer.ExplorerController.jumpLeftmost | ( | ) |
Definition at line 483 of file ExplorerController.java.
| void org.gecode.explorer.ExplorerController.jumpRightmost | ( | ) |
Definition at line 490 of file ExplorerController.java.
| void org.gecode.explorer.ExplorerController.centerCursor | ( | ) |
Definition at line 498 of file ExplorerController.java.
The documentation for this class was generated from the following file:
- org/gecode/explorer/ExplorerController.java (Revision: 3707)