org.gecode.gist.GistController Class Reference
Inherits org.gecode.gist.StatisticsListener.List of all members.
Detailed Description
Definition at line 33 of file GistController.java.
Public Member Functions | |
| GistController (Space rootSpace, boolean bab) | |
| void | selectInspectionAction (String action) |
| String | getSelectedAction () |
| Enumeration< String > | getListeners () |
| void | registerUI (GistUIInterface ui) |
| void | exploreOne () |
| void | exploreAll () |
| void | exploreN () |
| void | reset () |
| void | saveAs () |
| void | addEventListener (GistEventListener 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.gist.GistController.GistController | ( | Space | rootSpace, | |
| boolean | bab | |||
| ) |
Definition at line 54 of file GistController.java.
Member Function Documentation
| void org.gecode.gist.GistController.selectInspectionAction | ( | String | action | ) |
Definition at line 68 of file GistController.java.
| String org.gecode.gist.GistController.getSelectedAction | ( | ) |
Definition at line 71 of file GistController.java.
| Enumeration<String> org.gecode.gist.GistController.getListeners | ( | ) |
Definition at line 74 of file GistController.java.
| void org.gecode.gist.GistController.registerUI | ( | GistUIInterface | ui | ) |
Definition at line 78 of file GistController.java.
| void org.gecode.gist.GistController.exploreOne | ( | ) |
Definition at line 90 of file GistController.java.
| void org.gecode.gist.GistController.exploreAll | ( | ) |
Definition at line 102 of file GistController.java.
| void org.gecode.gist.GistController.exploreN | ( | ) |
Definition at line 113 of file GistController.java.
| void org.gecode.gist.GistController.reset | ( | ) |
Definition at line 125 of file GistController.java.
| void org.gecode.gist.GistController.saveAs | ( | ) |
Definition at line 137 of file GistController.java.
| void org.gecode.gist.GistController.addEventListener | ( | GistEventListener | e | ) |
Definition at line 157 of file GistController.java.
| void org.gecode.gist.GistController.setCurrentNode | ( | SpaceNode | c | ) |
Definition at line 163 of file GistController.java.
| SpaceNode org.gecode.gist.GistController.getCurrentNode | ( | ) |
Definition at line 200 of file GistController.java.
| void org.gecode.gist.GistController.inspect | ( | ) |
Definition at line 215 of file GistController.java.
| void org.gecode.gist.GistController.inspectBranches | ( | ) |
Definition at line 238 of file GistController.java.
| void org.gecode.gist.GistController.inspectBeforePropagation | ( | ) |
Definition at line 279 of file GistController.java.
| int [] org.gecode.gist.GistController.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 313 of file GistController.java.
| SpaceNode org.gecode.gist.GistController.getRoot | ( | ) |
Definition at line 325 of file GistController.java.
| void org.gecode.gist.GistController.toggleHidden | ( | ) |
Definition at line 329 of file GistController.java.
| void org.gecode.gist.GistController.hideFailed | ( | ) |
Definition at line 333 of file GistController.java.
| void org.gecode.gist.GistController.unhideAll | ( | ) |
Definition at line 337 of file GistController.java.
| void org.gecode.gist.GistController.newSolution | ( | int | solutions | ) |
| void org.gecode.gist.GistController.newNode | ( | ) |
| void org.gecode.gist.GistController.scaleToFit | ( | ) |
Definition at line 356 of file GistController.java.
| void org.gecode.gist.GistController.searchDone | ( | ) |
Definition at line 360 of file GistController.java.
| void org.gecode.gist.GistController.navUp | ( | ) |
Definition at line 375 of file GistController.java.
| void org.gecode.gist.GistController.navDown | ( | ) |
Definition at line 380 of file GistController.java.
| void org.gecode.gist.GistController.navLeft | ( | ) |
Definition at line 385 of file GistController.java.
| void org.gecode.gist.GistController.navRight | ( | ) |
Definition at line 393 of file GistController.java.
| void org.gecode.gist.GistController.jumpNextSol | ( | ) |
Definition at line 425 of file GistController.java.
| void org.gecode.gist.GistController.jumpPrevSol | ( | ) |
Definition at line 447 of file GistController.java.
| void org.gecode.gist.GistController.jumpRoot | ( | ) |
Definition at line 482 of file GistController.java.
| void org.gecode.gist.GistController.jumpLeftmost | ( | ) |
Definition at line 485 of file GistController.java.
| void org.gecode.gist.GistController.jumpRightmost | ( | ) |
Definition at line 492 of file GistController.java.
| void org.gecode.gist.GistController.centerCursor | ( | ) |
Definition at line 500 of file GistController.java.
The documentation for this class was generated from the following file:
- org/gecode/gist/GistController.java (Revision: 3857)