Here is a list of all class members with links to the classes they belong to:
- h -
- halfUnit : org.gecode.explorer.VisualNode, org.gecode.explorer.swing.GraphicsNode, org.gecode.explorer.cocoa.Node
- hasFailedChildren() : org.gecode.explorer.SpaceNode
- hasNext() : org.gecode.RangeIterator.JavaRangeIterator, org.gecode.Range.JavaRangeContentIterator
- hasShadow : org.gecode.explorer.swing.UINode
- hasSolvedChildren() : org.gecode.explorer.SpaceNode
- height : org.gecode.explorer.Rect
- HelpAction() : org.gecode.explorer.swing.MenuBar.HelpAction
- HelpWindow() : org.gecode.explorer.swing.HelpWindow
- hiddenNode : org.gecode.explorer.swing.UINode
- HiddenNode() : org.gecode.explorer.swing.HiddenNode
- HiddenSubtreeNode() : org.gecode.explorer.cocoa.HiddenSubtreeNode
- hiddenSubtreeShape : org.gecode.explorer.cocoa.Node
- hide() : org.gecode.explorer.VisualNode, org.gecode.explorer.Config
- hideFailed() : org.gecode.explorer.SpaceNode, org.gecode.explorer.ExplorerController
- HideFailedAction() : org.gecode.explorer.swing.MenuBar.HideFailedAction
- hideFailedAction : org.gecode.explorer.swing.MenuBar
- HideNodeAction() : org.gecode.explorer.swing.MenuBar.HideNodeAction
- hideNodeAction : org.gecode.explorer.swing.MenuBar
- horizontalOffset : org.gecode.explorer.VisualNode
- hyperlinkUpdate() : org.gecode.explorer.swing.HelpWindow, org.gecode.explorer.swing.AboutWindow