- b - Static variable in class g2d.npa.examples.Nspk
-
- b64String2File(String, File) - Static method in class g2d.util.IO
-
- b64String2File(String, String) - Static method in class g2d.util.IO
-
- Base64Coder - Class in g2d.util
-
A Base64 encoder/decoder.
- baseAlgebra - Variable in class g2d.npa.Syntax
-
- BaseFrame - Class in g2d.graphviewer
-
Base frame for any kind of graphviewer window that displays a net, a navigator
panel, and tabbed panels to display various things.
- BaseFrame(String, JFrame, boolean) - Constructor for class g2d.graphviewer.BaseFrame
-
- Basis - Class in g2d.subset
-
- Basis(String, String) - Constructor for class g2d.subset.Basis
-
- Basis(String[], String[]) - Constructor for class g2d.subset.Basis
-
- Basis(String[], String[][]) - Constructor for class g2d.subset.Basis
-
- basisAdd(String) - Method in class g2d.subset.Universe
-
- basisAdd(ArrayList<Urelement>) - Method in class g2d.subset.Universe
-
- basisRemove(String) - Method in class g2d.subset.Universe
-
- beginsWith(String) - Method in class g2d.subset.Dictionary
-
- beginsWith(String) - Method in class g2d.subset.Universe
-
- Behavior - Class in g2d
-
- Behavior() - Constructor for class g2d.Behavior
-
- Binding - Class in g2d.npa
-
- Binding(String, String) - Constructor for class g2d.npa.Binding
-
- BlackboxApprox - Class in g2d.stats
-
Vesta black-box approach by Sen et al.,
CAV 2004
"Statistical Model-checking of Black-box Probabilistic Systems Vesta"
th : threshold
- BlackboxApprox(String, double, int) - Constructor for class g2d.stats.BlackboxApprox
-
- BOLD - Static variable in class g2d.graph.IOPEdge
-
Style of a bold line (twice current stroke width) for this edge.
- BOOLEAN - Static variable in class g2d.jlambda.SymbolTable
-
- booleanValue - Variable in class g2d.util.Variable
-
- BOTH_COLOR - Static variable in class g2d.graphviewer.AbstractBaseFrame
-
- bottomButtons - Variable in class g2d.pla.explorer.Explorer
-
- bottomPanel - Variable in class g2d.pla.explorer.Explorer
-
- Box - Class in g2d.util
-
For doing sets without resorting to defines.
- Box() - Constructor for class g2d.util.Box
-
- Box(Object) - Constructor for class g2d.util.Box
-
- bringToFront(BufferedGlyphList) - Static method in class g2d.glyphviewer.Utils
-
- bringToFront(IOPGraph) - Static method in class g2d.netviewer.Utils
-
- bringToFront(IOPGraph) - Static method in class g2d.pla.PLAUtils
-
- BrowserLauncher - Class in g2d.util
-
- BrowserLauncher() - Constructor for class g2d.util.BrowserLauncher
-
- BrowserLauncherTest - Class in g2d.pla
-
- BrowserLauncherTest() - Constructor for class g2d.pla.BrowserLauncherTest
-
- buffered - Static variable in class g2d.glyph.BufferedGlyphList
-
- BufferedGlyphList - Class in g2d.glyph
-
An FAILED attempt to optimize the drawing of large graphs via an offscreen image.
- BufferedGlyphList() - Constructor for class g2d.glyph.BufferedGlyphList
-
- BufferedGlyphList(BufferedGlyphList) - Constructor for class g2d.glyph.BufferedGlyphList
-
- bughunter - Static variable in class g2d.subset.SDialog
-
- Bugs - Class in g2d.util
-
- Bugs() - Constructor for class g2d.util.Bugs
-
- builder - Variable in class g2d.swing.HierarchyMenu
-
- BulkInputDialog - Class in g2d.swing
-
Dialog to be used for bulk input from lists or files.
- button - Variable in class g2d.netviewer.TabList
-
- buttonClosure - Variable in class g2d.netviewer.TabList
-
- buttons - Variable in class g2d.glyphviewer.StatusBar
-
- buttons - Variable in class g2d.netviewer.StatusBar
-
- buttons - Variable in class g2d.npa.launcher.Launcher
-
- buttons - Variable in class g2d.pla.SettingsGroup
-
- BYTE - Static variable in class g2d.jlambda.SymbolTable
-
- byteAt(int) - Method in class g2d.util.ActorMsg.Token
-
- bytes2File(String, byte[], boolean) - Static method in class g2d.jlambda.Utils
-
- bytesRemaining() - Method in class g2d.util.ActorMsg
-
- byteValue - Variable in class g2d.util.Variable
-