- DARK_COLOR - Static variable in class g2d.graphviewer.AbstractBaseFrame
-
- DASHED - Static variable in class g2d.graph.IOPEdge
-
Style of a dashed line for this edge.
- DDialog - Class in g2d.subset
-
- DDialog(Frame, boolean) - Constructor for class g2d.subset.DDialog
-
- DDPopupMenu() - Constructor for class g2d.swing.IOPDropdownButton.DDPopupMenu
-
- debug - Static variable in class g2d.glyph.Glyph
-
- DEBUG - Static variable in class g2d.glyph.Glyphish
-
- debug - Static variable in class g2d.glyph.GlyphList
-
- debug - Static variable in class g2d.glyph.ImageGlyph
-
- debug - Static variable in class g2d.glyph.TextGlyph
-
- debug - Static variable in class g2d.glyphviewer.GlyphView
-
- debug - Static variable in class g2d.glyphviewer.NavPanel
-
- debug - Static variable in class g2d.graph.Json2Graph
-
- debug - Static variable in class g2d.graphviewer.NavPanel
-
- DEBUG - Static variable in class g2d.jlambda.Evaluate
-
- DEBUG - Static variable in class g2d.jlambda.Identifiable
-
- DEBUG - Static variable in class g2d.jlambda.Interpreter
-
- DEBUG - Static variable in class g2d.Main
-
A simple static DEBUG switch that turns on some error stream commentary.
- debug - Static variable in class g2d.netviewer.NetPanel
-
- debug - Static variable in class g2d.stats.QAApprox
-
- DEBUG - Static variable in class g2d.swing.IOPComponent
-
- debug - Static variable in class g2d.tabwin.AppFrame
-
- debug - Static variable in class g2d.terms.Algebra
-
- DEBUG - Static variable in class g2d.util.ActorMsg
-
- Debugger - Class in g2d.jlambda
-
This class allows the JLambda user to tailor the level of verbosity
in error reporting.
- Debugger() - Constructor for class g2d.jlambda.Debugger
-
- Debugger - Class in g2d.swing
-
- Debugger() - Constructor for class g2d.swing.Debugger
-
- debugMouseEvents - Static variable in class g2d.glyphviewer.GlyphPanel
-
- debugMouseEvents - Static variable in class g2d.netviewer.NetGraphPanel
-
- debugPLAF() - Static method in class g2d.subset.SComboBox
-
- declarations - Variable in class g2d.npa.Syntax
-
- decode(String) - Static method in class g2d.util.Base64Coder
-
Decodes a byte array from Base64 format.
- decode(char[]) - Static method in class g2d.util.Base64Coder
-
Decodes a byte array from Base64 format.
- decode(char[], int, int) - Static method in class g2d.util.Base64Coder
-
Decodes a byte array from Base64 format.
- decodeLines(String) - Static method in class g2d.util.Base64Coder
-
Decodes a byte array from Base64 format and ignores line separators, tabs and blanks.
- decodeString(String) - Static method in class g2d.util.Base64Coder
-
Decodes a string from Base64 format.
- DEFAULT - Static variable in class g2d.subset.StateSpace
-
- DEFAULT_BORDER_COLOR - Static variable in class g2d.graph.DotParserUtils
-
- DEFAULT_DOT_FORMAT - Static variable in class g2d.graph.Dot
-
- DEFAULT_FILL_COLOR - Static variable in class g2d.graph.DotParserUtils
-
- defaultValue - Variable in enum g2d.graph.DotAttributes
-
- DEFINE - Static variable in class g2d.jlambda.SymbolTable
-
- dehighlight() - Method in class g2d.graph.GraphItem
-
Revert highlighting to previous state (if any).
- dehighlight() - Method in class g2d.graph.IOPEdge
-
Revert highlighting to previous state (if any).
- dehighlight() - Method in class g2d.graph.IOPNode
-
- dehighlight() - Method in class g2d.graph.IOPSubgraph
-
- delete(IOPSubgraph) - Method in class g2d.graph.IOPGraph
-
Removes the given subgraph from the graph.
- DELETE - Static variable in class g2d.npa.AttackEditor
-
- DELETE - Static variable in class g2d.subset.DEvent
-
- delete(Urelement) - Method in class g2d.subset.Dictionary
-
- deleteFile(String) - Static method in class g2d.util.IO
-
- deleteRole(String) - Method in class g2d.npa.AttackEditor
-
- deleteRole(String) - Method in class g2d.npa.Protocol
-
- deleteRole(String) - Method in class g2d.npa.RolePanel
-
- deleteSubgraph(IOPSubgraph) - Method in class g2d.pla.SubgraphTabita
-
- deleteTerm(int) - Method in class g2d.npa.TermTable
-
- depopulate() - Method in class g2d.tabwin.menus.ViewMenu
-
- deprecated_toDotString() - Method in class g2d.graph.IOPNode
-
- description - Variable in class g2d.graph.IOPGraph
-
- description - Variable in enum g2d.pla.SettingsMode
-
- developmental - Static variable in class g2d.netviewer.NetViewer
-
- developmental - Static variable in class g2d.pla.PLA
-
- DEvent - Class in g2d.subset
-
- DEvent(Universe, int) - Constructor for class g2d.subset.DEvent
-
- DEvent(Universe, int, int) - Constructor for class g2d.subset.DEvent
-
- DEvent(Universe, ArrayList<Urelement>, int) - Constructor for class g2d.subset.DEvent
-
- df - Static variable in class g2d.jlambda.Constants
-
- DFNS - Static variable in class g2d.jlambda.ReadEvalPrintLoop
-
- Dictionary - Class in g2d.subset
-
- Dictionary(Universe) - Constructor for class g2d.subset.Dictionary
-
- dish - Variable in class g2d.subset.DDialog
-
- dishPanel - Variable in class g2d.subset.DDialog
-
- display() - Method in class g2d.swing.HTMLPopup
-
- display() - Method in class g2d.swing.IOPInfoPopup
-
- displayable - Variable in class g2d.glyph.BufferedGlyphList
-
- displayable - Variable in class g2d.pla.PLAPanel
-
- displayContextMGraph() - Method in class g2d.pla.PLAGraphPanel
-
- displayContextMNode(BaseFrame, IOPNode) - Method in class g2d.graphviewer.GraphPanel
-
- displayContextMNode(PLAPanel, IOPNode) - Method in class g2d.pla.PLAGraphPanel
-
- displayInfo(IOPNode) - Method in class g2d.graphviewer.GraphPanel
-
- displayInfo(IOPNode) - Method in class g2d.netviewer.NetGraphPanel
-
- displayInfo(IOPNode) - Method in class g2d.pla.PLAGraphPanel
-
- displayKeyStroke(KeyStroke) - Static method in class g2d.graphviewer.KeyStrokeDisplayer
-
- displayMenu(String, List<AbstractButton>) - Method in class g2d.glyphviewer.SEPanel
-
Display new context menu in menu tab.
- displayMenu(String, List<AbstractButton>, boolean) - Method in class g2d.glyphviewer.SEPanel
-
Display new context menu in menu tab.
- displayMenu(String, List<AbstractButton>) - Method in class g2d.glyphviewer.TabMenu
-
Display menu with a heading and a list of buttons.
- displayMenu(String, List<AbstractButton>, ButtonGroup, boolean) - Method in class g2d.glyphviewer.TabMenu
-
Display menu with a heading and a list of buttons.
- displayMenu(IOPNode) - Method in class g2d.graphviewer.GraphPanel
-
Display context menu for given node.
- displayMenu(String, List<AbstractButton>) - Method in class g2d.graphviewer.SEPanel
-
Display new context menu in menu tab.
- displayMenu(String, List<AbstractButton>, boolean) - Method in class g2d.graphviewer.SEPanel
-
Display new context menu in menu tab.
- displayMenu(String, List<AbstractButton>) - Method in class g2d.graphviewer.TabMenu
-
Display menu with a heading and a list of buttons.
- displayMenu(String, List<AbstractButton>, boolean) - Method in class g2d.graphviewer.TabMenu
-
Display menu with a heading and a list of buttons.
- displayMenu(String, List<AbstractButton>) - Method in class g2d.netviewer.SEPanel
-
Display new context menu in menu tab.
- displayMenu(String, List<AbstractButton>, boolean) - Method in class g2d.netviewer.SEPanel
-
Display new context menu in menu tab.
- displayMenu(String, List<AbstractButton>) - Method in class g2d.netviewer.TabMenu
-
Display menu with a heading and a list of buttons.
- displayMenu(String, List<AbstractButton>, ButtonGroup, boolean) - Method in class g2d.netviewer.TabMenu
-
Display menu with a heading and a list of buttons.
- displayMenu(IOPNode) - Method in class g2d.pla.PLAGraphPanel
-
- displayMenu(String, List<AbstractButton>) - Method in class g2d.pla.SEPanel
-
Display new context menu in menu tab.
- displayMenu(String, List<AbstractButton>, ButtonGroup, boolean) - Method in class g2d.pla.SEPanel
-
Display new context menu in menu tab.
- displayMenu(String, List<AbstractButton>) - Method in class g2d.pla.TabMenu
-
Display menu with a heading and a list of buttons.
- displayMenu(String, List<AbstractButton>, ButtonGroup, boolean) - Method in class g2d.pla.TabMenu
-
Display menu with a heading and a list of buttons.
- displayText(String, String) - Method in class g2d.glyphviewer.SEPanel
-
Display label and text in info tab.
- displayText(String, String) - Method in class g2d.glyphviewer.TabInfo
-
Display heading and text in info tab.
- displayText(String, String) - Method in class g2d.graphviewer.CInfo
-
Display heading and text in info tab.
- displayText(String, String) - Method in class g2d.graphviewer.Info
-
Display heading and text in info tab.
- displayText(String, String) - Method in class g2d.graphviewer.SEPanel
-
Display label and text in info tab.
- displayText(String, String) - Method in class g2d.graphviewer.TabInfo
-
Display heading and text in info tab.
- displayText(String, String) - Method in interface g2d.graphviewer.Textual
-
- displayText(String, String) - Method in class g2d.netviewer.SEPanel
-
Display label and text in info tab.
- displayText(String, String) - Method in class g2d.pla.SEPanel
-
Display label and text in info tab.
- displayText(String) - Method in class g2d.swing.HTMLPane
-
- displayText(String, String, boolean) - Method in class g2d.swing.IOPView
-
Display label and text in output area (if output set).
- displayTextMenu(String, List<?>) - Method in class g2d.swing.IOPView
-
Display new text menu in output area (if output set).
- dispose() - Method in class g2d.glyphviewer.GlyphView
-
- dispose(BufferedGlyphList) - Static method in class g2d.glyphviewer.Utils
-
- dispose(String) - Static method in class g2d.jlambda.Interpreter
-
- dispose() - Method in class g2d.jlambda.Interpreter
-
- dispose() - Method in class g2d.netviewer.NetPanel
-
- dispose(IOPGraph) - Static method in class g2d.netviewer.Utils
-
- dispose() - Method in class g2d.npa.NPAFrame
-
- dispose() - Method in class g2d.pla.PLAPanel
-
- dispose(IOPGraph) - Static method in class g2d.pla.PLAUtils
-
- dispose() - Method in class g2d.swing.HTMLPopup
-
- dispose() - Method in class g2d.swing.IOPInfoPopup
-
- dispose() - Method in class g2d.tabwin.AppFrame
-
- dispose() - Method in class g2d.tabwin.TabFrame
-
- dispose() - Method in class g2d.tabwin.TabPanel
-
- distanceTo(Point2D) - Method in class g2d.graph.GraphItem
-
Calculate distance from this graph item to given point.
- distanceTo(Point2D) - Method in class g2d.graph.IOPEdge
-
Calculate distance from this edge to given point.
- distanceTo(Point2D) - Method in class g2d.graph.IOPNode
-
Calculate distance from this node to given point.
- distanceTo(Point2D) - Method in class g2d.graph.IOPSubgraph
-
Calculate distance from this node to given point.
- distanceTo(Point2D) - Method in class g2d.graph.Spline
-
Compute distance from this spline to given point.
- DIVIDE - Static variable in class g2d.jlambda.SymbolTable
-
- divideByZero(int) - Static method in class g2d.util.Bugs
-
- DO - Static variable in class g2d.jlambda.SymbolTable
-
- doAction(Object, Object) - Method in class g2d.swing.IOPMenuItem
-
Execute associated action with this item if it is currently set.
- doLayout() - Method in class g2d.graph.IOPGraph
-
Lays out an already existing graph.
- doLayout(IOPGraph) - Method in class g2d.graph.IOPGraph
-
Layout graph.
- domain - Variable in class g2d.subset.DPanel
-
- domainBar - Variable in class g2d.subset.DPanel
-
- domainCombo - Variable in class g2d.subset.DPanel
-
- domainTabs - Variable in class g2d.subset.DPanel
-
- domainTree - Variable in class g2d.subset.DPanel
-
- done() - Method in class g2d.stats.BlackboxApprox
-
- done() - Method in class g2d.stats.GenericApprox
-
- done() - Method in class g2d.stats.nGenericApprox
-
- done() - Method in class g2d.stats.OptimalApprox
-
- done() - Method in class g2d.stats.QAApprox
-
- done() - Method in class g2d.stats.SeqTestApprox
-
- done() - Method in class g2d.stats.Synchronize
-
- doSelection(Urelement, String) - Method in class g2d.subset.STree.STreePopupMenu
-
- doSelection(TreeNode, String) - Method in class g2d.subset.STree.STreePopupMenu
-
- doSelection(String) - Method in class g2d.subset.STree.STreePopupMenu
-
- Dot - Class in g2d.graph
-
Encapsulating the interface to the dot graph drawing and layout program.
- Dot() - Constructor for class g2d.graph.Dot
-
- Dot.DotFormat - Enum in g2d.graph
-
- Dot.FileType - Enum in g2d.graph
-
- Dot.Version - Class in g2d.graph
-
- DotAttributes - Enum in g2d.graph
-
- dotDebug - Static variable in class g2d.graph.Dot
-
- dotName - Variable in enum g2d.graph.DotAttributes
-
- DotNodeAttributes - Class in g2d.graph
-
- DotNodeAttributes() - Constructor for class g2d.graph.DotNodeAttributes
-
- DotNodeAttributes(String, String, Color, Color, int) - Constructor for class g2d.graph.DotNodeAttributes
-
- dotNodeAttributes - Variable in class g2d.graph.IOPNode
-
- DotParserAPI - Class in g2d.graph
-
- DotParserAPI() - Constructor for class g2d.graph.DotParserAPI
-
- DotParserUtils - Class in g2d.graph
-
Encapsulating the interface to the dot graph drawing and layout program.
- DotParserUtils() - Constructor for class g2d.graph.DotParserUtils
-
- dotRendering - Variable in class g2d.graph.IOPEdge
-
- dotRendering - Variable in class g2d.graph.IOPNode
-
- DOTTED - Static variable in class g2d.graph.IOPEdge
-
Style of a dotted line for this edge.
- dotVerbose - Static variable in class g2d.graph.Dot
-
- DOUBLE - Static variable in class g2d.jlambda.SymbolTable
-
- doubleValue - Variable in class g2d.util.Variable
-
- DPanel - Class in g2d.subset
-
- DPanel(int) - Constructor for class g2d.subset.DPanel
-
- drastic - Variable in class g2d.subset.SEvent
-
- dump() - Method in class g2d.glyph.GlyphList
-
- dump() - Method in class g2d.jlambda.Code
-
- dump() - Method in class g2d.util.ActorMsg
-
- dumpBasis() - Method in class g2d.subset.Basis
-