- n - Static variable in class g2d.npa.examples.Nspk
-
- name - Variable in class g2d.graph.IOPGraph
-
- name - Variable in class g2d.graph.IOPSubgraph
-
- name - Variable in class g2d.npa.AttackEditor
-
- name - Static variable in class g2d.npa.examples.Nspk
-
- name - Variable in class g2d.npa.Role
-
- name - Variable in class g2d.subset.DPanel
-
- name - Variable in class g2d.subset.Universe
-
- name - Variable in class g2d.terms.Constructor
-
- name - Variable in class g2d.terms.Sort
-
- name - Variable in class g2d.terms.Variable
-
- namespace - Variable in class g2d.jlambda.Interpreter
-
- namespaceChooser - Variable in class g2d.console.Console
-
- nArgs - Static variable in class g2d.npa.examples.Nspk
-
- NARROW - Static variable in class g2d.jlambda.SymbolTable
-
- NAV_MAX_HEIGHT - Static variable in class g2d.glyphviewer.NavPanel
-
- NAV_MAX_HEIGHT - Static variable in class g2d.graphviewer.AbstractBaseFrame
-
- NAV_MAX_HEIGHT - Static variable in class g2d.graphviewer.NavPanel
-
- NAV_MAX_WIDTH - Static variable in class g2d.glyphviewer.NavPanel
-
- NAV_MAX_WIDTH - Static variable in class g2d.graphviewer.NavPanel
-
- NAV_WIDTH - Static variable in class g2d.graphviewer.AbstractBaseFrame
-
- navigate(HyperlinkEvent) - Method in class g2d.closure.ClosureHyperlinkListener
-
- navPanel - Variable in class g2d.glyphviewer.GlyphView
-
- NavPanel - Class in g2d.glyphviewer
-
Lesson: Performing Custom Painting in Swing Tutorial
http://www.particle.kth.se/~lindsey/JavaCourse/Book/Part1/Java/Chapter06/images.html
http://www.discoverteenergy.com/files/ImagePanel.java
- NavPanel(GlyphPanel) - Constructor for class g2d.glyphviewer.NavPanel
-
- NavPanel(GlyphPanel, int, int) - Constructor for class g2d.glyphviewer.NavPanel
-
- navPanel - Variable in class g2d.graphviewer.AbstractBaseFrame
-
- NavPanel - Class in g2d.graphviewer
-
Lesson: Performing Custom Painting in Swing Tutorial
http://www.particle.kth.se/~lindsey/JavaCourse/Book/Part1/Java/Chapter06/images.html
http://www.discoverteenergy.com/files/ImagePanel.java
- NavPanel(GraphPanel) - Constructor for class g2d.graphviewer.NavPanel
-
- NavPanel(GraphPanel, int, int) - Constructor for class g2d.graphviewer.NavPanel
-
- navPanel - Variable in class g2d.netviewer.NetPanel
-
- navPanel - Variable in class g2d.pla.PLAPanel
-
- NEQ - Static variable in class g2d.jlambda.SymbolTable
-
- neq - Static variable in class g2d.npa.examples.IntruderKnowledge
-
- NetContainer - Interface in g2d.netviewer
-
- NetGraphPanel - Class in g2d.netviewer
-
- NetGraphPanel(NetPanel) - Constructor for class g2d.netviewer.NetGraphPanel
-
- NetPanel - Class in g2d.netviewer
-
- NetPanel(IOPGraph, String, String) - Constructor for class g2d.netviewer.NetPanel
-
- nets - Variable in class g2d.pla.explorer.Explorer
-
- netsClosure - Variable in class g2d.pla.explorer.Explorer
-
- NetViewer - Class in g2d.netviewer
-
- NetViewer() - Constructor for class g2d.netviewer.NetViewer
-
- NeverPattern - Class in g2d.npa
-
- NeverPattern(AttackEditor) - Constructor for class g2d.npa.NeverPattern
-
- neverPatterns - Variable in class g2d.npa.AttackEditor
-
- NeverPatterns - Class in g2d.npa
-
- NeverPatterns(AttackEditor) - Constructor for class g2d.npa.NeverPatterns
-
- NEW_EDGE_RENDERING - Static variable in class g2d.graph.DotParserUtils
-
- NEXT - Static variable in class g2d.subset.StateSpace
-
- next(int) - Method in class g2d.subset.StateSpace
-
- nextState() - Method in class g2d.subset.Urelement
-
- nGenericApprox - Class in g2d.stats
-
Generic approximation by Lassaigne et al.,
Ann.
- nGenericApprox(String, double, double, int) - Constructor for class g2d.stats.nGenericApprox
-
- ninI - Static variable in class g2d.npa.examples.IntruderKnowledge
-
- node - Variable in class g2d.graph.Seed
-
- NODE_BORDER_COLOR - Static variable in class g2d.swing.IOPConstants
-
- NODE_FILL_COLOR - Static variable in class g2d.swing.IOPConstants
-
- NODE_HEIGHT - Static variable in class g2d.swing.IOPConstants
-
- NODE_SELECTED_COLOR - Static variable in class g2d.swing.IOPConstants
-
- NODE_SHAPE - Static variable in class g2d.swing.IOPConstants
-
- NODE_THRESHOLD - Static variable in class g2d.glyph.BufferedGlyphList
-
- NODE_WIDTH - Static variable in class g2d.swing.IOPConstants
-
- NodeDialog - Class in g2d.graph
-
- NodeDialog(IOPFrame) - Constructor for class g2d.graph.NodeDialog
-
- NodeDialog(IOPFrame, IOPNode) - Constructor for class g2d.graph.NodeDialog
-
- NodeListModel - Class in g2d.pla.list
-
Custom implementation of list model that serves for
accessing elements in their natural order.
- NodeListModel() - Constructor for class g2d.pla.list.NodeListModel
-
- NodeListRenderer - Class in g2d.pla.list
-
- NodeListRenderer(Font, boolean) - Constructor for class g2d.pla.list.NodeListRenderer
-
- nodes - Variable in class g2d.graph.Highlighter
-
- nodes - Variable in class g2d.graph.IOPSubgraph
-
- nodes - Variable in class g2d.graph.Seed
-
- nodeType - Variable in enum g2d.pla.SettingsMode
-
- noDisplay(JToolBar, Component, String) - Method in class g2d.tabwin.TabPanel
-
- NOISEY - Static variable in class g2d.netviewer.StatusBar
-
- nonce - Static variable in class g2d.npa.examples.Nspk
-
- NOT - Static variable in class g2d.jlambda.SymbolTable
-
- notifyZoomListeners() - Method in class g2d.glyphviewer.GlyphPanel
-
- notifyZoomListeners() - Method in class g2d.graphviewer.GraphPanel
-
- NPAFrame - Class in g2d.npa
-
- NPAFrame(String, String) - Constructor for class g2d.npa.NPAFrame
-
- npaPreferences - Static variable in class g2d.npa.AttackEditor
-
- npaPreferences - Static variable in class g2d.npa.NPAFrame
-
- npaPreferences - Static variable in class g2d.npa.SyntaxPanel
-
- NSLIMIT - Static variable in class g2d.graph.Dot
-
- NSLIMIT1 - Static variable in class g2d.graph.Dot
-
- NSPK - Static variable in class g2d.npa.examples.Examples
-
- Nspk - Class in g2d.npa.examples
-
- Nspk() - Constructor for class g2d.npa.examples.Nspk
-
- nth(int) - Method in class g2d.jlambda.List
-
Returns the nth element of this list, starting from zero.
- NULL - Static variable in class g2d.jlambda.SymbolTable
-