- rank() - Method in class g2d.terms.AppTerm
-
- rank() - Method in class g2d.terms.HoleTerm
-
- rank() - Method in class g2d.terms.Term
-
- rank() - Method in class g2d.terms.VarTerm
-
- rankdir - Variable in class g2d.graph.IOPGraph
-
- raw - Variable in class g2d.graph.Dot.Version
-
- readActorMsg() - Static method in class g2d.util.ActorMsg
-
- reader2String(Reader) - Static method in class g2d.jlambda.Utils
-
- reader2String(Reader) - Static method in class g2d.util.IO
-
- ReadEvalPrintLoop - Class in g2d.jlambda
-
The read, eval, then print loop.
- readInt() - Static method in class g2d.util.ActorMsg
-
- readln() - Static method in class g2d.util.IO
-
- recordRunResult(Object) - Method in class g2d.stats.BlackboxApprox
-
- recordRunResult(Object) - Method in class g2d.stats.GenericApprox
-
- recordRunResult(Object) - Method in class g2d.stats.nGenericApprox
-
- recordRunResult(double[]) - Method in class g2d.stats.nGenericApprox
-
- recordRunResult(Object[]) - Method in class g2d.stats.nGenericApprox
-
- recordRunResult(String[]) - Method in class g2d.stats.nGenericApprox
-
- recordRunResult(Object) - Method in class g2d.stats.OptimalApprox
-
- recordRunResult(Object) - Method in class g2d.stats.QAApprox
-
- recordRunResult(Object) - Method in class g2d.stats.SeqTestApprox
-
- recordRunResult(Object) - Method in class g2d.stats.Synchronize
-
- register(AppFrame) - Static method in class g2d.tabwin.TabUtils
-
- reloadFile() - Method in class g2d.console.Console
-
- reloadFile() - Method in class g2d.console.InputTextArea
-
- remove(Glyphish) - Method in class g2d.glyph.BufferedGlyphList
-
Remove all occurences of given glyphish thing from this list.
- remove(Glyphish) - Method in class g2d.glyph.GlyphList
-
Remove all occurences of given glyphish thing from this list.
- remove(Component) - Method in class g2d.glyphviewer.SEPanel
-
- remove(int) - Method in class g2d.glyphviewer.SEPanel
-
- remove(int) - Method in class g2d.jlambda.List
-
As specified by the AbstractList template.
- remove(Component) - Method in class g2d.netviewer.SEPanel
-
- remove(int) - Method in class g2d.netviewer.SEPanel
-
- remove(Component) - Method in class g2d.pla.SEPanel
-
- remove(int) - Method in class g2d.pla.SEPanel
-
- remove(String) - Method in class g2d.subset.Basis
-
- remove(Glyphish) - Method in class g2d.swing.IOPComponent
-
- remove(Glyphish) - Method in class g2d.swing.IOPView
-
- removeAll() - Method in class g2d.glyphviewer.SEPanel
-
- removeAll() - Method in class g2d.netviewer.SEPanel
-
- removeAll() - Method in class g2d.pla.SEPanel
-
- removeAll() - Method in class g2d.subset.SComboBoxModel
-
- removeAllAttributes() - Method in class g2d.jlambda.Attributable
-
Remove all attributes (that are not static).
- removeAllStaticAttributes() - Method in class g2d.jlambda.Attributable
-
Remove all static attributes.
- removeAttribute(String) - Method in class g2d.jlambda.Attributable
-
Remove given attribute.
- removeCallback(Closure) - Static method in class g2d.Behavior
-
- removeChangeListener(ChangeListener) - Method in class g2d.glyph.BufferedGlyphList
-
Removes a listener to those registered for change events.
- removeElement(Object) - Method in class g2d.subset.SComboBoxModel
-
- removeElementAt(int) - Method in class g2d.subset.SComboBoxModel
-
- removeExtension(String) - Method in class g2d.swing.IOPFileFilter
-
Removes given extenstion (in lower case) from list of
accepted extensions.
- removeFileChooserListener(FileChooserListener) - Method in class g2d.util.FileChooser
-
- removeFrom(int) - Method in class g2d.toolbar.ToolBar
-
- removeLastSelection() - Method in class g2d.graphviewer.GraphPanel
-
- removeListDataListener(ListDataListener) - Method in class g2d.subset.SComboBoxModel
-
- removePropertyChangeListener(PropertyChangeListener) - Method in class g2d.closure.ClosureAction
-
- removeRole(String) - Method in class g2d.npa.AttackTable
-
- removeRoleFromAttack(String) - Method in class g2d.npa.AttackEditor
-
- removeSListener(SListener) - Method in class g2d.subset.Universe
-
- removeStaticAttribute(String) - Method in class g2d.jlambda.Attributable
-
Remove given static attribute.
- removeSubgraph(IOPSubgraph) - Method in class g2d.graph.IOPGraph
-
Removes the subgraph from the graph.
- removeTabPanel(TabPanel) - Method in class g2d.tabwin.TabFrame
-
- removeTabPanelAt(int) - Method in class g2d.tabwin.TabFrame
-
- removeTermPoolListener(TermPoolListener) - Method in class g2d.terms.Algebra
-
- removeZoomListener(ZoomListener) - Method in class g2d.glyphviewer.GlyphPanel
-
Remove given zoom listener from list of objects to be notified
upon zoom change.
- removeZoomListener(ZoomListener) - Method in class g2d.graphviewer.GraphPanel
-
Remove given zoom listener from list of objects to be notified
upon zoom change.
- removeZoomListener(ZoomListener) - Method in class g2d.swing.IOPComponent
-
Remove given zoom listener from list of objects to be notified
upon zoom change.
- removeZoomListener(ZoomListener) - Method in class g2d.swing.IOPView
-
Remove given zoom listener from list of objects to be notified
upon zoom change.
- renderDotAttribute(DotAttributes, Object) - Method in class g2d.graph.DotNodeAttributes
-
- renderingHint - Static variable in class g2d.glyph.ImageGlyph
-
- renderObject(Object) - Method in class g2d.glyphviewer.TabFindGlyph
-
- renderObject(Object) - Method in class g2d.netviewer.TabFind
-
- renderObject(Object) - Method in class g2d.netviewer.TabFindGraphItem
-
- reorder(int, int) - Method in interface g2d.npa.Reorderable
-
- Reorderable - Interface in g2d.npa
-
- repaint() - Method in class g2d.graphviewer.GraphPanel
-
- repaint(String) - Method in class g2d.pla.PLAPanel
-
- repaint() - Method in class g2d.pla.PLAPanel
-
- Request - Class in g2d.util
-
- Request(String) - Constructor for class g2d.util.Request
-
- request4Contents(String) - Static method in class g2d.pla.FileSystem
-
- requestDot(Dot.DotFormat, String) - Static method in class g2d.graph.Dot
-
- requestFocus() - Method in class g2d.swing.IOPView
-
- reset() - Static method in class g2d.jlambda.Evaluate
-
- reset() - Method in class g2d.jlambda.Interpreter
-
- reset(ArrayList<Urelement>) - Method in class g2d.subset.SComboBox
-
- reset() - Static method in class g2d.swing.IOPFileChooser
-
- resetAll() - Method in class g2d.pla.SettingsTabita
-
- resetAll() - Method in class g2d.pla.SubgraphTabita
-
- resetAllSelections() - Method in class g2d.glyphviewer.TabMenu
-
- resetAllSelections() - Method in class g2d.netviewer.TabMenu
-
- resetAllSelections() - Method in class g2d.pla.PLAPanel
-
- resetAllSelections() - Method in class g2d.pla.SEPanel
-
- resetAllSelections() - Method in class g2d.pla.TabMenu
-
- resetAllStatus() - Method in class g2d.graph.IOPGraph
-
Go through all nodes and remove flags.
- resetDotLayout() - Method in class g2d.graph.IOPGraph
-
Reset the cached position information of a previous DOT layout.
- resetGlyphs() - Method in class g2d.glyphviewer.GlyphPanel
-
- resetGlyphs() - Method in class g2d.glyphviewer.GlyphView
-
- resetGraph() - Method in class g2d.graphviewer.GraphPanel
-
- resetGraph() - Method in class g2d.netviewer.NetPanel
-
- resetRendering(xDotEdge) - Method in class g2d.graph.IOPEdge
-
- resizeThumb(Dimension) - Method in class g2d.glyphviewer.NavPanel
-
Notify this navigator panel of new size of enclosing
container to possibly update the thumb nail (and porthole).
- resizeThumb(Dimension) - Method in class g2d.graphviewer.NavPanel
-
Notify this navigator panel of new size of enclosing
container to possibly update the thumb nail (and porthole).
- resizeThumb(Dimension) - Method in class g2d.npa.SyntaxHierarchy
-
- resolveLinks(String) - Static method in class g2d.jlambda.Utils
-
- resolveLinks(String) - Static method in class g2d.util.IO
-
- RETAIN - Static variable in class g2d.npa.AttackEditor
-
- returnResult(String) - Method in class g2d.console.Console
-
- revert(Point2D) - Method in class g2d.graph.IOPNode
-
- rgba2Color(String) - Static method in class g2d.graph.Dot
-
- rmEdge(IOPEdge) - Method in class g2d.graph.IOPGraph
-
Removes an edge from the graph.
- rmNode(IOPNode) - Method in class g2d.graph.IOPGraph
-
Removes a node the graph.
- role - Variable in class g2d.npa.FreshSetDialog
-
- role - Variable in class g2d.npa.FreshSetEditor
-
- Role - Class in g2d.npa
-
- Role(Algebra, String, String[], ArrayList<Term>, String[][]) - Constructor for class g2d.npa.Role
-
- Role(Algebra, String, String[], Object[][], String[][]) - Constructor for class g2d.npa.Role
-
- Role(String, Role) - Constructor for class g2d.npa.Role
-
- role - Variable in class g2d.npa.RoleTab
-
- role - Variable in class g2d.npa.SubstitutionDialog
-
- role - Variable in class g2d.npa.SubstitutionEditor
-
- RoleEditor - Class in g2d.npa
-
- RoleEditor(Window, AttackEditor, Role) - Constructor for class g2d.npa.RoleEditor
-
- RoleEditor(Window, AttackEditor) - Constructor for class g2d.npa.RoleEditor
-
- RolePanel - Class in g2d.npa
-
- RolePanel(AttackEditor) - Constructor for class g2d.npa.RolePanel
-
- RolePanel.Actions - Enum in g2d.npa
-
- roles - Variable in class g2d.npa.Protocol
-
- rolesByName - Variable in class g2d.npa.Protocol
-
- RoleTab - Class in g2d.npa
-
- RoleTab(AttackEditor, Role) - Constructor for class g2d.npa.RoleTab
-
- RoleTable - Class in g2d.npa
-
- RoleTable(AttackEditor) - Constructor for class g2d.npa.RoleTable
-
- root - Variable in class g2d.subset.STree
-
- roots - Static variable in class g2d.pla.PLAUtils
-
- rotate(double, double, double) - Method in class g2d.glyph.Glyphish
-
- rotate(double) - Method in class g2d.glyph.Glyphish
-
- ROW - Static variable in class g2d.graph.Manifold
-
Just for code reduction -- used to indicate we are processing rows.
- row - Variable in class g2d.npa.FreshSetEditor
-
- row - Variable in class g2d.npa.SubstitutionEditor
-
- RPAREN - Static variable in class g2d.jlambda.List
-
- RULE_COMPARATOR - Static variable in class g2d.graph.IOPNode
-
- rules - Variable in class g2d.pla.explorer.Explorer
-
- rulesClosure - Variable in class g2d.pla.explorer.Explorer
-
- run() - Method in class g2d.closure.ClosureThread
-
- run() - Method in class g2d.pla.Sentinel
-
- run() - Method in class g2d.runtime.ShutdownHook
-