- f - Static variable in class g2d.npa.examples.Nspk
-
- FACTOR - Static variable in class g2d.graphviewer.AbstractBaseFrame
-
- fakeSpatialTab() - Method in class g2d.subset.DDialog
-
- FastListModel<E> - Class in g2d.swing
-
- FastListModel() - Constructor for class g2d.swing.FastListModel
-
- FC_DIR - Static variable in class g2d.util.Preferences
-
- FC_FILE - Static variable in class g2d.util.Preferences
-
- FC_GRAPH_AREA - Static variable in class g2d.tabwin.TabPreferences
-
- FC_GRAPH_FILE - Static variable in class g2d.tabwin.TabPreferences
-
- FC_GRAPH_FORMAT - Static variable in class g2d.tabwin.TabPreferences
-
- FC_RAW_TEXT_AREA - Static variable in class g2d.tabwin.TabPreferences
-
- FC_RAW_TEXT_FILE - Static variable in class g2d.tabwin.TabPreferences
-
- FC_RAW_TEXT_FORMAT - Static variable in class g2d.tabwin.TabPreferences
-
- FETCH - Static variable in class g2d.jlambda.SymbolTable
-
- file2Array(String, boolean) - Static method in class g2d.util.IO
-
- file2ArrayList(String, boolean) - Static method in class g2d.util.IO
-
- file2B64String(File) - Static method in class g2d.util.IO
-
- file2B64String(String) - Static method in class g2d.util.IO
-
- file2Bytes(String) - Static method in class g2d.jlambda.Utils
-
- file2Collection(Collection<Object>, String, Closure, boolean) - Static method in class g2d.util.IO
-
- file2Image(String) - Static method in class g2d.util.Image
-
- file2Image(File) - Static method in class g2d.util.Image
-
- file2JObj(String) - Static method in class g2d.graph.Json2Dot
-
- file2String(File, char) - Static method in class g2d.jlambda.Utils
-
- file2String(String, char) - Static method in class g2d.jlambda.Utils
-
- file2String(File) - Static method in class g2d.jlambda.Utils
-
- file2String(String) - Static method in class g2d.jlambda.Utils
-
- file2String(File, char) - Static method in class g2d.util.IO
-
- file2String(String, char) - Static method in class g2d.util.IO
-
- file2String(File) - Static method in class g2d.util.IO
-
- file2String(String) - Static method in class g2d.util.IO
-
- FileChooser - Class in g2d.util
-
- FileChooser() - Constructor for class g2d.util.FileChooser
-
- FileFilter - Class in g2d.swing
-
- FileFilter(String, String) - Constructor for class g2d.swing.FileFilter
-
- FileManager - Class in g2d
-
- FileManager() - Constructor for class g2d.FileManager
-
- fileMenu - Variable in class g2d.glyphviewer.GlyphView
-
- fileMenu - Variable in class g2d.graphviewer.AbstractBaseFrame
-
- FileMenu - Class in g2d.graphviewer
-
- FileMenu(JFrame, GraphPanel) - Constructor for class g2d.graphviewer.FileMenu
-
- fileMenu - Variable in class g2d.netviewer.NetPanel
-
- FileMenu - Class in g2d.tabwin.menus
-
- FileMenu() - Constructor for class g2d.tabwin.menus.FileMenu
-
- filename - Variable in class g2d.jlambda.Code
-
- FileSystem - Class in g2d.pla
-
- FileSystem() - Constructor for class g2d.pla.FileSystem
-
- fileType - Variable in enum g2d.graph.Dot.DotFormat
-
- FILL_COLORS - Static variable in class g2d.graphviewer.AbstractBaseFrame
-
- filterObject(Object) - Method in class g2d.glyphviewer.TabFindGlyph
-
- filterObject(Object) - Method in class g2d.netviewer.TabFind
-
- filterObject(Object) - Method in class g2d.netviewer.TabFindGraphItem
-
- findListener - Variable in class g2d.pla.explorer.Explorer
-
- findModel - Variable in class g2d.pla.explorer.Explorer
-
- findResults - Variable in class g2d.pla.explorer.Explorer
-
- fireChange(ChangeEvent) - Method in class g2d.glyph.BufferedGlyphList
-
Is used to notify all those listeners registered that the glyphlist
has changed.
- fireChange() - Method in class g2d.glyph.BufferedGlyphList
-
Is used to notify all those listeners registered that the glyphlist
has changed.
- fireChange() - Method in class g2d.graph.IOPGraph
-
- fireChange(GraphItem) - Method in class g2d.graph.IOPGraph
-
- fireContentsChanged(Object, int, int) - Method in class g2d.netviewer.TabListModel
-
- fireContentsChanged(Object, int, int) - Method in class g2d.swing.FastListModel
-
- fireDEvent(DEvent) - Method in class g2d.subset.Universe
-
- fireFileChooserEvent(FileChooserEvent) - Method in class g2d.util.FileChooser
-
- fireIntervalAdded(Object, int, int) - Method in class g2d.netviewer.TabListModel
-
- fireIntervalAdded(Object, int, int) - Method in class g2d.swing.FastListModel
-
- fireIntervalRemoved(Object, int, int) - Method in class g2d.netviewer.TabListModel
-
- fireIntervalRemoved(Object, int, int) - Method in class g2d.swing.FastListModel
-
- fireSEvent(SEvent) - Method in class g2d.subset.Universe
-
- first - Variable in class g2d.util.Pair
-
- flatten(IOPGraph, Collection<Integer>, Collection<Integer>, Collection<Integer>) - Method in class g2d.graph.IOPSubgraph
-
- flattenEdges(IOPGraph, Collection<Integer>) - Method in class g2d.graph.IOPSubgraph
-
- flattenNodes(IOPGraph, Collection<Integer>) - Method in class g2d.graph.IOPSubgraph
-
- FLOAT - Static variable in class g2d.jlambda.SymbolTable
-
- floatValue - Variable in class g2d.util.Variable
-
- focus(boolean) - Method in class g2d.glyphviewer.TabFindGlyph
-
Request focus of one of two text fields directly.
- focus(boolean) - Method in class g2d.graphviewer.TabFind
-
Request focus of one of two text fields directly.
- focus(boolean) - Method in class g2d.netviewer.TabFind
-
Request focus of one of two text fields directly.
- focus(boolean) - Method in class g2d.netviewer.TabFindGraphItem
-
Request focus of one of two text fields directly.
- focusOnTextField(boolean) - Method in class g2d.graphviewer.AbstractBaseFrame
-
- focusTabPanel(TabPanel) - Method in class g2d.tabwin.TabFrame
-
- focusTabPanelAt(int) - Method in class g2d.tabwin.TabFrame
-
- font - Variable in class g2d.glyphviewer.TabFindGlyph
-
- font - Variable in class g2d.netviewer.TabFind
-
- font - Variable in class g2d.netviewer.TabFindGraphItem
-
- font - Static variable in class g2d.swing.IOPColorKey
-
- FONT - Static variable in class g2d.swing.IOPConstants
-
- FONTSIZE - Static variable in class g2d.swing.IOPConstants
-
- FOR - Static variable in class g2d.jlambda.SymbolTable
-
- ForCont - Class in g2d.jlambda
-
- ForCont(List, String, List, Environment, Continuation) - Constructor for class g2d.jlambda.ForCont
-
- FormError - Exception in g2d.jlambda
-
Base Error exception class for the interpreter.
- FormError(String) - Constructor for exception g2d.jlambda.FormError
-
- FormError(String, Continuation) - Constructor for exception g2d.jlambda.FormError
-
- FormError(String, List) - Constructor for exception g2d.jlambda.FormError
-
- formToString() - Method in exception g2d.jlambda.FormError
-
- forSaving() - Method in class g2d.pla.list.NodeListModel
-
- frame - Variable in class g2d.swing.HTMLPopup
-
- frame - Variable in class g2d.swing.IOPInfoPopup
-
- fresh - Static variable in class g2d.npa.examples.Nspk
-
- fresh - Variable in class g2d.npa.Role
-
- FreshSet - Class in g2d.npa
-
- FreshSet() - Constructor for class g2d.npa.FreshSet
-
- FreshSet(String[]) - Constructor for class g2d.npa.FreshSet
-
- FreshSet(FreshSet) - Constructor for class g2d.npa.FreshSet
-
- FreshSet(String) - Constructor for class g2d.npa.FreshSet
-
- FreshSetDialog - Class in g2d.npa
-
- FreshSetEditor - Class in g2d.npa
-
- FreshSetEditor(AttackEditor, JTable, Role) - Constructor for class g2d.npa.FreshSetEditor
-
- freshSetter - Variable in class g2d.npa.FreshSetDialog
-
- fromMap(HashMap<Sort, Sort[]>) - Static method in class g2d.terms.Subsorter
-
- fromSort(Sort) - Static method in class g2d.terms.HoleTerm
-
- fromStrings(String, String) - Static method in class g2d.terms.VarTerm
-
- FULL_DFNS - Static variable in class g2d.jlambda.ReadEvalPrintLoop
-