org.gecode.explorer.SpaceNode Class Reference
Inherits org.gecode.explorer.VisualNode.Inherited by org.gecode.explorer.cocoa.ExplorerNode, and org.gecode.explorer.swing.UINode.
Detailed Description
Definition at line 32 of file SpaceNode.java.
Public Member Functions | |
| SpaceNode (int alt, Statistics theStats) | |
| SpaceNode (int alt, BestSpace best, Statistics theStats) | |
| SpaceNode (Space root, Statistics theStats) | |
| void | initCurBest (BestSpace c) |
| Space | getSpace () |
| void | hideFailed () |
| Iterator | reversedChildrenIterator () |
| int | getNumberOfChildNodes () |
| NodeStatus | getStatus () |
| void | setStatus (NodeStatus s) |
| boolean | isOpen () |
| boolean | hasFailedChildren () |
| boolean | hasSolvedChildren () |
Public Attributes | |
| Space | workingSpace |
| BestSpace | curBest = null |
Protected Member Functions | |
| int | recompute () |
| void | acquireSpace () |
| abstract SpaceNode | createChild (int i) |
| int | getAlternative () |
Protected Attributes | |
| Statistics | stats |
Package Functions | |
| void | closeChild (boolean hadFailures, boolean hadSolutions) |
Classes | |
| class | Branch |
Constructor & Destructor Documentation
| org.gecode.explorer.SpaceNode.SpaceNode | ( | int | alt, | |
| Statistics | theStats | |||
| ) |
Definition at line 65 of file SpaceNode.java.
| org.gecode.explorer.SpaceNode.SpaceNode | ( | int | alt, | |
| BestSpace | best, | |||
| Statistics | theStats | |||
| ) |
Definition at line 71 of file SpaceNode.java.
| org.gecode.explorer.SpaceNode.SpaceNode | ( | Space | root, | |
| Statistics | theStats | |||
| ) |
Definition at line 78 of file SpaceNode.java.
Member Function Documentation
| void org.gecode.explorer.SpaceNode.initCurBest | ( | BestSpace | c | ) |
Definition at line 89 of file SpaceNode.java.
| int org.gecode.explorer.SpaceNode.recompute | ( | ) | [protected] |
Definition at line 93 of file SpaceNode.java.
| void org.gecode.explorer.SpaceNode.acquireSpace | ( | ) | [protected] |
Definition at line 165 of file SpaceNode.java.
| Space org.gecode.explorer.SpaceNode.getSpace | ( | ) |
Definition at line 184 of file SpaceNode.java.
| void org.gecode.explorer.SpaceNode.closeChild | ( | boolean | hadFailures, | |
| boolean | hadSolutions | |||
| ) | [package] |
Definition at line 198 of file SpaceNode.java.
| void org.gecode.explorer.SpaceNode.hideFailed | ( | ) |
Definition at line 212 of file SpaceNode.java.
| Iterator org.gecode.explorer.SpaceNode.reversedChildrenIterator | ( | ) |
| int org.gecode.explorer.SpaceNode.getNumberOfChildNodes | ( | ) |
Reimplemented in org.gecode.explorer.cocoa.ExplorerNode, and org.gecode.explorer.swing.UINode.
Definition at line 240 of file SpaceNode.java.
| NodeStatus org.gecode.explorer.SpaceNode.getStatus | ( | ) |
Definition at line 291 of file SpaceNode.java.
| void org.gecode.explorer.SpaceNode.setStatus | ( | NodeStatus | s | ) |
Definition at line 294 of file SpaceNode.java.
| boolean org.gecode.explorer.SpaceNode.isOpen | ( | ) |
Definition at line 298 of file SpaceNode.java.
| boolean org.gecode.explorer.SpaceNode.hasFailedChildren | ( | ) |
Definition at line 302 of file SpaceNode.java.
| boolean org.gecode.explorer.SpaceNode.hasSolvedChildren | ( | ) |
Definition at line 305 of file SpaceNode.java.
| abstract SpaceNode org.gecode.explorer.SpaceNode.createChild | ( | int | i | ) | [protected, pure virtual] |
Implemented in org.gecode.explorer.cocoa.ExplorerNode, and org.gecode.explorer.swing.UINode.
| int org.gecode.explorer.SpaceNode.getAlternative | ( | ) | [protected] |
Definition at line 311 of file SpaceNode.java.
Member Data Documentation
Statistics org.gecode.explorer.SpaceNode.stats [protected] |
Definition at line 49 of file SpaceNode.java.
Definition at line 52 of file SpaceNode.java.
Definition at line 58 of file SpaceNode.java.
The documentation for this class was generated from the following file:
- org/gecode/explorer/SpaceNode.java (Revision: 3650)