A B C D E F G H I J K L M N O P Q R S T U V W Z _

H

hand - Static variable in class g2d.tabwin.TabControl

handle(Throwable) - Static method in class g2d.jlambda.Debugger

handle(Throwable) - Method in interface g2d.jlambda.Handler

handle(Throwable) - Method in class g2d.runtime.ExceptionHandler

handle(Throwable) - Static method in class g2d.swing.Debugger

handleInsertion(int) - Method in interface g2d.tabwin.TabInsertionHandler

Handler - Interface in g2d.jlambda

hasBasis() - Method in class g2d.subset.Universe

hashCode() - Method in class g2d.closure.ClosureComparator

hashCode() - Method in class g2d.graph.IOPEdge

Overriding method to comply with IOPEdge.equals(Object).

hashCode() - Method in class g2d.graph.IOPNode

Overriding method to comply with IOPNode.equals(Object).

hashCode() - Method in class g2d.swing.IOPMenuItem

hashCode - Variable in class g2d.terms.AppTerm

hashCode() - Method in class g2d.terms.AppTerm

hashCode - Variable in class g2d.terms.Constructor

hashCode() - Method in class g2d.terms.Constructor

hashCode() - Method in class g2d.terms.Hole

hashCode - Variable in class g2d.terms.HoleTerm

hashCode() - Method in class g2d.terms.HoleTerm

hashCode() - Method in class g2d.terms.Sort

hashCode() - Method in class g2d.terms.Variable

hashCode - Variable in class g2d.terms.VarTerm

hashCode() - Method in class g2d.terms.VarTerm

hashCode() - Method in class g2d.util.Pair

Compute a hash code using the hash codes of the underlying objects

hashMap2String(Map<?, ?>, boolean) - Method in class g2d.jlambda.Interpreter

hasSelectedPattern() - Method in class g2d.npa.NeverPatterns

hasSettings() - Method in class g2d.pla.SEPanel

header - Variable in enum g2d.pla.SettingsMode

header - Variable in enum g2d.pla.SubgraphTabita.SubgraphMode

height - Variable in class g2d.glyph.GlyphList

HEIGHT - Static variable in class g2d.swing.IOPColorKey

HELP - Static variable in class g2d.jlambda.ReadEvalPrintLoop

helpWindow - Variable in class g2d.npa.AttackEditor

HelpWindow - Class in g2d.npa

HelpWindow() - Constructor for class g2d.npa.HelpWindow

HideEdges - Class in g2d.pla

HideEdges(IOPGraph, IOPGraph) - Constructor for class g2d.pla.HideEdges

hideProgressDialog() - Static method in class g2d.graphviewer.AbstractBaseFrame

Hide current modal dialog with progress bar.

hierarchyMenu - Variable in class g2d.netviewer.NetPanel

hierarchyMenu - Variable in class g2d.pla.PLAPanel

HierarchyMenu - Class in g2d.swing

HierarchyMenu(HierarchyMenuBuilder) - Constructor for class g2d.swing.HierarchyMenu

HierarchyMenuBuilder - Interface in g2d.swing

An object that can build a hierarchy menu

HierarchyMenuListener - Class in g2d.swing

HierarchyMenuListener(HierarchyMenu) - Constructor for class g2d.swing.HierarchyMenuListener

HIGHLIGHT - Static variable in class g2d.glyph.Glyph

HIGHLIGHT - Static variable in class g2d.graph.GraphItem

highlight() - Method in class g2d.graph.GraphItem

Highlight this node or edge.

highlight() - Method in class g2d.graph.IOPEdge

Highlight this edge by drawing it in HIGHLIGHT color defined in GraphItem.

highlight() - Method in class g2d.graph.IOPNode

highlight() - Method in class g2d.graph.IOPSubgraph

highlight(GraphItem) - Method in class g2d.graphviewer.GraphPanel

Select given graph item (node or edge) by highlighting it.

HIGHLIGHT_FACTOR - Static variable in class g2d.glyph.Glyph

HIGHLIGHT_OFFSET - Static variable in class g2d.graph.GraphItem

highlighted - Variable in class g2d.graph.GraphItem

Keeps track of the highlighted state.

Highlighter - Class in g2d.graph

Experimental path and pair highlighting (only one at a time)

HIGHLIGHTER - Static variable in class g2d.graph.Highlighter

highlightPair(Pair<IOPNode, IOPNode>) - Method in class g2d.graph.Highlighter

highlightPath(List<IOPNode>) - Method in class g2d.graph.Highlighter

hitDelta - Static variable in class g2d.graph.IOPGraph

Hole - Class in g2d.terms

Hole(Sort) - Constructor for class g2d.terms.Hole

hole - Variable in class g2d.terms.HolePosition

hole - Variable in class g2d.terms.HoleTerm

holeCount() - Method in class g2d.terms.AppTerm

holeCount() - Method in class g2d.terms.HoleTerm

holeCount() - Method in class g2d.terms.Term

holeCount() - Method in class g2d.terms.VarTerm

HoleEditor - Class in g2d.terms

HoleEditor(Window, Algebra) - Constructor for class g2d.terms.HoleEditor

HoleEditor(Window, Algebra, boolean) - Constructor for class g2d.terms.HoleEditor

HoleEditor(Window, Algebra, Sort, Term) - Constructor for class g2d.terms.HoleEditor

HoleEditor(Window, Algebra, Term, boolean) - Constructor for class g2d.terms.HoleEditor

HoleEditor(Window, Algebra, Sort, Term, boolean) - Constructor for class g2d.terms.HoleEditor

HoleEditor(Window, Algebra, Term) - Constructor for class g2d.terms.HoleEditor

HolePosition - Class in g2d.terms

HolePosition(int, Hole) - Constructor for class g2d.terms.HolePosition

HoleTerm - Class in g2d.terms

HoleTerm(Hole) - Constructor for class g2d.terms.HoleTerm

hostname - Static variable in class g2d.Main

HTMLPane - Class in g2d.swing

HTMLPane() - Constructor for class g2d.swing.HTMLPane

HTMLPopup - Class in g2d.swing

HTMLPopup(String, String) - Constructor for class g2d.swing.HTMLPopup

HTMLPopup(String, File) - Constructor for class g2d.swing.HTMLPopup

HTMLPopup(String, String, Dimension) - Constructor for class g2d.swing.HTMLPopup

HTMLPopup(String, String, File, Dimension) - Constructor for class g2d.swing.HTMLPopup

hyperlinkUpdate(HyperlinkEvent) - Method in class g2d.closure.ClosureHyperlinkListener

A B C D E F G H I J K L M N O P Q R S T U V W Z _