- tab - Variable in class g2d.subset.Classification
-
- tab - Variable in class g2d.subset.STree
-
- TabControl - Class in g2d.tabwin
-
Component to be used as tabComponent;
Contains a JLabel for the text and two buttons for control
- TabControl(TabFrame, TabPanel) - Constructor for class g2d.tabwin.TabControl
-
- TabFind - Class in g2d.graphviewer
-
Tab pane that provides finding nodes functionality.
- TabFind(AbstractBaseFrame, Font, Closure) - Constructor for class g2d.graphviewer.TabFind
-
- TabFind(AbstractBaseFrame, Font) - Constructor for class g2d.graphviewer.TabFind
-
- TabFind - Class in g2d.netviewer
-
Tab pane that provides finding nodes functionality.
- TabFind(NetContainer, Closure, Closure) - Constructor for class g2d.netviewer.TabFind
-
- TabFind(NetContainer, Font, Closure) - Constructor for class g2d.netviewer.TabFind
-
- TabFind(NetContainer, Font) - Constructor for class g2d.netviewer.TabFind
-
- TabFind(NetContainer, Font, Closure, Closure) - Constructor for class g2d.netviewer.TabFind
-
- TabFindGlyph - Class in g2d.glyphviewer
-
Tab pane that provides finding glyphs functionality.
- TabFindGlyph(GlyphView, Closure, Closure) - Constructor for class g2d.glyphviewer.TabFindGlyph
-
- TabFindGlyph(GlyphView, Font, Closure) - Constructor for class g2d.glyphviewer.TabFindGlyph
-
- TabFindGlyph(GlyphView, Font) - Constructor for class g2d.glyphviewer.TabFindGlyph
-
- TabFindGlyph(GlyphView, Font, Closure, Closure) - Constructor for class g2d.glyphviewer.TabFindGlyph
-
- TabFindGraphItem - Class in g2d.netviewer
-
Tab pane that provides finding graphItems functionality.
- TabFindGraphItem(NetContainer, Closure, Closure) - Constructor for class g2d.netviewer.TabFindGraphItem
-
- TabFindGraphItem(NetContainer, Font, Closure) - Constructor for class g2d.netviewer.TabFindGraphItem
-
- TabFindGraphItem(NetContainer, Font) - Constructor for class g2d.netviewer.TabFindGraphItem
-
- TabFindGraphItem(NetContainer, Font, Closure, Closure) - Constructor for class g2d.netviewer.TabFindGraphItem
-
- TabFrame - Class in g2d.tabwin
-
- TabFrame() - Constructor for class g2d.tabwin.TabFrame
-
- TabFrame(String) - Constructor for class g2d.tabwin.TabFrame
-
- TabFrame(TabPanel) - Constructor for class g2d.tabwin.TabFrame
-
- TabFrame(TabPanel, String) - Constructor for class g2d.tabwin.TabFrame
-
- TabInfo - Class in g2d.glyphviewer
-
- TabInfo(Font) - Constructor for class g2d.glyphviewer.TabInfo
-
- TabInfo - Class in g2d.graphviewer
-
- TabInfo(Font) - Constructor for class g2d.graphviewer.TabInfo
-
- TabInsertionHandler - Interface in g2d.tabwin
-
- table - Variable in class g2d.npa.FreshSetDialog
-
- table - Variable in class g2d.npa.FreshSetEditor
-
- table - Variable in class g2d.npa.SubstitutionDialog
-
- table - Variable in class g2d.npa.SubstitutionEditor
-
- table - Variable in class g2d.npa.TermPanel
-
- TableRowTransferHandler - Class in g2d.npa
-
- TableRowTransferHandler(JTable) - Constructor for class g2d.npa.TableRowTransferHandler
-
- TabList - Class in g2d.netviewer
-
- TabList(NetContainer) - Constructor for class g2d.netviewer.TabList
-
- TabListModel - Class in g2d.netviewer
-
- TabListModel() - Constructor for class g2d.netviewer.TabListModel
-
- TabMenu - Class in g2d.glyphviewer
-
- TabMenu() - Constructor for class g2d.glyphviewer.TabMenu
-
- TabMenu - Class in g2d.graphviewer
-
- TabMenu(Font, SEPanel) - Constructor for class g2d.graphviewer.TabMenu
-
- TabMenu - Class in g2d.netviewer
-
- TabMenu(NetContainer) - Constructor for class g2d.netviewer.TabMenu
-
- TabMenu - Class in g2d.pla
-
- TabMenu(Font, SEPanel) - Constructor for class g2d.pla.TabMenu
-
- TabPanel - Class in g2d.tabwin
-
- TabPanel(JPanel, JPanel, JPanel, String, String) - Constructor for class g2d.tabwin.TabPanel
-
- TabPanel(String, String) - Constructor for class g2d.tabwin.TabPanel
-
- TabPanel.ContentPanel - Class in g2d.tabwin
-
- TabPanel.Panel - Enum in g2d.tabwin
-
- TabPreferences - Class in g2d.tabwin
-
- TabPreferences() - Constructor for class g2d.tabwin.TabPreferences
-
- TabSettings - Class in g2d.graphviewer
-
Implements tree view of given categorization or occurrences
and a list of rules.
- TabSettings() - Constructor for class g2d.graphviewer.TabSettings
-
- TabUtils - Class in g2d.tabwin
-
- TabUtils() - Constructor for class g2d.tabwin.TabUtils
-
- takeAction(String) - Method in class g2d.graph.EdgeDialog
-
- takeAction(String) - Method in class g2d.graph.NodeDialog
-
- TaskFactory - Class in g2d.util
-
- TaskFactory(Frame) - Constructor for class g2d.util.TaskFactory
-
- taxonomy - Variable in class g2d.subset.Urelement
-
- tell(int, String) - Static method in class g2d.util.Request
-
- tellterm(boolean, String) - Method in class g2d.npa.AttackEditor
-
- Term - Class in g2d.terms
-
- Term() - Constructor for class g2d.terms.Term
-
- term - Variable in class g2d.terms.TermPosition
-
- termAdded(Term) - Method in interface g2d.terms.TermPoolListener
-
- TermCellEditor - Class in g2d.npa
-
- TermCellEditor(AttackEditor, Algebra, Term) - Constructor for class g2d.npa.TermCellEditor
-
- TermEditor - Class in g2d.terms
-
- TermEditor(Window, Algebra) - Constructor for class g2d.terms.TermEditor
-
- TermEditor(Window, Algebra, Term) - Constructor for class g2d.terms.TermEditor
-
- TermEditor(Window, Algebra, boolean) - Constructor for class g2d.terms.TermEditor
-
- TermEditor(Window, Algebra, Sort, Term) - Constructor for class g2d.terms.TermEditor
-
- TermEditor(Window, Algebra, Term, boolean) - Constructor for class g2d.terms.TermEditor
-
- TermEditor(Window, Algebra, Sort, Term, boolean) - Constructor for class g2d.terms.TermEditor
-
- TermPanel - Class in g2d.npa
-
- TermPanel(AttackEditor, String, Collection<Term>, Term, boolean) - Constructor for class g2d.npa.TermPanel
-
- TermPoolListener - Interface in g2d.terms
-
- TermPosition - Class in g2d.terms
-
- TermPosition(int, Sort, Term) - Constructor for class g2d.terms.TermPosition
-
- terms - Variable in class g2d.terms.AppTerm
-
- termTable - Variable in class g2d.npa.AttackEditor
-
- TermTable - Class in g2d.npa
-
- TermTable(AttackEditor, String, Collection<Term>, Term, boolean) - Constructor for class g2d.npa.TermTable
-
- TermTable(AttackEditor, boolean) - Constructor for class g2d.npa.TermTable
-
- TermTable(AttackEditor) - Constructor for class g2d.npa.TermTable
-
- Test - Class in g2d.jlambda.code
-
- Test() - Constructor for class g2d.jlambda.code.Test
-
- test(String) - Static method in class g2d.subset.DDialog
-
- TetrisStack - Class in g2d.util
-
This beast is a peculiar stack of limited size.
- TetrisStack(int) - Constructor for class g2d.util.TetrisStack
-
- text4Evaluation(Console.Command) - Method in class g2d.console.Console
-
- textArea - Variable in class g2d.npa.SyntaxDeclarations
-
- TEXTCOLOR - Static variable in class g2d.swing.IOPConstants
-
- TextGlyph - Class in g2d.glyph
-
A glyph that is anti-aliased text.
- TextGlyph(TextGlyph) - Constructor for class g2d.glyph.TextGlyph
-
- TextGlyph(String) - Constructor for class g2d.glyph.TextGlyph
-
Create glyph with given text.
- TextGlyph(String, int) - Constructor for class g2d.glyph.TextGlyph
-
Create glyph with given text and font size.
- TextGlyph(String, int, String) - Constructor for class g2d.glyph.TextGlyph
-
Create glyph with given text, font size, and font family.
- TextGlyph(String, int, String, Color) - Constructor for class g2d.glyph.TextGlyph
-
Create glyph with given text, font size, font family, and text color.
- Textual - Interface in g2d.graphviewer
-
- thing - Variable in class g2d.subset.Urelement
-
- THRESHOLD - Static variable in class g2d.glyph.BufferedGlyphList
-
- THRESHOLD - Static variable in class g2d.graph.Manifold
-
The threshold, in graph size, when manifolds are used automatically.
- THROW - Static variable in class g2d.jlambda.SymbolTable
-
- TIMES - Static variable in class g2d.jlambda.SymbolTable
-
- title - Variable in class g2d.graph.IOPGraph
-
- title - Variable in class g2d.graphviewer.AbstractBaseFrame
-
- title - Variable in class g2d.tabwin.TabPanel
-
- tk - Variable in class g2d.netviewer.StatusBar
-
- toAnnotatedString() - Method in class g2d.subset.Urelement
-
- toDot(boolean) - Method in class g2d.jlambda.code.CFG
-
- toDotString() - Method in class g2d.graph.IOPEdge
-
- toDotString() - Method in class g2d.graph.IOPNode
-
- toDotString(IOPGraph, Collection<IOPNode>, Map<Integer, IOPEdge>) - Method in class g2d.graph.IOPSubgraph
-
- toFile(File) - Method in class g2d.glyphviewer.TabInfo
-
- toFile(File) - Method in class g2d.graphviewer.TabInfo
-
- toFile(File) - Method in class g2d.pla.PairTab
-
- toFile(File) - Method in class g2d.pla.PathTab
-
- TOGGLE - Static variable in class g2d.jlambda.ReadEvalPrintLoop
-
- toggle(IOPGraph, IOPNode, boolean, boolean) - Method in enum g2d.pla.SettingsMode
-
- toggle(IOPGraph, GraphItem, boolean, boolean) - Method in enum g2d.pla.SubgraphTabita.SubgraphMode
-
- toggleState() - Method in class g2d.subset.Urelement
-
- toggleVerbosity() - Static method in class g2d.jlambda.Debugger
-
This toggles the verbosity flag.
- toInfoString() - Method in class g2d.graph.IOPGraph
-
- Token() - Constructor for class g2d.util.ActorMsg.Token
-
- toMaudeString() - Method in class g2d.npa.Substitution
-
- TOOL_BTN_HEIGHT - Static variable in class g2d.toolbar.ToolBar
-
- toolBar - Variable in class g2d.glyphviewer.GlyphView
-
- ToolBar - Class in g2d.glyphviewer
-
- ToolBar(GlyphPanel) - Constructor for class g2d.glyphviewer.ToolBar
-
- toolBar - Variable in class g2d.graphviewer.AbstractBaseFrame
-
- ToolBar - Class in g2d.graphviewer
-
- ToolBar(JFrame, GraphPanel) - Constructor for class g2d.graphviewer.ToolBar
-
- toolBar - Variable in class g2d.netviewer.NetPanel
-
- ToolBar - Class in g2d.netviewer
-
- ToolBar(NetGraphPanel) - Constructor for class g2d.netviewer.ToolBar
-
- ToolBar - Class in g2d.pla
-
- ToolBar(PLAGraphPanel) - Constructor for class g2d.pla.ToolBar
-
- ToolBar(PLAGraphPanel, boolean) - Constructor for class g2d.pla.ToolBar
-
- toolBar - Variable in class g2d.tabwin.TabPanel
-
- ToolBar - Class in g2d.toolbar
-
Customized tool bar that allows prepending, appending and inserting of
components.
- ToolBar() - Constructor for class g2d.toolbar.ToolBar
-
- toolBarClosure - Variable in class g2d.graph.IOPGraph
-
- ToolButton - Class in g2d.toolbar
-
A uniform button for inserting into a
ToolBar.
- ToolButton(Action) - Constructor for class g2d.toolbar.ToolButton
-
- ToolButton(String) - Constructor for class g2d.toolbar.ToolButton
-
- ToolButton(Icon) - Constructor for class g2d.toolbar.ToolButton
-
- ToolCheckBox - Class in g2d.toolbar
-
A uniform check box for inserting into a
ToolBar.
- ToolCheckBox(String) - Constructor for class g2d.toolbar.ToolCheckBox
-
- ToolTextField - Class in g2d.toolbar
-
- ToolTextField() - Constructor for class g2d.toolbar.ToolTextField
-
- tooltip - Variable in enum g2d.pla.SubgraphTabita.SubgraphAction
-
- toolTip - Variable in class g2d.tabwin.TabPanel
-
- ToolToggleButton - Class in g2d.toolbar
-
A uniform toggle button for inserting into a
ToolBar.
- ToolToggleButton(String) - Constructor for class g2d.toolbar.ToolToggleButton
-
- topButtons - Variable in class g2d.pla.explorer.Explorer
-
- topLevel - Variable in class g2d.graph.IOPSubgraph
-
- topPanel - Variable in class g2d.npa.launcher.Launcher
-
- topPanel - Variable in class g2d.pla.explorer.Explorer
-
- toString() - Method in class g2d.glyph.Glyph
-
- toString() - Method in class g2d.glyph.GlyphList
-
- toString() - Method in class g2d.glyph.ImageGlyph
-
- toString() - Method in class g2d.glyph.TextGlyph
-
- toString() - Method in class g2d.glyphviewer.GlyphView
-
- toString() - Method in class g2d.glyphviewer.NavPanel
-
- toString() - Method in class g2d.graph.Dot.Version
-
- toString() - Method in class g2d.graph.DotNodeAttributes
-
- toString() - Method in class g2d.graph.IOPEdge
-
The String representation conforming to DOT format
of edges, for example: "20 -> 4".
- toString() - Method in class g2d.graph.IOPGraph
-
- toString() - Method in class g2d.graph.IOPNode
-
- toString() - Method in class g2d.graph.IOPSubgraph
-
- toString(boolean) - Method in class g2d.graph.IOPSubgraph
-
- toString() - Method in class g2d.graph.Seed
-
- toString() - Method in class g2d.graphviewer.NavPanel
-
- toString() - Method in class g2d.jlambda.Closure
-
A string representation of the closure.
- toString() - Method in class g2d.jlambda.Code
-
- toString(Code) - Static method in class g2d.jlambda.Code
-
- toString() - Method in class g2d.jlambda.Environment
-
- toString() - Method in exception g2d.jlambda.EvaluateError
-
- toString() - Method in class g2d.jlambda.List
-
The unprettyprinted String representation of this list.
- toString() - Method in class g2d.jlambda.PrettyPrinter
-
- toString() - Method in class g2d.jlambda.PrimitiveData
-
- toString() - Method in exception g2d.jlambda.SyntaxError
-
- toString() - Method in class g2d.netviewer.NetPanel
-
- toString() - Method in class g2d.npa.AttackTable
-
- toString() - Method in class g2d.npa.Binding
-
- toString() - Method in class g2d.npa.FreshSet
-
- toString() - Method in class g2d.npa.NeverPattern
-
- toString() - Method in class g2d.npa.NeverPatterns
-
- toString() - Method in class g2d.npa.Protocol
-
- toString() - Method in class g2d.npa.Role
-
- toString() - Method in enum g2d.npa.RolePanel.Actions
-
- toString() - Method in class g2d.npa.Substitution
-
- toString() - Method in class g2d.npa.TermPanel
-
- toString() - Method in enum g2d.pla.SubgraphTabita.SubgraphAction
-
- toString() - Method in class g2d.stats.Synchronize
-
- toString() - Method in class g2d.subset.DEvent
-
- toString() - Method in class g2d.subset.SEvent
-
- toString(int) - Method in class g2d.subset.StateSpace
-
- toString() - Method in class g2d.subset.STree
-
- toString() - Method in class g2d.subset.Universe
-
- toString(int) - Method in class g2d.subset.Universe
-
- toString() - Method in class g2d.subset.Urelement
-
- toString() - Method in class g2d.swing.IOPMenuItem
-
- toString() - Method in class g2d.tabwin.AppFrame
-
- toString() - Method in class g2d.tabwin.TabFrame
-
- toString() - Method in class g2d.terms.Constructor
-
- toString() - Method in class g2d.terms.Hole
-
- toString() - Method in class g2d.terms.HolePosition
-
- toString() - Method in class g2d.terms.Sort
-
- toString() - Method in class g2d.terms.Term
-
- toString() - Method in class g2d.terms.TermPosition
-
- toString() - Method in class g2d.terms.Variable
-
- toString() - Method in class g2d.util.ActorMsg.Token
-
- toString() - Method in class g2d.util.ActorMsg
-
- toString(boolean) - Method in class g2d.util.ActorMsg
-
- toString() - Method in class g2d.util.Pair
-
- toStringBuffer(StringBuffer) - Method in class g2d.npa.FreshSet
-
- toStringBuffer(StringBuffer) - Method in class g2d.npa.TermPanel
-
- toStringBuffer(StringBuffer) - Method in class g2d.terms.AppTerm
-
- toStringBuffer(StringBuffer) - Method in class g2d.terms.HoleTerm
-
- toStringBuffer(StringBuffer) - Method in class g2d.terms.Term
-
- toStringBuffer(StringBuffer) - Method in class g2d.terms.VarTerm
-
- transferTab(TabFrame, int, TabFrame) - Static method in class g2d.tabwin.TabUtils
-
- transform(AffineTransform) - Method in class g2d.closure.ClosureGlyph
-
- transform(AffineTransform) - Method in class g2d.glyph.AnimatedGlyph
-
- transform(AffineTransform) - Method in class g2d.glyph.Glyph
-
- transform(AffineTransform) - Method in class g2d.glyph.Glyphish
-
- transform(AffineTransform) - Method in class g2d.glyph.GlyphList
-
- transform(AffineTransform) - Method in class g2d.glyph.ImageGlyph
-
- transform(AffineTransform) - Method in class g2d.graph.GraphItem
-
- transform(AffineTransform) - Method in class g2d.graph.Polygon2D
-
- transformFromView(Point) - Method in class g2d.glyphviewer.GlyphPanel
-
- transformFromView(Point) - Method in class g2d.graphviewer.GraphPanel
-
- translate(double, double) - Method in class g2d.glyph.Glyphish
-
- translate(JSONObject, File) - Static method in class g2d.graph.Json2Dot
-
- TRUNCATE - Static variable in class g2d.Main
-
- TRY - Static variable in class g2d.jlambda.SymbolTable
-
- tt - Variable in enum g2d.npa.RolePanel.Actions
-
- type - Variable in class g2d.graph.IOPNode
-
- type - Variable in class g2d.subset.DEvent
-
- typeof - Variable in class g2d.npa.Role
-