Alphabetical Index

A B C D E F G H I J L M N O P Q R S T U V W X Z

A

AboutCommand - class org.grinvin.grinvin.commands.AboutCommand
Displays the about dialog.
AboutCommand(CommandManager,String) - constructor for class org.grinvin.grinvin.commands.AboutCommand
AboutDialog - class org.grinvin.about.AboutDialog
Displays the 'About' dialog, with versioning information.
AboutDialog(Frame) - constructor for class org.grinvin.about.AboutDialog
AbstractFactory - class org.grinvin.factories.AbstractFactory
AbstractGraphFactory - class org.grinvin.factories.graphs.AbstractGraphFactory
Common superclass of various graph factory classes.
AbstractGraphFactory() - constructor for class org.grinvin.factories.graphs.AbstractGraphFactory
Default constructor.
AbstractGraphIcon - class org.grinvin.gui.icons.AbstractGraphIcon
Implementation of AbstractSelectUnselectIcon that implements GraphIcon.
AbstractGuides - class org.grinvin.gred.guides.AbstractGuides
Abstract implementation of Guides.
AbstractGuides() - constructor for class org.grinvin.gred.guides.AbstractGuides
AbstractInvariantCComputer - class org.grinvin.invariants.computers.AbstractInvariantCComputer
Abstract superclass for invariant computers that are written in C.
AbstractInvariantComputer - class org.grinvin.invariants.computers.AbstractInvariantComputer
Abstract superclass used by most invariant computers.
AbstractInvariantComputer() - constructor for class org.grinvin.invariants.computers.AbstractInvariantComputer
The abstract class to support the scheduling of the computation of invariant values.
Abstract implementation of SelectUnselectIcon which keeps track of the selected state.
AbstractTransformation - class org.grinvin.gred.transformations.AbstractTransformation
Common super class of most implementations of Transformation.
Accept a visitor on this node.
accept(Visitor) - method in class org.grinvin.invariants.Invariant
accept(Visitor) - method in class org.grinvin.invariants.InvariantGroup
acceptDrop(JComponent,Object,int) - method in class org.grinvin.list.FactoryDropHandler
acceptDrop(JComponent,Object,int) - method in class org.grinvin.graphbrowser.InvariantDropHandler
acceptDrop(JComponent,Object,int) - method in class org.grinvin.graphbrowser.InvariantFactoryDropHandler
AcceptsInvariant - interface org.grinvin.graphbrowser.AcceptsInvariant
ActivateWindowCommand - class org.grinvin.grinvin.commands.ActivateWindowCommand
Command to activate existing windows.
ActivateWindowCommand(JFrame) - constructor for class org.grinvin.grinvin.commands.ActivateWindowCommand
add(org.grinvin.invariants.InvariantNode) - method in class org.grinvin.invariants.InvariantGroup
Add a child to the group.
addAll(GraphListElement>) - method in class org.grinvin.list.DefaultGraphListModel
addAll(int,GraphListElement>) - method in class org.grinvin.list.DefaultGraphListModel
addAll(int,Invariant>) - method in class org.grinvin.list.DefaultInvariantListModel
addAll(Invariant>) - method in class org.grinvin.list.DefaultInvariantListModel
addChangeListener(ChangeListener) - method in class org.grinvin.engine.EngineRunner
Register an object which is informed of changes in the 'running' state of this runner.
addDirectory(File) - method in class org.grinvin.util.LocalClassLoader
Add a directory to the local class path.
addDirectory(File,String) - method in class org.grinvin.util.LocalClassLoader
Add a base directory which is derived from the given class name which is known to reside in the given file.
AddEdges - class org.grinvin.gred.mouse.AddEdges
Mouse handler for adding edges.
AddElements - class org.grinvin.gred.undoable.AddElements
Undoable change for adding elements to a graph.
AddElements(org.grinvin.Graph,List) - constructor for class org.grinvin.gred.undoable.AddElements
Create an undoable change for adding elements to a graph.
AddElements(org.grinvin.Graph,org.grinvin.Element) - constructor for class org.grinvin.gred.undoable.AddElements
Create an undoable change for adding a single element to a graph.
Register a embedding listener with this model.
addFocusListener(FocusListener) - method in class org.grinvin.params.ParameterComponent
Register a graph listener with this model.
addInsideOfRectangle(Rectangle2D,Collection) - method in class org.grinvin.gred.GraphPanel
Add all elements to the given set whose embedding coordinates are within the given bounds.
addInvariant(org.grinvin.invariants.Invariant) - method in class org.grinvin.graphbrowser.AcceptsInvariant
Accept an invariant.
Accept an invariant.
Add the given InvariantValue as a cached value to this bundle
Add a listener which will be notified whenever a new invariant or factory is introduced into the system.
addMovement(org.grinvin.Vertex,double[],double[]) - method in class org.grinvin.gred.undoable.ChangeCoordinates
Add a movement of the given vertex form old to new coordinates.
Add a new edge to the graph which joins the given (existing) vertices.
Add a new edge to the graph which joins the given (existing) vertices.
addNewVertex(int,int,Object,boolean) - method in class org.grinvin.gred.MutableGraphPanel
Add a new vertex at the given mouse coordinates using the given annotation.
addNewVertex(Object) - method in class org.grinvin.DefaultGraph
Create a new vertex and add it to the graph.
addNewVertex(Object) - method in class org.grinvin.DefaultGraphModel
addNewVertex(Object) - method in class org.grinvin.Graph
Create a new vertex and add it to the graph.
Add a parameter at the end of this list.
addResult(String) - method in class org.grinvin.graphbrowser.ConjecturingWindow
addSelection(Collection) - method in class org.grinvin.gui.SelectionModel<T>
Add the objects in the given set to the selection.
addSelection(T) - method in class org.grinvin.gui.SelectionModel<T>
Add the given object to the selection.
implement TableModel ****
addTabsChangeListener(ChangeListener) - method in class org.grinvin.grinvin.GrinvinWindow
addToList(List) - method in class org.grinvin.factories.graphs.GraphFactoryManager
Add all graph factories to the given list.
Register a transformation listener with this model.
addVersionForModel(String) - method in class org.grinvin.about.VersionTableModel
Add a row to the table for the module of the given name.
AddVertices - class org.grinvin.gred.mouse.AddVertices
Mouse handler that adds a vertex at the given position.
adjacencyList() - method in class org.grinvin.DefaultGraphBundle
Returns a (cached) adjacency list representation for the corresponding graph.
adjacencyList() - method in class org.grinvin.GraphBundleView
Returns a (cached) adjacency list representation for the corresponding graph.
adjacencyList(org.grinvin.GraphView) - static method in class org.grinvin.Graphs
Returns the adjacency list representation for the given graph.
AffineTransformation - class org.grinvin.gred.transformations.AffineTransformation
Affine transformation from n-space to 2-space.
AffineTransformation() - constructor for class org.grinvin.gred.transformations.AffineTransformation
Create an identity transform for two-dimensional space.
AffineTransformation(double[][]) - constructor for class org.grinvin.gred.transformations.AffineTransformation
Create a new affine transformation with given transformation matrix.
allowsMultipleDrops(JComponent) - method in class org.grinvin.list.FactoryDropHandler
allowsMultipleDrops(JComponent) - method in class org.grinvin.graphbrowser.InvariantDropHandler
allowsMultipleDrops(JComponent) - method in class org.grinvin.graphbrowser.InvariantFactoryDropHandler
anchor - field in class org.grinvin.gred.GraphPanel
AnnotatedIconFactory - class org.grinvin.gui.icons.AnnotatedIconFactory
Graph icon factory that uses a SmallGraphIcon with an AnnotatedRenderer for small graphs.
AnnotatedIconFactory() - constructor for class org.grinvin.gui.icons.AnnotatedIconFactory
Default constructor.
Creates a new instance of AnnotatedInvariantListComponent
AnnotatedRenderer - class org.grinvin.render.AnnotatedRenderer
An extension of DefaultRenderer that adds rendering of annotations.
An annotated version of ScrollableGraphTableComponent.
APEngine - class org.grinvin.engine.APEngine
Proof of concept (quick and dirty) implementation of Engine.
APEngine() - constructor for class org.grinvin.engine.APEngine
Check whether the given vertices are adjacent in this graph.
Check whether the given vertices are adjacent in this graph.
asDouble() - method in class org.grinvin.invariants.BooleanValue
Return the actual value as a real number.
asDouble() - method in class org.grinvin.invariants.IntegerValue
Return the actual value as a real number.
asDouble() - method in class org.grinvin.invariants.InvariantValue
asDouble() - method in class org.grinvin.invariants.RealValue
Return the actual value as a real number.
AutoSnap - class org.grinvin.gred.commands.AutoSnap
Toggles the state of the 'snap to guides' flag on the graph panel.
AutoSnap(CommandManager,String) - constructor for class org.grinvin.gred.commands.AutoSnap
Construct an action command of this type.

B

background - field in class org.grinvin.gui.MultilineToolTip
backgroundColor - field in class org.grinvin.gred.GraphPanel
Panel background color.
backgroundColor - field in class org.grinvin.list.GraphViewPanel
Panel background color.
baseElement() - method in class org.grinvin.workspace.DefaultWindowWrapper<W,extends,Window>
Create a JDOM-element that contains the version information.
binaryCount - field in class org.grinvin.engine.apengine.BinaryTree
Operators.BinaryOperator - class org.grinvin.engine.apengine.Operators.BinaryOperator
BinaryTree - class org.grinvin.engine.apengine.BinaryTree
This class represents a binary tree.
BinaryTree(int,int) - constructor for class org.grinvin.engine.apengine.BinaryTree
Create a new binary tree with unaryOperators unary operators and binaryOperators binary operators.
BinaryTree(int[],int,int,int) - constructor for class org.grinvin.engine.apengine.BinaryTree
Create a new binary tree.
boolean canHandle(JComponent) - method in class org.grinvin.gred.mouse.AddEdges
This mouse handler needs a GraphPanel as parent which is backed by a (mutable) Graph.
boolean canHandle(JComponent) - method in class org.grinvin.gred.mouse.AddVertices
This mouse handler needs a MutableGraphPanel as parent.
boolean canHandle(JComponent) - method in class org.grinvin.gred.mouse.MoveSelection
This mouse handler needs a MutableGraphPanel as parent.
boolean canHandle(JComponent) - method in class org.grinvin.gred.mouse.Rotate3D
boolean canHandle(JComponent) - method in class org.grinvin.gred.mouse.SelectElements
This mouse handler needs a GraphPanel as parent.
boolean canHandle(JComponent) - method in class org.grinvin.gred.mouse.SelectRectangle
boolean canHandle(JComponent) - method in class org.grinvin.gred.mouse.SplitEdges
This mouse handler needs a MutableGraphPanel as parent.
boolean isInvertible() - method in class org.grinvin.gred.transformations.AffineTransformation
Is this transformation invertible?
booleanAdjacencyMatrix() - method in class org.grinvin.DefaultGraphBundle
Return a (cached) boolean adjacency matrix for the corresponding graph.
booleanAdjacencyMatrix() - method in class org.grinvin.GraphBundleView
Return a (cached) boolean adjacency matrix for the corresponding graph.
booleanAdjacencyMatrix(org.grinvin.GraphView) - static method in class org.grinvin.Graphs
Returns a boolean adjacency matrix for the given graph.
BooleanValue - class org.grinvin.invariants.BooleanValue
Invariant type which allows boolean values.
Create an object of this type with the given boolean value.
Bounds - class org.grinvin.io.Bounds
Class to handle loading and saving of location and size information.
Bounds(Element) - constructor for class org.grinvin.io.Bounds
Bounds(Point,Dimension) - constructor for class org.grinvin.io.Bounds
BullsEye - class org.grinvin.gred.guides.BullsEye
Guides consisting of concentric circles divided into sectors.
BullsEye(int,int) - constructor for class org.grinvin.gred.guides.BullsEye
Create a new object of this type.

C

change(org.grinvin.Edge,Object) - method in class org.grinvin.DefaultGraph
Change or remove the annotation of the given edge.
change(org.grinvin.Edge,Object) - method in class org.grinvin.Graph
Change or remove the annotation of the given edge.
change(org.grinvin.Vertex,Object) - method in class org.grinvin.DefaultGraph
Change or remove the annotation of the given vertex.
change(org.grinvin.Vertex,Object) - method in class org.grinvin.Graph
Change or remove the annotation of the given vertex.
ChangeCoordinates - class org.grinvin.gred.undoable.ChangeCoordinates
Undoable change for moving elements in a graph.
ChangeCoordinates(org.grinvin.Embedding,String) - constructor for class org.grinvin.gred.undoable.ChangeCoordinates
Create an undoable change object for moving elements in an embedding.
checkParameters(Object[]) - method in class org.grinvin.factories.AbstractFactory
Check whether all parameters were properly initialized.
ChemicalIcon - class org.grinvin.gui.icons.ChemicalIcon
Creates an icon for the first embedding of a graph.
ChemicalIcon(org.grinvin.EmbeddingView,int) - constructor for class org.grinvin.gui.icons.ChemicalIcon
Create a graph icon for the given embedded graph.
ChemicalIcon(org.grinvin.GraphBundleView,int) - constructor for class org.grinvin.gui.icons.ChemicalIcon
Create a graph icon based on the first embedding stored in the given graph bundle.
ChemicalIconFactory - class org.grinvin.gui.icons.ChemicalIconFactory
Graph icon factory that uses ChemicalIcon for graphs with a small number of vertices.
ChemicalIconFactory() - constructor for class org.grinvin.gui.icons.ChemicalIconFactory
Default constructor.
childCount(int) - method in class org.grinvin.engine.apengine.BinaryTree
Return the number of children for the given node.
children(int) - method in class org.grinvin.engine.apengine.BinaryTree
Return the children of the given node.
Clear - class org.grinvin.gred.commands.Clear
Action command which removes the current graph.
clear() - method in class org.grinvin.DefaultGraph
Remove all vertices and all edges from this graph.
clear() - method in class org.grinvin.list.DefaultGraphListModel
clear() - method in class org.grinvin.DefaultGraphModel
clear() - method in class org.grinvin.list.DefaultInvariantListModel
clear() - method in class org.grinvin.Graph
Remove all vertices and all edges from this graph.
clear() - method in class org.grinvin.gred.MutableGraphPanel
Removes the current graph
Clear(CommandManager,String) - constructor for class org.grinvin.gred.commands.Clear
Default constructor
ClearSelection - class org.grinvin.gred.commands.ClearSelection
Action command which clears the selection on a graph panel.
clearSelection() - method in class org.grinvin.gred.GraphPanel
Clear the selection.
clearSelection() - method in class org.grinvin.gui.SelectionModel<T>
Clear the selection.
ClearSelection(CommandManager,String) - constructor for class org.grinvin.gred.commands.ClearSelection
Default constructor
clone() - method in class org.grinvin.engine.apengine.BinaryTree
clone() - method in class org.grinvin.engine.apengine.LabeledBinaryTree
close() - method in class org.grinvin.gred.GraphPanel
Decouples all listeners.
close() - method in class org.grinvin.gred.TransformedEmbedding
Decouple listener from delegate.
CloseConjecturingWindow - class org.grinvin.graphbrowser.commands.CloseConjecturingWindow
CloseConjecturingWindow(CommandManager,String) - constructor for class org.grinvin.graphbrowser.commands.CloseConjecturingWindow
Construct an action command of this type.
CloseEditor - class org.grinvin.gred.commands.CloseEditor
CloseEditor(CommandManager,String) - constructor for class org.grinvin.gred.commands.CloseEditor
Construct an action command of this type.
CloseGraph - class org.grinvin.list.commands.CloseGraph
Command to close the current GraphPropertiesWindow.
CloseGraph(CommandManager,String) - constructor for class org.grinvin.list.commands.CloseGraph
Construct an action command of this type.
CloseGraphBrowserWindow - class org.grinvin.graphbrowser.commands.CloseGraphBrowserWindow
CloseGraphBrowserWindow(CommandManager,String) - constructor for class org.grinvin.graphbrowser.commands.CloseGraphBrowserWindow
Construct an action command of this type.
Closure - class org.grinvin.gred.commands.Closure
Action command which replaces the graph with its closure.
closure() - method in class org.grinvin.gred.MutableGraphPanel
Replaces the current graph with its closure
Closure(CommandManager,String) - constructor for class org.grinvin.gred.commands.Closure
Default constructor
Common TransferHandler for all graph list components in org.grinvin.graphbrowser.
Complement - class org.grinvin.gred.commands.Complement
Action command which replaces the graph with its complement.
complement() - method in class org.grinvin.gred.MutableGraphPanel
Replaces the current graph with its complement.
Complement(CommandManager,String) - constructor for class org.grinvin.gred.commands.Complement
Default constructor
complete(org.grinvin.engine.apengine.LabeledBinaryTree) - method in class org.grinvin.engine.apengine.TreeGenerator
Is the given LabeledBinaryTree complete? A tree is complete if its amount of unary and binary operators matches the current unary and binary operator count respectively.
completeWorkingTree - field in class org.grinvin.engine.apengine.TreeGenerator
Renders a graph list element as a combination of icon and graph name.
componentHidden(ComponentEvent) - method in class org.grinvin.gred.GraphPanel
componentHidden(ComponentEvent) - method in class org.grinvin.list.GraphViewPanel
componentMoved(ComponentEvent) - method in class org.grinvin.gred.GraphPanel
componentMoved(ComponentEvent) - method in class org.grinvin.list.GraphViewPanel
componentResized(ComponentEvent) - method in class org.grinvin.gred.GraphPanel
Recenters the drawing when the component changes size.
componentResized(ComponentEvent) - method in class org.grinvin.list.GraphViewPanel
Recenters the drawing when the component changes size.
componentShown(ComponentEvent) - method in class org.grinvin.gred.GraphPanel
componentShown(ComponentEvent) - method in class org.grinvin.list.GraphViewPanel
compute(org.grinvin.GraphBundleView) - method in class org.grinvin.invariants.InvariantComputer
Compute the value of the associated invariant for the given graph.
configureFactory(org.grinvin.factories.Factory) - static method in class org.grinvin.factories.FactoryManager
confirmProceed() - method in class org.grinvin.list.commands.ExportGraph
Check whether there is only a single graph selected before export.
confirmProceed() - method in class org.grinvin.list.commands.ExportGraphImage
Check whether there is only a single graph selected before export.
confirmProceed() - method in class org.grinvin.list.commands.ExportGraphList
ConjecturingWindow create() - method in class org.grinvin.workspace.ConjecturingWindowWrapper
Load the window, its graph list and its invariant list.
ConjecturingWindow - class org.grinvin.graphbrowser.ConjecturingWindow
Window associated to a conjecturing engine.
ConjecturingWindowListener - interface org.grinvin.graphbrowser.ConjecturingWindowListener
Wrapper for the conjecturing window.
ConnectSelection - class org.grinvin.gred.commands.ConnectSelection
Action command which connects the current selected vertices.
connectSelection() - method in class org.grinvin.gred.MutableGraphPanel
Connects the current selected vertices (i.e.
ConnectSelection(CommandManager,String) - constructor for class org.grinvin.gred.commands.ConnectSelection
Default constructor
contains(org.grinvin.Edge) - method in class org.grinvin.DefaultGraph
Does the given edge belong to this graph?
contains(org.grinvin.Edge) - method in class org.grinvin.GraphView
Does the given edge belong to this graph?
contains(org.grinvin.Vertex) - method in class org.grinvin.DefaultGraph
Does the given vertex belong to this graph?
contains(org.grinvin.Vertex) - method in class org.grinvin.GraphView
Does the given vertex belong to this graph?
containsSessionElements() - method in class org.grinvin.list.DefaultGraphList
containsSessionElements() - method in class org.grinvin.list.DefaultGraphListModel
containsSessionElements() - method in class org.grinvin.list.GraphList
contents - field in class org.grinvin.engine.apengine.BinaryTree
contentsChanged(ListDataEvent) - method in class org.grinvin.graphbrowser.AnnotatedGraphCellListComponent
contentsChanged(ListDataEvent) - method in class org.grinvin.graphbrowser.AnnotatedGraphListComponent
contentsChanged(ListDataEvent) - method in class org.grinvin.graphbrowser.AnnotatedInvariantListComponent
contentsChanged(ListDataEvent) - method in class org.grinvin.list.commands.RunConjecturing
contentsChanged(ListDataEvent) - method in class org.grinvin.grinvin.WindowGroup
context - field in class org.grinvin.gred.GraphPanel
context - field in class org.grinvin.list.GraphViewPanel
Make this embedding a copy of the given view using the peer of the original.
copy(org.grinvin.EmbeddingView) - method in class org.grinvin.Embedding
Make this embedding a copy of the given view using the peer of the original.
Make this embedding a copy of the given view using the given peer.
Make this embedding a copy of the given view using the given peer.
copy(org.grinvin.GraphView) - method in class org.grinvin.DefaultGraph
Make this graph a copy of the given view.
copy(org.grinvin.GraphView) - method in class org.grinvin.Graph
Make this graph a copy of the given view.
correct(org.grinvin.engine.apengine.LabeledBinaryTree) - method in class org.grinvin.engine.apengine.TreeGenerator
Is the given LabeledBinaryTree correct? A tree is correct if it is still possible to extend it to a complete tree.
create() - method in class org.grinvin.workspace.DefaultWindowWrapper<W,extends,Window>
Create the subcomponent(s) managed by this wrapper.
create() - method in class org.grinvin.workspace.Wrapper<C>
Create the subcomponent(s) managed by this wrapper.
createArray(int) - method in class org.grinvin.engine.apengine.StateStack<E>
createArray(int) - method in class org.grinvin.engine.apengine.TreeGenerator.TreeGeneratorStateStack
createCycle(org.grinvin.Graph,org.grinvin.Embedding,int) - static method in class org.grinvin.factories.graphs.AbstractGraphFactory
Create a graph and embedding with vertices spaced equally along the circumference of the unit circle.
createEmbedding() - method in class org.grinvin.DefaultGraphBundle
createEmbedding() - method in class org.grinvin.GraphBundle
Factory method which creates a new (empty) embedding and installs it as the next embedding in this bundle, i.e., the embedding with the next available index.
createEmbedding() - method in class org.grinvin.gred.GraphBundleWithModels
This implementation creates an embedding of type DefaultEmbeddingModel.
createFactory(String) - static method in class org.grinvin.GraphURI
createGraph() - method in class org.grinvin.DefaultGraphBundle
createGraph() - method in class org.grinvin.GraphBundle
Factory method which creates a new (empty) graph for this bundle.
createGraph() - method in class org.grinvin.gred.GraphBundleWithModels
This implementation creates a graph of type DefaultGraphModel.
createGraph(org.grinvin.Graph,org.grinvin.Embedding) - method in class org.grinvin.factories.graphs.AbstractGraphFactory
Should be overridden to initialize graph and embedding.
createGraph(org.grinvin.GraphBundle) - method in class org.grinvin.factories.graphs.AbstractGraphFactory
createGraph(org.grinvin.GraphBundle) - method in class org.grinvin.factories.graphs.GraphFactory
Create a graph and store it into the given graph bundle.
createIcon(org.grinvin.GraphBundleView,int) - method in class org.grinvin.gui.icons.GraphIconFactory
Create an icon for a 'large' graph.
Create an icon for a graph bundle whose graph is missing.
Create an icon for a 'small' graph.
Create an icon for a 'small' graph.
createInvariant() - method in class org.grinvin.invariants.InvariantFactory
Creates and returns an invariant for the current parameter values.
Creates and returns an invariant computer for the parameter values as stored with the given invariant factory.
createListSelectionModel() - method in class org.grinvin.graphbrowser.GraphCellListComponent
createListSelectionModel() - method in class org.grinvin.graphbrowser.GraphListComponent
createNewGraphBrowserWindow() - method in class org.grinvin.list.DefaultGraphListsModel
Create a new graph browser window and add it to this list.
createNewGraphBrowserWindow() - method in class org.grinvin.list.GraphListsModel
createPath(org.grinvin.Graph,org.grinvin.Embedding,int) - static method in class org.grinvin.factories.graphs.AbstractGraphFactory
Create a graph amd embedding with vertices spaced equally along the interval -1..1.
createSelectUnselectIcon(String,String,int) - method in class org.grinvin.gui.icons.SvgIconManager
createSession(String) - static method in class org.grinvin.GraphURI
createToolTip() - method in class org.grinvin.graphbrowser.GraphCellListComponent
currentBinaryOperators - field in class org.grinvin.engine.apengine.TreeGenerator
currentUnaryOperators - field in class org.grinvin.engine.apengine.TreeGenerator
cursorMargin - field in class org.grinvin.gui.DropList
Extra vertical space to be left on top of the list and at the bottom to make sure the cursor is fully visible when drawn at both extremes of the list.

D

d - field in class org.grinvin.util.Tridiagonal
Diagonal elements of this matrix.
darkerBackground - field in class org.grinvin.gui.MultilineToolTip
Default implementation of Embedding.
Create a copy of a given embedding which shares the same peer.
Create an embedding of the given dimension for the given peer graph.
Implementation of Embedding that at the same time functions as a model in a model-view-controller triple.
Create an embedding of the given dimension for the given peer graph.
DefaultGraph - class org.grinvin.DefaultGraph
Default implementation of Graph.
DefaultGraph() - constructor for class org.grinvin.DefaultGraph
Creates a new empty graph.
Default implementation of GraphBundle.
DefaultGraphBundle() - constructor for class org.grinvin.DefaultGraphBundle
Default constructor.
DefaultGraphIconFactory - class org.grinvin.gui.icons.DefaultGraphIconFactory
Factory which is to be used when a graph bundle does not explicitely request an icon factory.
DefaultGraphIconFactory() - constructor for class org.grinvin.gui.icons.DefaultGraphIconFactory
Default constructor.
Default implementation of GraphInvariantListModel.
DefaultGraphInvariantList() - constructor for class org.grinvin.list.DefaultGraphInvariantList
Default implementation of GraphInvariantListModel.
DefaultGraphInvariantListModel() - constructor for class org.grinvin.list.DefaultGraphInvariantListModel
DefaultGraphList - class org.grinvin.list.DefaultGraphList
Default implementation of GraphList.
Default implementation of GraphListModel.
Model that contains a list of available graph lists and the current sequence number.
DefaultGraphListsModel(TypedListModel) - constructor for class org.grinvin.list.DefaultGraphListsModel
Create a new graph lists model, backed by the given listmodel.
Default implementation of MutableGraphModel.
DefaultGraphModel() - constructor for class org.grinvin.DefaultGraphModel
Create a new graph model for an empty graph.
Default implementation of InvariantList.
Default implementation of InvariantListModel.
DefaultRenderer - class org.grinvin.render.DefaultRenderer
Default implementation of a renderer.
DefaultRenderer() - constructor for class org.grinvin.render.DefaultRenderer
Default implementation of AbstractSelectUnselectIcon.
DefaultSelectUnselectIcon(Icon,Icon) - constructor for class org.grinvin.gui.icons.DefaultSelectUnselectIcon
Common super class of all wrappers that manage a single window of type W.
deleteDirectory(File) - static method in class org.grinvin.util.IOHelper
Delete a directory recursively.
deleteSelectedElements() - method in class org.grinvin.graphbrowser.GraphCellListComponent
Delete currently selected elements.
deleteSelectedElements() - method in class org.grinvin.graphbrowser.GraphListComponent
Delete currently selected elements.
deleteSelectedElements() - method in class org.grinvin.list.GraphListsComponent
Delete currently selected elements.
deleteSelectedElements() - method in class org.grinvin.graphbrowser.InvariantListComponent
Delete currently selected elements.
DeleteSelectedGraphs - class org.grinvin.gred.commands.DeleteSelectedGraphs
Action that removes the current selected graphs in a given GraphList.
deleteSelectedGraphs() - method in class org.grinvin.graphbrowser.RowHeaderView
Delete currently selected graphs.
DeleteSelectedGraphs(CommandManager,String) - constructor for class org.grinvin.gred.commands.DeleteSelectedGraphs
Construct an action of this kind.
deleteSelectedRows() - method in class org.grinvin.graphbrowser.GraphTableComponent
Delete currently selected rows.
DeleteSelection - class org.grinvin.gred.commands.DeleteSelection
Action command which deletes the current selection.
deleteSelection() - method in class org.grinvin.gred.MutableGraphPanel
Delete the current selection.
DeleteSelection(CommandManager,String) - constructor for class org.grinvin.gred.commands.DeleteSelection
Default constructor
dimension - field in class org.grinvin.DefaultEmbedding
Dimension of this embedding.
dimensionChanged(int) - method in class org.grinvin.EmbeddingListener
Called when the dimension of the embedding was changed, and as a consequence that all coordinates have changed as well.
dimensionChanged(int) - method in class org.grinvin.gred.GraphPanel
Called when the dimension of the embedding was changed, and as a consequence that all coordinates have changed as well.
dimensionChanged(int) - method in class org.grinvin.list.GraphViewPanel
Triggers the context-sensitive help
Creates a new instance of DisplayHelpAfterTrackingCommand
dispose(C) - method in class org.grinvin.workspace.Wrapper<C>
Dispose of the given subcomponent.
dispose(W) - method in class org.grinvin.workspace.DefaultWindowWrapper<W,extends,Window>
This implementation disposes of the associated window.
distanceMatrix() - method in class org.grinvin.DefaultGraphBundle
Returns a (cached) distance matrix for the corresponding graph.
distanceMatrix() - method in class org.grinvin.GraphBundleView
Returns a (cached) distance matrix for the corresponding graph.
distanceMatrix(org.grinvin.GraphView) - static method in class org.grinvin.Graphs
Returns the distance matrix for the given graph.
doElimination() - method in class org.grinvin.util.GaussElimination
double[] transform(double[],double[]) - method in class org.grinvin.gred.transformations.AffineTransformation
double[] transform(double[],double[]) - method in class org.grinvin.gred.transformations.OrthogonalProjection
DROP_HANDLER - static field in class org.grinvin.list.FactoryDropHandler
The unique shared object of this type.
DROP_HANDLER - static field in class org.grinvin.list.GraphListElementDropHandler
The unique shared object of this type.
DROP_HANDLER - static field in class org.grinvin.graphbrowser.InvariantDropHandler
The unique shared object of this type.
DROP_HANDLER - static field in class org.grinvin.graphbrowser.InvariantFactoryDropHandler
The unique shared object of this type.
DropList - class org.grinvin.gui.DropList
Extension to JList which enables dropping at positions between list elements and indicates the drop position by means of a horizontal cursor.
DropList(ListModel) - constructor for class org.grinvin.gui.DropList
Construct a list of this type for a given data model.

E

e - field in class org.grinvin.util.Tridiagonal
Subdiagonal elements of this matrix.
eccentricityList() - method in class org.grinvin.DefaultGraphBundle
Returns a (cached) eccentricity list for the corresponding graph.
eccentricityList() - method in class org.grinvin.GraphBundleView
Returns a (cached) eccentricity list for the corresponding graph.
eccentricityList(org.grinvin.GraphView) - static method in class org.grinvin.Graphs
Returns the list with eccentricities for the given graph.
Edge - class org.grinvin.Edge
Represents a single (possibly directed) edge in a graph.
edgeAdded(org.grinvin.Edge) - method in class org.grinvin.GraphListener
Called after an edge was added to the graph.
edgeAdded(org.grinvin.Edge) - method in class org.grinvin.gred.GraphPanel
Called after an edge was added to the graph.
edgeAdded(org.grinvin.Edge) - method in class org.grinvin.list.GraphViewPanel
edgeChanged(org.grinvin.Edge) - method in class org.grinvin.GraphListener
Called when the annotation of an edge changes.
edgeChanged(org.grinvin.Edge) - method in class org.grinvin.gred.GraphPanel
Called when the annotation of an edge changes.
edgeChanged(org.grinvin.Edge) - method in class org.grinvin.list.GraphViewPanel
EdgeInducedGraph - class org.grinvin.gred.commands.EdgeInducedGraph
Action command which replaces the graph with the graph induced by the selected edges.
EdgeInducedGraph(CommandManager,String) - constructor for class org.grinvin.gred.commands.EdgeInducedGraph
Default constructor
edgeInducedSubGraph() - method in class org.grinvin.gred.MutableGraphPanel
Replaces the current graph with the graph induced by the selected edges.
Iterator over all edges of this graph.
edgeIterator() - method in class org.grinvin.DefaultGraph
Iterator over all edges of this graph.
EdgeIterator() - constructor for class org.grinvin.DefaultGraph.EdgeIterator
edgeIterator() - method in class org.grinvin.GraphView
Iterator over all edges of this graph.
edgeRemoved(org.grinvin.Edge) - method in class org.grinvin.GraphListener
Called when an edge was removed from the graph.
edgeRemoved(org.grinvin.Edge) - method in class org.grinvin.gred.GraphPanel
Called when an edge was removed from the graph.
edgeRemoved(org.grinvin.Edge) - method in class org.grinvin.list.GraphViewPanel
edgeRestored(org.grinvin.Edge) - method in class org.grinvin.GraphListener
Called when an edge that was previously removed was restored to the graph.
edgeRestored(org.grinvin.Edge) - method in class org.grinvin.gred.GraphPanel
Called when an edge that was previously removed was restored to the graph.
edgeRestored(org.grinvin.Edge) - method in class org.grinvin.list.GraphViewPanel
edges - field in class org.grinvin.DefaultGraph
Collection of edges for this graph.
edges() - method in class org.grinvin.DefaultGraph
Set of edges of this graph.
edges() - method in class org.grinvin.GraphView
Set of edges of this graph.
EdgesOnlyIcon - class org.grinvin.gui.icons.EdgesOnlyIcon
Creates an icon for the first embedding of a graph, but draws only the edges.
EdgesOnlyIcon(org.grinvin.EmbeddingView,int) - constructor for class org.grinvin.gui.icons.EdgesOnlyIcon
Create a graph icon for the given embedded graph.
EdgesOnlyIcon(org.grinvin.GraphBundleView,int) - constructor for class org.grinvin.gui.icons.EdgesOnlyIcon
Create a graph icon based on the first embedding stored in the given graph bundle.
EdgesOnlyIconFactory - class org.grinvin.gui.icons.EdgesOnlyIconFactory
Graph icon factory that uses EdgesOnlyIcon for graphs with a small number of vertices.
EdgesOnlyIconFactory() - constructor for class org.grinvin.gui.icons.EdgesOnlyIconFactory
Default constructor.
EditorWindowWrapper - class org.grinvin.workspace.EditorWindowWrapper
Wrapper for the EditorWindow
eigenValues() - method in class org.grinvin.DefaultGraphBundle
Returns a (cached) array of eigenvalues for the corresponding graph.
eigenValues() - method in class org.grinvin.GraphBundleView
Returns a (cached) array of eigenvalues for the corresponding graph.
eigenvalues() - method in class org.grinvin.util.Tridiagonal
Compute the eigenvalues of this symmetric tridiagonal matrix using the QL algorithm with implicit shifts.
eigenValues(org.grinvin.GraphView) - static method in class org.grinvin.Graphs
Returns the list of eigenvalues of the given graph.
Element - class org.grinvin.Element
Represents a graph element.
embeddedRectangle(Rectangle) - method in class org.grinvin.gred.GraphPanel
Convert the given rectangle in mouse coordinates to a rectangle in embedding coordinates.
Embedding getEmbedding() - method in class org.grinvin.gred.MutableGraphPanel
Returns the (mutable) embedding used by this panel.
embedding - field in class org.grinvin.gred.GraphPanel
embedding - field in class org.grinvin.list.GraphViewPanel
Embedding - interface org.grinvin.Embedding
A mutable version of EmbeddingView.
embeddingChanged() - method in class org.grinvin.EmbeddingListener
Called after a major change in the embedding.
embeddingChanged() - method in class org.grinvin.gred.GraphPanel
Called after a major change in the embedding.
embeddingChanged() - method in class org.grinvin.list.GraphViewPanel
EmbeddingListener - interface org.grinvin.EmbeddingListener
Listens to changes in an embedding.
EmbeddingLoader - class org.grinvin.io.EmbeddingLoader
Loads an embedding.xml-section from an input stream.
EmbeddingLoader(org.grinvin.Embedding) - constructor for class org.grinvin.io.EmbeddingLoader
Creates a loader for embeddings.
EmbeddingModel - interface org.grinvin.EmbeddingModel
An EmbeddingView which at the same time functions as a model in a model-view-controller triple.
Helper class for implementations of EmbeddingModel.
embeddings - field in class org.grinvin.DefaultGraphBundle
EmbeddingSaver - class org.grinvin.io.EmbeddingSaver
Saves a EmbeddingView as a embedding.xml-section onto an output stream.
EmbeddingSaver(org.grinvin.EmbeddingView) - constructor for class org.grinvin.io.EmbeddingSaver
Creates a new instance of this saver for the given embedding
EmbeddingView - interface org.grinvin.EmbeddingView
Interface representing a embedding of a graph into Euclidian n-space.
empty() - method in class org.grinvin.engine.apengine.StateStack<E>
emptyState() - method in class org.grinvin.engine.apengine.StateStack<E>
emptyState() - method in class org.grinvin.engine.apengine.TreeGenerator.TreeGeneratorStateStack
enableHelpKey(Component,String) - static method in class org.grinvin.help.HelpManager
Engine - interface org.grinvin.engine.Engine
Conjecturing engine.
EngineRunner - class org.grinvin.engine.EngineRunner
Object which can be used to run a given conjecturing engine in a background thread.
Construct a runner object for the given engine.
equals(Object) - method in class org.grinvin.invariants.Invariant
Two invariants are equal if and only if their identifiers are the same.
ExactTreeGenerator - class org.grinvin.engine.apengine.ExactTreeGenerator
Tree generator that generates trees with exactly the given amount of unary and binary operators.
ExactTreeGenerator(int,int) - constructor for class org.grinvin.engine.apengine.ExactTreeGenerator
Execute the given runnable
ExitCommand - class org.grinvin.grinvin.commands.ExitCommand
Command that exists the application but first saves the current workspace.
ExitCommand(CommandManager,String) - constructor for class org.grinvin.grinvin.commands.ExitCommand
ExportGraph - class org.grinvin.list.commands.ExportGraph
Command to export a graph.
ExportGraph(CommandManager,String) - constructor for class org.grinvin.list.commands.ExportGraph
ExportGraphImage - class org.grinvin.list.commands.ExportGraphImage
ExportGraphImage(CommandManager,String) - constructor for class org.grinvin.list.commands.ExportGraphImage
ExportGraphList - class org.grinvin.list.commands.ExportGraphList
Command to export a list of graphs.
ExportGraphList(CommandManager,String) - constructor for class org.grinvin.list.commands.ExportGraphList
extend() - method in class org.grinvin.engine.apengine.StateStack<E>
Extend the size of the stack.
extend() - method in class org.grinvin.engine.apengine.TreeGenerator
Try to extend the workingTree.
extendEdgeSelection() - method in class org.grinvin.gred.GraphContext
Extend the current selection by adding all end points of currently selected edges.
extendOn(int,int) - method in class org.grinvin.engine.apengine.BinaryTree
Add a new node on depth depth and position pos.
extends InvariantValue> classForType(String) - static method in class org.grinvin.invariants.InvariantTypes
Return the class for the given type.

F

Factory - interface org.grinvin.factories.Factory
An object which can be used to create other objects.
FactoryDropHandler - class org.grinvin.list.FactoryDropHandler
Allows a factory to be dropped onto a component.
FactoryException - class org.grinvin.factories.FactoryException
Indicates that something went wrong in the factory.
FactoryException(String) - constructor for class org.grinvin.factories.FactoryException
Constructs an instance of FactoryException with the specified detail message.
FactoryException(String,Throwable) - constructor for class org.grinvin.factories.FactoryException
Constructs an instance of FactoryException with the specified detail message and cause
FactoryList - class org.grinvin.list.FactoryList
Cell list component with entries of type GraphFactory.
FactoryList(TypedListModel) - constructor for class org.grinvin.list.FactoryList
FactoryListCellRenderer() - constructor for class org.grinvin.list.FactoryList.FactoryListCellRenderer
Create a graph list cell renderer that delegates to the given graph renderer.
Provides dynamic map ID assignment for the list of graph factories.
Creates a new instance of FactoryListHelpManager
FactoryManager - class org.grinvin.factories.FactoryManager
Helper class to handle configuration of Factory objects.
Indicates that a factory was called to create a graph when its parameters were improperly initialized.
FactoryParameterException(String) - constructor for class org.grinvin.factories.FactoryParameterException
Constructs an instance of FactoryParameterException with the specified detail message.
FactoryParameterException(String,Throwable) - constructor for class org.grinvin.factories.FactoryParameterException
Constructs an instance of FactoryParameterException with the specified detail message and cause
fillGraphBundle(org.grinvin.GraphBundle) - method in class org.grinvin.gred.GraphPanel
Copies the current Graph to the given GraphBundle.
finalizeEmbeddingChange(String) - method in class org.grinvin.gred.MutableGraphPanel
Finalize a change in embedding.
This method is called after an edge has been removed by the method remove(Edge) or by DefaultGraph.EdgeIterator.remove().
This method is called after a vertex has been removed by the method remove(Vertex) or by DefaultGraph.VertexIterator.remove().
findClass(String) - method in class org.grinvin.util.LocalClassLoader
findResource(String) - method in class org.grinvin.util.LocalClassLoader
Notify all listeners of the fact that coordinates of a vertex were changed.
fireDimensionChanged(int) - method in class org.grinvin.EmbeddingModelSupport
Notify all listeners of the fact that the dimension of the embedding was changed.
Notify all listeners of the fact that an edge was added to this graph.
Notify all listeners of the fact that edge information was changed.
Notify all listeners of the fact that an edge was removed from this graph.
Notify all listeners of the fact that an edge was restored to this graph.
fireEmbeddingChanged() - method in class org.grinvin.EmbeddingModelSupport
Notify all listeners of a bulk change to this embedding.
fireGraphBundleChanged() - method in class org.grinvin.DefaultGraphBundle
fireGraphChanged() - method in class org.grinvin.list.GraphListElement
fireGraphChanged() - method in class org.grinvin.GraphModelSupport
Notify all listeners of a bulk change to this graph.
fireGraphListElementChanged() - method in class org.grinvin.list.GraphPropertiesTableModel
fireGraphListNameChanged() - method in class org.grinvin.list.DefaultGraphListModel
fireGraphListNameChanged() - method in class org.grinvin.graphbrowser.GraphBrowserWindow
fireNameChanged() - method in class org.grinvin.list.GraphListElement
fireStateChanged() - method in class org.grinvin.engine.EngineRunner
Notify every listener of a change in state.
fireTransformationChanged() - method in class org.grinvin.gred.transformations.TransformationSupport
Notify all listeners of a change to this transformation.
fireURIChanged() - method in class org.grinvin.list.GraphListElement
Notify all listeners of the fact that a vertex was added to this graph.
Notify all listeners of the fact that vertex information was changed.
Notify all listeners of the fact that a vertex was removed from this graph.
Notify all listeners of the fact that a vertex was restored to this graph.
firstfreepos - field in class org.grinvin.engine.apengine.BinaryTree
fromElement(Element) - method in class org.grinvin.util.InternationalizedProperties
Load properties from the given JDOM-element and adds them to the list.
fromElement(Element) - static method in class org.grinvin.invariants.InvariantValue
Convert a JDOM-element to an invariant value of the correct class.
fromElement(Element) - method in class org.grinvin.params.ParameterInfo
Load parameter information from a JDOM element.
fromElement(Element) - method in class org.grinvin.params.ParameterList
Add parameters to the end of this list, obtained from descriptions in the given JDOM element.
fromText(String) - method in class org.grinvin.params.ParameterEditor
Convert the given string to a parameter value.

G

GaussElimination - class org.grinvin.util.GaussElimination
GaussElimination(int[][]) - constructor for class org.grinvin.util.GaussElimination
Creates a new instance of GaussElimination
getAllIDs() - method in class org.grinvin.help.GraphFactoryMap
getAllIDs() - method in class org.grinvin.help.InvariantMap
getAnchorElement() - method in class org.grinvin.gred.GraphPanel
Return the 'anchor' element.
getAnnotation() - method in class org.grinvin.Element
Annotation for this element.
getBackgroundColor() - method in class org.grinvin.help.InlineGraphViewer
Returns the background Color
getBackgroundIcon(int) - method in class org.grinvin.gui.icons.AnnotatedIconFactory
Return the background icon for the large graph icon.
getBackgroundIcon(int) - method in class org.grinvin.gui.icons.ChemicalIconFactory
Return the background icon for the large graph icon.
getBackgroundIcon(int) - method in class org.grinvin.gui.icons.DefaultGraphIconFactory
Return the background icon for the large graph icon.
getBackgroundIcon(int) - method in class org.grinvin.gui.icons.EdgesOnlyIconFactory
Return the background icon for the large graph icon.
getBinaryCount() - method in class org.grinvin.engine.apengine.BinaryTree
Return the current number of binary operators.
getBuild() - method in class org.grinvin.about.VersionInfo
Date string for the build.
getBundle() - method in class org.grinvin.list.GraphListElement
Return the current GraphBundle, or null if the bundle does not exist.
getButtonIcon() - method in class org.grinvin.gred.guides.AbstractGuides
Return an icon for a button representing this kind of guide.
getButtonIcon() - method in class org.grinvin.gred.Guides
Return a small icon representing this type of graph.
getButtonIcon() - method in class org.grinvin.gred.guides.NullGuides
Return a small icon representing this type of graph.
Return the cached value of the graph for the given invariant, if available.
Return the cached value of the graph for the given invariant, if available.
getCaption() - method in class org.grinvin.help.InlineGraphViewer
getCaption() - method in class org.grinvin.params.ParameterInfo
Return the display name of this parameter.
getChildren() - method in class org.grinvin.invariants.Invariant
Returns null.
getChildren() - method in class org.grinvin.invariants.InvariantFactory
Always should return null.
getChildren() - method in class org.grinvin.invariants.InvariantGroup
getChildren() - method in class org.grinvin.invariants.InvariantNode
Return the list of children of this node.
getClosestID(URL) - method in class org.grinvin.help.GraphFactoryMap
getClosestID(URL) - method in class org.grinvin.help.InvariantMap
getColumnClass(int) - method in class org.grinvin.list.GraphInvariantTableModel
getColumnClass(int) - method in class org.grinvin.list.GraphPropertiesTableModel
getColumnClass(int) - method in class org.grinvin.about.VersionTableModel
getColumnCount() - method in class org.grinvin.list.GraphInvariantTableModel
getColumnCount() - method in class org.grinvin.list.GraphPropertiesTableModel
Has a fixed number of columns.
getColumnCount() - method in class org.grinvin.about.VersionTableModel
getColumnName(int) - method in class org.grinvin.list.GraphInvariantTableModel
getColumnName(int) - method in class org.grinvin.list.GraphPropertiesTableModel
Column names are null.
getColumnName(int) - method in class org.grinvin.about.VersionTableModel
getCommandManager() - method in class org.grinvin.gred.GraphEditor
Return the command manager of this editor window.
getComputerVersion() - method in class org.grinvin.invariants.InvariantValue
getContext() - method in class org.grinvin.gred.GraphPanel
Return the graph context associated with this panel.
Return the coordinates of the given vertex.
Return the coordinates of the given vertex.
getCoordinates(org.grinvin.Vertex) - method in class org.grinvin.gred.TransformedEmbedding
Return the coordinates of the given vertex.
getCount() - method in class org.grinvin.invariants.InvariantExecutor
getCount() - method in class org.grinvin.params.ParameterList
Return the total number of parameters.
getCurrentComponent() - method in class org.grinvin.graphbrowser.ConjecturingWindow
getCurrentComponent() - method in class org.grinvin.graphbrowser.GraphBrowserWindow
getCurrentHelpPage() - static method in class org.grinvin.help.HelpManager
returns the id of the current help page, or if no id exists the url of the current page.
getCurrentView() - static method in class org.grinvin.help.HelpManager
delegates to HelpBroker
getCursorIndex() - method in class org.grinvin.gui.DropList
Return the position at which the cursor is drawn.
getDataAsTree() - method in class org.grinvin.help.GraphFactoryIndexView
getDataAsTree() - method in class org.grinvin.help.GraphFactoryTOCView
getDataAsTree() - method in class org.grinvin.help.InvariantIndexView
getDataAsTree() - method in class org.grinvin.help.InvariantTOCView
getDefinitionPath(String) - method in class org.grinvin.invariants.InvariantManager
Return the path of the definition file for the invariant or the factory with the given ID.
getDescription() - method in class org.grinvin.factories.graphs.AbstractGraphFactory
getDescription() - method in class org.grinvin.DefaultGraphBundle
Return a textual description of this graph.
getDescription() - method in class org.grinvin.GraphBundleView
Return a textual description of this graph.
getDescription() - method in class org.grinvin.factories.graphs.GraphFactory
Return the internationalized description of the factory.
getDescription() - method in class org.grinvin.params.ParameterInfo
Return a textual description of this parameter.
getDimension() - method in class org.grinvin.gred.transformations.AbstractTransformation
Return the dimension of the source space.
getDimension() - method in class org.grinvin.DefaultEmbedding
Returns the dimension of the Euclidian space into which this graph is embedded.
getDimension() - method in class org.grinvin.EmbeddingView
Returns the dimension of the Euclidian space into which this graph is embedded.
getDimension() - method in class org.grinvin.gred.transformations.OrthogonalProjection
Return the dimension of the source space.
getDimension() - method in class org.grinvin.gred.Transformation
Return the dimension of the source space.
getDimension() - method in class org.grinvin.gred.TransformedEmbedding
Returns the dimension of the Euclidian space into which this graph is embedded.
getDirectory() - method in class org.grinvin.workspace.WorkspaceException
The workspace directory for which the exception occurred.
getDisplaySize() - method in class org.grinvin.help.InlineGraphViewer
getDividerLocation() - method in class org.grinvin.graphbrowser.ConjecturingWindow
getDividerLocation() - method in class org.grinvin.graphbrowser.GraphPropertiesComponent
getDropClass(JComponent) - method in class org.grinvin.list.FactoryDropHandler
getDropClass(JComponent) - method in class org.grinvin.list.GraphListElementDropHandler
getDropClass(JComponent) - method in class org.grinvin.graphbrowser.InvariantDropHandler
getDropClass(JComponent) - method in class org.grinvin.graphbrowser.InvariantFactoryDropHandler
getDropLocation() - method in class org.grinvin.gred.GraphPanel
Return the last drag-and-drop location where this component is a target.
Return an edge joining the given vertices, or null when no such edge exists.
Return an edge joining the given vertices, or null when no such edge exists.
getEditor() - method in class org.grinvin.params.ParameterInfo
Return an editor for this parameter.
getEditorComponent() - method in class org.grinvin.params.ParameterEditor
Return a stand alone component which can be used to edit a parameter of the type which is implicitely associated with this editor.
getElement() - method in class org.grinvin.graphbrowser.GraphComponent
getElementName() - method in class org.grinvin.workspace.ConjecturingWindowWrapper
Return the XML-element name by which this type of wrapper is identified within its parent.
getElementName() - method in class org.grinvin.workspace.EditorWindowWrapper
getElementName() - method in class org.grinvin.workspace.GraphBrowserWindowWrapper
Return the XML-element name by which this type of wrapper is identified within its parent.
getElementName() - method in class org.grinvin.workspace.GrinvinWindowWrapper
Return the XML-element name by which this type of wrapper is identified within its parent.
getElementName() - method in class org.grinvin.workspace.LoggingWindowWrapper
Return the XML-element name by which this type of wrapper is identified within its parent.
getElementName() - method in class org.grinvin.workspace.Wrapper<C>
Return the XML-element name by which this type of wrapper is identified within its parent.
getEmbedding() - method in class org.grinvin.DefaultGraphBundle
Return the default embedding for this graph, or null if no such embedding is stored in the bundle.
getEmbedding() - method in class org.grinvin.GraphBundleView
Return the default embedding for this graph, or null if no such embedding is stored in the bundle.
getEmbedding() - method in class org.grinvin.gred.GraphBundleWithModels
getEmbedding() - method in class org.grinvin.gred.GraphEditor
Get the embedding for the current graph in the editor.
getEmbedding() - method in class org.grinvin.gred.GraphPanel
Return the embedding used by this panel.
getEmbedding(int) - method in class org.grinvin.DefaultGraphBundle
Return the embedding with given index.
getEmbedding(int) - method in class org.grinvin.GraphBundleView
Return the embedding with given index.
getEmbedding(int) - method in class org.grinvin.gred.GraphBundleWithModels
getEmbeddingCount() - method in class org.grinvin.DefaultGraphBundle
Number of embeddings stored in this bundle.
getEmbeddingCount() - method in class org.grinvin.GraphBundleView
Number of embeddings stored in this bundle.
getEngine() - method in class org.grinvin.engine.EngineRunner
Return the associated engine.
getEngineRunner() - method in class org.grinvin.graphbrowser.ConjecturingWindow
getFileExistsMessage(File) - method in class org.grinvin.list.commands.ExportGraph
getFileExistsMessage(File) - method in class org.grinvin.list.commands.ExportGraphImage
getFileExistsMessage(File) - method in class org.grinvin.list.commands.ExportGraphList
getFileExistsMessage(File) - method in class org.grinvin.grinvin.commands.SaveWorkspaceAsCommand
getFILTER() - method in class org.grinvin.list.commands.ExportGraph
getFirstEndpoint() - method in class org.grinvin.Edge
The first endpoint vertex of this edge.
getGraph() - method in class org.grinvin.DefaultGraphBundle
Abstract graph representation for this graph bundle.
getGraph() - method in class org.grinvin.GraphBundle
Abstract graph representation for this graph bundle.
getGraph() - method in class org.grinvin.GraphBundleView
Abstract graph representation for this graph bundle.
getGraph() - method in class org.grinvin.gred.GraphBundleWithModels
getGraph() - method in class org.grinvin.gred.GraphEditor
Get the current graph in the editor.
getGraph() - method in class org.grinvin.gred.GraphPanel
Return the graph displayed by this panel.
getGraph() - method in class org.grinvin.help.InlineGraphViewer
Returns the URI of the displayed graph as a string.
getGraphFactory(String) - method in class org.grinvin.factories.graphs.GraphFactoryManager
Return the factory with the given id.
getGraphFactoryNameForID(String) - method in class org.grinvin.help.GraphFactoryMap
getGraphIconFactory() - method in class org.grinvin.DefaultGraphBundle
Return the preferred GraphIconFactory to be used when displaying this graph as an icon.
getGraphIconFactory() - method in class org.grinvin.GraphBundleView
Return the preferred GraphIconFactory to be used when displaying this graph as an icon.
getGraphInvariantListModel() - method in class org.grinvin.graphbrowser.GraphBrowserMultiPanel
getGraphInvariantListModel() - method in class org.grinvin.list.GraphInvariantTableModel
getGraphList() - method in class org.grinvin.graphbrowser.AnnotatedGraphCellListComponent
getGraphList() - method in class org.grinvin.graphbrowser.AnnotatedGraphListComponent
getGraphList() - method in class org.grinvin.graphbrowser.AnnotatedScrollableGraphTableComponent
Return the graph list model which is used by this component.
getGraphList() - method in class org.grinvin.graphbrowser.ConjecturingWindow
Return the graph list model which is used by this component.
getGraphList() - method in class org.grinvin.list.DefaultGraphInvariantList
getGraphList() - method in class org.grinvin.list.DefaultGraphInvariantListModel
getGraphList() - method in class org.grinvin.graphbrowser.GraphBrowserMultiPanel
Return the graph list model for this window.
getGraphList() - method in class org.grinvin.graphbrowser.GraphBrowserWindow
Return the graph list model which is used by this component.
getGraphList() - method in class org.grinvin.graphbrowser.GraphCellListComponent
Return the graph list model which is used by this component.
getGraphList() - method in class org.grinvin.gred.GraphEditor
Return the graph list model which is used by this component.
getGraphList() - method in class org.grinvin.list.GraphInvariantList
getGraphList() - method in class org.grinvin.graphbrowser.GraphListComponent
getGraphList() - method in class org.grinvin.graphbrowser.GraphTableComponent
Return the graph list model which is used by this component.
getGraphList() - method in class org.grinvin.graphbrowser.HasGraphList
Return the graph list model which is used by this component.
getGraphList() - method in class org.grinvin.graphbrowser.RowHeaderView
getGraphList() - method in class org.grinvin.graphbrowser.ScrollableGraphTableComponent
getGraphListDividerLocation() - method in class org.grinvin.graphbrowser.ConjecturingWindow
getGraphListDividerLocation() - method in class org.grinvin.graphbrowser.GraphBrowserMultiPanel
getGraphListDividerLocation() - method in class org.grinvin.graphbrowser.GraphBrowserWindow
getGraphListElement() - method in class org.grinvin.list.GraphPropertiesTableModel
getGraphListElement() - method in class org.grinvin.help.GraphViewer
getGraphListElement(URI) - method in class org.grinvin.list.GraphListElementManager
Convenience method for retrieving a graph list element with given URI.
getGraphListElement(URI,File) - method in class org.grinvin.list.GraphListElementManager
Get the GraphListElement for the given URI.
getGraphListModel() - method in class org.grinvin.list.DefaultGraphInvariantListModel
getGraphListModel() - method in class org.grinvin.list.GraphInvariantListModel
getGraphListsListSelectionModel() - method in class org.grinvin.grinvin.GrinvinWindow
getGraphListsModel() - method in class org.grinvin.grinvin.GrinvinWindow
getGraphPropertiesComponentDividerLocation() - method in class org.grinvin.graphbrowser.ConjecturingWindow
getGraphPropertiesComponentDividerLocation() - method in class org.grinvin.graphbrowser.GraphBrowserMultiPanel
getGraphPropertiesComponentDividerLocation() - method in class org.grinvin.graphbrowser.GraphBrowserWindow
getGraphPropertiesComponentDividerLocation() - method in class org.grinvin.graphbrowser.GraphListPanel
getGuides() - method in class org.grinvin.gred.GraphPanel
Return the current guides for this panel.
getGuidesTool() - method in class org.grinvin.gred.GraphEditor
Get the guidestool for this editor.
getHandler() - static method in class org.grinvin.gred.mouse.AddEdges
Return the singleton object of this type.
getHandler() - static method in class org.grinvin.gred.mouse.AddVertices
Return the singleton object of this type.
getHandler() - static method in class org.grinvin.gred.mouse.MoveSelection
Return the singleton object of this type.
getHandler() - static method in class org.grinvin.gred.mouse.Rotate3D
Return the singleton object of this type.
getHandler() - static method in class org.grinvin.gred.mouse.SelectElements
Return the singleton object of this type.
getHandler() - static method in class org.grinvin.gred.mouse.SelectRectangle
Return the singleton object of this type.
getHandler() - static method in class org.grinvin.gred.mouse.SplitEdges
Return the singleton object of this type.
getHelpIDString(Object,AWTEvent) - method in class org.grinvin.help.FactoryListHelpManager
getHelpSet() - static method in class org.grinvin.help.HelpManager
getHelpSet(Object,AWTEvent) - method in class org.grinvin.help.FactoryListHelpManager
getHelpSet(Object,AWTEvent) - method in class org.grinvin.help.InvariantListHelpManager
getHelpSet(Object,AWTEvent) - method in class org.grinvin.help.InvariantTreeHelpManager
getIcon() - method in class org.grinvin.factories.graphs.AbstractGraphFactory
getIcon() - method in class org.grinvin.factories.VisualFactory
Retrieve the graph icon for the given graph bundle and size
Retrieve the graph icon for the given graph bundle and size
getIcon(String,int) - method in class org.grinvin.gui.icons.SvgIconManager
Returns an imageicon with the given size for the svg file given.
getIcon(String,int,int) - method in class org.grinvin.gui.icons.SvgIconManager
getIconHeight() - method in class org.grinvin.gred.guides.AbstractGuides.ButtonIcon
getIconHeight() - method in class org.grinvin.gui.icons.AbstractSelectUnselectIcon
getIconHeight() - method in class org.grinvin.gui.icons.ChemicalIcon
getIconHeight() - method in class org.grinvin.gui.icons.DefaultSelectUnselectIcon
getIconHeight() - method in class org.grinvin.gui.icons.EdgesOnlyIcon
getIconHeight() - method in class org.grinvin.gui.icons.LargeGraphIcon
getIconHeight() - method in class org.grinvin.gui.icons.MissingGraphIcon
getIconHeight() - method in class org.grinvin.gui.icons.SmallGraphIcon
getIconPath() - method in class org.grinvin.factories.graphs.AbstractGraphFactory
getIconPath() - method in class org.grinvin.factories.graphs.GraphFactory
Return the URI of the factory icon when the factory is not selected.
getIconWidth() - method in class org.grinvin.gred.guides.AbstractGuides.ButtonIcon
getIconWidth() - method in class org.grinvin.gui.icons.AbstractSelectUnselectIcon
getIconWidth() - method in class org.grinvin.gui.icons.ChemicalIcon
getIconWidth() - method in class org.grinvin.gui.icons.DefaultSelectUnselectIcon
getIconWidth() - method in class org.grinvin.gui.icons.EdgesOnlyIcon
getIconWidth() - method in class org.grinvin.gui.icons.LargeGraphIcon
getIconWidth() - method in class org.grinvin.gui.icons.MissingGraphIcon
getIconWidth() - method in class org.grinvin.gui.icons.SmallGraphIcon
getId() - method in class org.grinvin.factories.graphs.AbstractGraphFactory
The id of a graph factory is usually the same as its fully qualified class name.
getId() - method in class org.grinvin.invariants.computers.AbstractInvariantComputer
The id of an invariant computer is usually the same as its fully qualified class name.
getId() - method in class org.grinvin.factories.graphs.GraphFactory
Return the string that uniquely identifies this factory.
getId() - method in class org.grinvin.invariants.IllegalInvariantComputerException
The identifier of the invariant computer (factory) which caused the error.
getId() - method in class org.grinvin.invariants.Invariant
Universally unique identifier for this invariant.
getId() - method in class org.grinvin.invariants.InvariantComputer
Return the universally unique identifier for this object.
getId() - method in class org.grinvin.invariants.InvariantComputerFactory
Return the universally unique identifier for this object.
getId() - method in class org.grinvin.invariants.InvariantFactory
Return the generic identifier of this factory.
getId() - method in class org.grinvin.invariants.UnknownInvariantException
The identifier of the invariant which was unknown.
getIDFromURL(URL) - method in class org.grinvin.help.GraphFactoryMap
getIDFromURL(URL) - method in class org.grinvin.help.InvariantMap
getIds() - method in class org.grinvin.factories.graphs.GraphFactoryManager
Return the list of all ids, in the form of an Iterable.
getIds() - method in class org.grinvin.invariants.InvariantManager
Return a list of all ids for both factories and parameterless invariants.
getIDs(URL) - method in class org.grinvin.help.GraphFactoryMap
getIDs(URL) - method in class org.grinvin.help.InvariantMap
getImageAsStream(String,int,int) - method in class org.grinvin.gui.icons.SvgIconManager
getIndex() - method in class org.grinvin.Vertex
Return the current index of this vertex.
getInsertionPoint() - method in class org.grinvin.invariants.InvariantGroup
Return the insertion point identifier for this group, or null if the group does not serve as an insertion point.
getInsertionPoint(String) - method in class org.grinvin.list.InvariantTreeModel
Return the node that corresponds to the given named insertion point.
getInstance() - static method in class org.grinvin.gui.icons.AnnotatedIconFactory
Return the sole instance of this class.
getInstance() - static method in class org.grinvin.render.AnnotatedRenderer
Get the singleton instance of this renderer.
getInstance() - static method in class org.grinvin.gui.icons.ChemicalIconFactory
Return the sole instance of this class.
getInstance() - static method in class org.grinvin.gui.icons.DefaultGraphIconFactory
Return the sole instance of this class.
getInstance() - static method in class org.grinvin.render.DefaultRenderer
Get the singleton instance of this renderer.
getInstance() - static method in class org.grinvin.gui.icons.EdgesOnlyIconFactory
Return the sole instance of this class.
getInstance() - static method in class org.grinvin.factories.graphs.GraphFactoryManager
Retrieve the single (shared) instance of this class.
getInstance() - static method in class org.grinvin.help.GraphFactoryMap
getInstance() - static method in class org.grinvin.list.GraphListElementManager
Get the singleton instance of this class
getInstance() - static method in class org.grinvin.invariants.InvariantManager
Get the singleton instance of this class
getInstance() - static method in class org.grinvin.help.InvariantMap
getInstance() - static method in class org.grinvin.gui.icons.SvgIconManager
Return the sole instance of this class.
getInstance() - static method in class org.grinvin.about.VersionTableModel
Return the unique table model containing versioning information for all modules that are active during the current build.
getInstance() - static method in class org.grinvin.workspace.Workspace
Get the singleton instance of this class
getIntegerAt(int) - method in class org.grinvin.params.IntegerList
getInvariant() - method in class org.grinvin.invariants.InvariantValue
Return the invariant of which this is a value.
Get the requested invariant.
getInvariant(String) - method in class org.grinvin.invariants.InvariantManager
Return the invariant with the given identifier.
getInvariantComputerFactoryFor(String) - method in class org.grinvin.invariants.InvariantManager
Return the computer factory that corresponds to the given invariant factory.
Return the invariant computer which can be used to compute values for the given invariant or null when no computer exists
getInvariantFactory(String) - method in class org.grinvin.invariants.InvariantManager
Return the invariant factory with the given identifier.
Return the invariant which is computed by the given computer.
Return the invariant for the given factory.
getInvariantId() - method in class org.grinvin.invariants.InvariantComputer
Returns the identifier for the invariant computed by this object.
getInvariantId() - method in class org.grinvin.invariants.InvariantComputerFactory
Return the generic identifier of the (parametrized) invariant which is computed by this object.
getInvariantId() - method in class org.grinvin.invariants.InvariantFactory
Return the id of the invariant which will be created from this factory when using the current parameter values.
Get the requested invariant.
getInvariantList() - method in class org.grinvin.graphbrowser.AnnotatedInvariantListComponent
getInvariantList() - method in class org.grinvin.graphbrowser.ConjecturingWindow
Return the invariant list which is used by this component.
getInvariantList() - method in class org.grinvin.list.DefaultGraphInvariantList
getInvariantList() - method in class org.grinvin.list.DefaultGraphInvariantListModel
getInvariantList() - method in class org.grinvin.graphbrowser.GraphBrowserWindow
getInvariantList() - method in class org.grinvin.list.GraphInvariantList
getInvariantList() - method in class org.grinvin.graphbrowser.HasInvariantList
Return the invariant list which is used by this component.
getInvariantList() - method in class org.grinvin.graphbrowser.InvariantListComponent
getInvariantListModel() - method in class org.grinvin.list.DefaultGraphInvariantListModel
getInvariantListModel() - method in class org.grinvin.list.GraphInvariantListModel
Get the requested invariant.
getInvariants() - method in class org.grinvin.DefaultGraphBundle
Return the set of invariants currently registered with this bundle.
getInvariants() - method in class org.grinvin.GraphBundleView
Return the set of invariants currently registered with this bundle.
getInvariantTableDividerLocation() - method in class org.grinvin.graphbrowser.ConjecturingWindow
getInvariantTableDividerLocation() - method in class org.grinvin.graphbrowser.GraphBrowserMultiPanel
getInvariantTableDividerLocation() - method in class org.grinvin.graphbrowser.GraphBrowserWindow
Return the value of the graph for the given invariant.
Return the value of the graph for the given invariant.
getInvariantValues() - method in class org.grinvin.DefaultGraphBundle
Return the collection of cached values of the invariants of the graph.
getInvariantValues() - method in class org.grinvin.GraphBundleView
Return the collection of cached values of the invariants of the graph.
getLength() - method in class org.grinvin.params.IntegerList
Renders a graph list element as a combination of icon and graph name.
getListModel() - method in class org.grinvin.list.DefaultGraphListsModel
Return the list model for this window.
getListModel() - method in class org.grinvin.list.GraphListsModel
getListSequenceNumber() - method in class org.grinvin.list.DefaultGraphListsModel
Return the current sequence number, used for the name of a new list to be added to this window.
getListSequenceNumber() - method in class org.grinvin.list.GraphListsModel
getLocalClassLoader() - method in class org.grinvin.invariants.InvariantManager
Local class loader which is used to retrieve invariants and invariant computers.
getLocalClasspath() - method in class org.grinvin.util.LocalClassLoader
Return the local class path, i.e., the directories which are currently used to load classes from.
getLoggingWindow() - static method in class org.grinvin.logging.Logging
The main logging window of this application, or null when the logging handler was not yet initialized.
getLongName() - method in class org.grinvin.factories.graphs.AbstractGraphFactory
getLongName() - method in class org.grinvin.factories.graphs.GraphFactory
Return the internationalized name of the factory.
getMainInvariant() - method in class org.grinvin.engine.AbstractInequalityEngine
getMajorVersion() - method in class org.grinvin.workspace.DefaultWindowWrapper<W,extends,Window>
This format has version 1.0
getMajorVersion() - method in class org.grinvin.workspace.GraphBrowserWindowWrapper
Does not store a version.
getMajorVersion() - method in class org.grinvin.workspace.Wrapper<C>
Return the major version of the format used by this wrapper.
getMergeType() - method in class org.grinvin.help.GraphFactoryIndexView
getMergeType() - method in class org.grinvin.help.GraphFactoryTOCView
getMergeType() - method in class org.grinvin.help.InvariantIndexView
getMergeType() - method in class org.grinvin.help.InvariantTOCView
getMinorVersion() - method in class org.grinvin.workspace.DefaultWindowWrapper<W,extends,Window>
This format has version 1.0
getMinorVersion() - method in class org.grinvin.workspace.Wrapper<C>
Return the minor version of the format used by this wrapper.
getModCount() - method in class org.grinvin.DefaultGraph
Returns the modification count of this graph.
getModel() - method in class org.grinvin.list.GraphPropertiesWindow
getName() - method in class org.grinvin.factories.graphs.AbstractGraphFactory
getName() - method in class org.grinvin.DefaultGraphBundle
Return the name of this graph.
getName() - method in class org.grinvin.list.DefaultGraphInvariantList
getName() - method in class org.grinvin.list.DefaultGraphInvariantListModel
getName() - method in class org.grinvin.list.DefaultGraphList
getName() - method in class org.grinvin.list.DefaultGraphListModel
Get the name of this graph list.
getName() - method in class org.grinvin.graphbrowser.GraphBrowserWindow
getName() - method in class org.grinvin.GraphBundleView
Return the name of this graph.
getName() - method in class org.grinvin.factories.graphs.GraphFactory
Return the internationalized name of the factory.
getName() - method in class org.grinvin.list.GraphInvariantList
getName() - method in class org.grinvin.list.GraphListElement
Returns the name of this graph, i.e., the internationalized property with key graph.name.
getName() - method in class org.grinvin.list.HasName
Get the name of this object.
getName() - method in class org.grinvin.invariants.Invariant
Returns the localized name of the invariant.
getName() - method in class org.grinvin.invariants.InvariantFactory
Return the localized name for this parametrized invariant.
getName() - method in class org.grinvin.invariants.InvariantGroup
getName() - method in class org.grinvin.invariants.InvariantNode
Return a localized name for this node.
getName() - method in class org.grinvin.list.InvariantTreeModel
getName() - method in class org.grinvin.params.ParameterInfo
Return the name (or id) of this parameter which distinguishes it from other parameters in a given list.
getName() - method in class org.grinvin.about.VersionInfo
Name of the module.
getNewLabelText() - method in class org.grinvin.list.commands.GraphListRenamePanel
getNewLabelText() - method in class org.grinvin.list.commands.GraphRenamePanel
getNewLabelText() - method in class org.grinvin.list.commands.RenamePanel
getNewName() - method in class org.grinvin.list.commands.RenamePanel
getNodeCount() - method in class org.grinvin.engine.apengine.BinaryTree
Return the current number of nodes, this equals: binaryCount * 2 + unaryCount + 1.
getNumberOfEdges() - method in class org.grinvin.DefaultGraph
Returns the size, i.e.
getNumberOfEdges() - method in class org.grinvin.GraphView
Returns the size, i.e.
getNumberOfVertices() - method in class org.grinvin.DefaultGraph
Returns the order, i.e.
getNumberOfVertices() - method in class org.grinvin.GraphView
Returns the order, i.e.
getOldLabelText() - method in class org.grinvin.list.commands.GraphListRenamePanel
getOldLabelText() - method in class org.grinvin.list.commands.GraphRenamePanel
getOldLabelText() - method in class org.grinvin.list.commands.RenamePanel
getOldName() - method in class org.grinvin.list.commands.RenamePanel
getOsType() - method in class org.grinvin.preferences.GrinvinPreferences
getPanelTitle() - method in class org.grinvin.list.commands.GraphListRenamePanel
getPanelTitle() - method in class org.grinvin.list.commands.GraphRenamePanel
getPanelTitle() - method in class org.grinvin.list.commands.RenamePanel
getParameter(int) - method in class org.grinvin.params.ParameterList
Return information on the parameter with the given index.
getParameters() - method in class org.grinvin.factories.AbstractFactory
getParameters() - method in class org.grinvin.factories.Factory
Returns the list of parameters accepted by this factory.
getParametersAsString() - method in class org.grinvin.factories.AbstractFactory
Convert the current parameters to a 'query' string, which is usually used as a suffix of an identifier or URI for the object created by this factory.
getParameterValue() - method in class org.grinvin.params.ParameterComponent
Return the parameter value currently stored in the component.
getParameterValues() - method in class org.grinvin.factories.AbstractFactory
getParameterValues() - method in class org.grinvin.factories.Factory
Return the (current) parameter values.
getPeer() - method in class org.grinvin.DefaultEmbedding
Returns the peer graph for this embedding.
getPeer() - method in class org.grinvin.EmbeddingView
Returns the peer graph for this embedding.
getPeer() - method in class org.grinvin.gred.TransformedEmbedding
Returns the peer graph for this embedding.
getPriority() - method in class org.grinvin.invariants.AbstractInvariantRunnable
Get the priority of this InvariantComputer.
getProgramPath(String) - method in class org.grinvin.preferences.GrinvinPreferences
Return the path of an external program which is part of the grinvin distribution.
getProperties() - method in class org.grinvin.DefaultGraphBundle
Return the internationalized properties-object for this bundle.
getProperties() - method in class org.grinvin.GraphBundleView
Return the internationalized properties-object for this bundle.
getProperties() - method in class org.grinvin.params.ParameterInfo
Return the internationalized properties object for this parameter.
getProperty(String) - method in class org.grinvin.list.GraphListElement
Get the requested property.
getProperty(String) - method in class org.grinvin.util.InternationalizedProperties
Searches for a property with the specified key.
getProperty(String,Locale) - method in class org.grinvin.util.InternationalizedProperties
Searches for the property with the specified key in this property list, starting with the given locale.
Searches for the property with the specified key in this property list, starting with the given locale.
getProperty(String,String) - method in class org.grinvin.util.InternationalizedProperties
Searches for a property with the specified key.
getPropertyDescriptors() - method in class org.grinvin.help.InlineGraphViewerBeanInfo
getPropertyDescriptors() - method in class org.grinvin.help.LaTeXViewerBeanInfo
getRank() - method in class org.grinvin.util.GaussElimination
getRedoCaption() - method in class org.grinvin.gred.undoable.InternationalizedUndoableChange
getResourceBundle() - static method in class org.grinvin.help.HelpManager
getResult() - method in class org.grinvin.engine.EngineRunner
Return the latest result generated by the engine (may be null).
getRevision() - method in class org.grinvin.about.VersionInfo
Revision number (from subversion).
getRollOver() - method in class org.grinvin.gred.GraphContext
Get the current 'roll over' element.
getRowCount() - method in class org.grinvin.list.GraphInvariantTableModel
getRowCount() - method in class org.grinvin.list.GraphPropertiesTableModel
getRowCount() - method in class org.grinvin.about.VersionTableModel
getSavedEmbedding() - method in class org.grinvin.gred.MutableGraphPanel
Return the embedding saved by initiateEmbeddingChange().
getScrollableTracksViewportHeight() - method in class org.grinvin.graphbrowser.GraphTableComponent
getSecondEndpoint() - method in class org.grinvin.Edge
The second endpoint vertex of this edge.
getSelectedIconPath() - method in class org.grinvin.factories.graphs.AbstractGraphFactory
getSelectedIconPath() - method in class org.grinvin.factories.graphs.GraphFactory
Return the URI of the factory icon when the factory is selected.
getSelectedInvariant() - method in class org.grinvin.graphbrowser.ConjecturingWindow
getSelectedTab() - method in class org.grinvin.grinvin.GrinvinWindow
getSelectedValue() - method in class org.grinvin.graphbrowser.AnnotatedGraphCellListComponent
getSelectedValue() - method in class org.grinvin.graphbrowser.AnnotatedGraphListComponent
getSelectedValue() - method in class org.grinvin.graphbrowser.GraphTableComponent
Returns the first selected value, or null when the selection is empty.
getSelectedValue() - method in class org.grinvin.graphbrowser.HasSelectableGraphList
Returns the first selected value, or null when the selection is empty.
getSelectedValues() - method in class org.grinvin.graphbrowser.AnnotatedGraphCellListComponent
getSelectedValues() - method in class org.grinvin.graphbrowser.AnnotatedGraphListComponent
getSelectedValues() - method in class org.grinvin.graphbrowser.GraphTableComponent
Returns an array of graph list elements for the selected rows of the table.
getSelectedValues() - method in class org.grinvin.graphbrowser.HasSelectableGraphList
Returns the graph list elements that are currently selected.
getSelection(Collection) - method in class org.grinvin.gui.SelectionModel<T>
Add the current selection to the given collection.
getSelectionModel() - method in class org.grinvin.graphbrowser.GraphBrowserMultiPanel
Return the selection model for this window.
getSortedUsableInvariants() - method in class org.grinvin.engine.EngineRunner
getStandardInvariantNodes() - method in class org.grinvin.invariants.InvariantManager
Return the 'standard' list of invariant nodes (mostly groups) that come pre-installed with GrInvIn.
getStandardTree() - static method in class org.grinvin.list.InvariantTreeModel
Return the tree model for the standard invariants that come with GrInvIn.
getStatus() - method in class org.grinvin.engine.EngineRunner
getTipWidth() - method in class org.grinvin.gui.MultilineToolTip
getType() - method in class org.grinvin.invariants.Invariant
Returns the class to which all values of this invariant belong.
getType() - method in class org.grinvin.params.ParameterInfo
Return the type of this parameter.
getType() - method in class org.grinvin.invariants.UnknownInvariantTypeException
The identifier of the type which was unknown.
getType(URI) - static method in class org.grinvin.GraphURI
Return the type corresponding to the given URI.
getUnaryCount() - method in class org.grinvin.engine.apengine.BinaryTree
Return the current number of unary operators.
getUndoCaption() - method in class org.grinvin.gred.undoable.InternationalizedUndoableChange
getUndoManager() - method in class org.grinvin.gred.GraphPanel
Return the undo manager used by this panel.
getURI() - method in class org.grinvin.factories.graphs.AbstractGraphFactory
getURI() - method in class org.grinvin.list.DefaultGraphInvariantList
getURI() - method in class org.grinvin.list.DefaultGraphInvariantListModel
getURI() - method in class org.grinvin.list.DefaultGraphList
getURI() - method in class org.grinvin.list.DefaultGraphListModel
Get the uri.
getURI() - method in class org.grinvin.factories.graphs.GraphFactory
Return the URI of the graph which will be created from this factory when using the current parameter values.
getURI() - method in class org.grinvin.list.GraphInvariantList
getURI() - method in class org.grinvin.list.GraphList
Get the uri.
getURI() - method in class org.grinvin.list.GraphListElement
Get the uri.
getURLFromID(Map.ID) - method in class org.grinvin.help.GraphFactoryMap
getURLFromID(Map.ID) - method in class org.grinvin.help.InvariantMap
getUsableInvariants() - method in class org.grinvin.engine.EngineRunner
getUsableInvariantsCount() - method in class org.grinvin.graphbrowser.ConjecturingWindow
getValueAt(int,int) - method in class org.grinvin.list.GraphInvariantTableModel
getValueAt(int,int) - method in class org.grinvin.list.GraphPropertiesTableModel
The value in the first column is the invariant, the value in the second column is its value.
getValueAt(int,int) - method in class org.grinvin.about.VersionTableModel
getValues(Object[]) - method in class org.grinvin.params.ParameterPanel
Initialize the given array from the values stored in the various fields of the panel.
getVersion() - method in class org.grinvin.invariants.computers.AbstractInvariantComputer
This implementation returns the string 1.0.
getVersion() - method in class org.grinvin.invariants.InvariantComputer
Return the version of this computer.
getVersion() - method in class org.grinvin.invariants.InvariantComputerFactory
Return the version of this invariant computer factory.
getVersion() - method in class org.grinvin.about.VersionInfo
Version number.
getVertex(int) - method in class org.grinvin.DefaultGraph
Returns the vertex with the given index in the graph.
getVertex(int) - method in class org.grinvin.GraphView
Returns the vertex with the given index in the graph.
getVertexLimitFactor() - method in class org.grinvin.gui.icons.AnnotatedIconFactory
getVertexLimitFactor() - method in class org.grinvin.gui.icons.ChemicalIconFactory
Return the vertex limit factor used to determine whether a graph should be classified as 'small' or 'large'.
getVertexLimitFactor() - method in class org.grinvin.gui.icons.DefaultGraphIconFactory
Return the vertex limit factor used to determine whether a graph should be classified as 'small' or 'large'.
getVertexLimitFactor() - method in class org.grinvin.gui.icons.EdgesOnlyIconFactory
getVertexMap() - method in class org.grinvin.io.GraphSaver
Return the vertex map for this graph.
getWindow() - static method in class org.grinvin.help.HelpManager
getWindow(String) - method in class org.grinvin.grinvin.GrinvinWindow
Retrieve the application window with the given key.
gotGraph() - method in class org.grinvin.list.GraphListElement
Check if the bundle contains a graph.
graph - field in class org.grinvin.DefaultGraphBundle
Graph getGraph() - method in class org.grinvin.gred.MutableGraphPanel
Returns the (mutable) graph displayed by this panel.
graph - field in class org.grinvin.gred.GraphPanel
graph - field in class org.grinvin.list.GraphViewPanel
Graph - interface org.grinvin.Graph
A mutable version of GraphView.
Graph6Loader - class org.grinvin.io.Graph6Loader
Several static methods to load graph6 (.g6) files in GrInvIn
GraphBrowserMultiPanel - class org.grinvin.graphbrowser.GraphBrowserMultiPanel
Component that holds different views for a GraphInvariantListModel.
Creates a new instance of GraphBrowserMultiPanel
Common class to switch the view of a GraphTableWindow.
Construct an action command of this type.
GraphBrowserPanel - interface org.grinvin.graphbrowser.GraphBrowserPanel
GraphBrowserWindow create() - method in class org.grinvin.workspace.GraphBrowserWindowWrapper
Load the window, its graph list and its invariaht list.
GraphBrowserWindow - class org.grinvin.graphbrowser.GraphBrowserWindow
A window that displays the GraphList/GraphTableList
Creates a new instance of GraphBrowserWindow
Wrapper for the GraphBrowserWindow
GraphBundle - interface org.grinvin.GraphBundle
A mutable version of GraphBundleView.
Listens to changes in a GraphBundle.
GraphBundleLoader - class org.grinvin.io.GraphBundleLoader
Loads a GraphBundle from a zip file.
GraphBundleSaver - class org.grinvin.io.GraphBundleSaver
Saves a GraphBundleView onto an output stream.
GraphBundleView - interface org.grinvin.GraphBundleView
Presents a read-only view of a graph bundle.
Implementation of GraphBundle which uses a DefaultGraphModel to represent a graph and uses a DefaultEmbeddingModel to represent an embedding.
GraphCellListComponent - class org.grinvin.graphbrowser.GraphCellListComponent
Creates a new instance of GraphCellListComponent
GraphCellListPanel - class org.grinvin.graphbrowser.GraphCellListPanel
Panel that contains a GraphCellListComponent.
Creates a new instance of GraphCellListPanel
graphChanged() - method in class org.grinvin.GraphListener
Called when the graph was changed in a major way.
graphChanged() - method in class org.grinvin.gred.GraphPanel
Called when the graph was changed in a major way.
graphChanged() - method in class org.grinvin.list.GraphViewPanel
GraphComponent - class org.grinvin.graphbrowser.GraphComponent
Component that combines the graph icon with its name.
GraphComponent() - constructor for class org.grinvin.graphbrowser.GraphComponent
GraphComponent(org.grinvin.list.GraphListElement) - constructor for class org.grinvin.graphbrowser.GraphComponent
GraphContext - class org.grinvin.gred.GraphContext
Keeps track of the following extra information about graph elements:
  • Whether an element is currently selected.
  • Whether an element is currently highlighted.
  • What is the current 'roll over' element.

Other classes may be registered as observers for this class and will then be notified of any changes.

GraphContext() - constructor for class org.grinvin.gred.GraphContext
Default constructor
GraphEditor create() - method in class org.grinvin.workspace.EditorWindowWrapper
GraphEditor load(Element,File) - method in class org.grinvin.workspace.EditorWindowWrapper
Load the editor window, its graph list, the graph being edited and the guides tool configuration.
GraphEditor - class org.grinvin.gred.GraphEditor
Graph editor window.
GraphEditor(org.grinvin.list.GraphListModel) - constructor for class org.grinvin.gred.GraphEditor
Default constructor.
Create an editor that uses the given embedding model and context.
GraphEditor3D - class org.grinvin.gred.GraphEditor3D
Graph editor window for three-dimensional embeddings
Create an editor that uses the given embedding model and context.
GraphFactory - interface org.grinvin.factories.graphs.GraphFactory
An object that satisfies this interface can be used to create a graph and store it into a graph bundle.
Loads an overview of the graph factories and places them in a index tree that is mergeable with the GrInvIn help index tree.
GraphFactoryIndexView() - constructor for class org.grinvin.help.GraphFactoryIndexView
Creates a new instance of GraphFactoryIndexView
GraphFactoryManager - class org.grinvin.factories.graphs.GraphFactoryManager
Keeps track of all graph factories that are currently supported by the system.
GraphFactoryMap - class org.grinvin.help.GraphFactoryMap
Provides the mapping of the context-sensitive help ID of graphfactories and the URL for their help page.
GraphFactoryTOCView - class org.grinvin.help.GraphFactoryTOCView
Loads an overview of the available graph factories and places them in a TOC tree that is mergeable with the GrInvIn help TOC tree.
GraphFactoryTOCView() - constructor for class org.grinvin.help.GraphFactoryTOCView
Creates a new instance of GraphFactoryTOCView
GraphIcon - interface org.grinvin.gui.icons.GraphIcon
An icon which represents a graph.
graphIconFactory - field in class org.grinvin.DefaultGraphBundle
GraphIconFactory - interface org.grinvin.gui.icons.GraphIconFactory
An object of this class can return a GraphIcon for a given graph at a given size.
GraphInvariantList - interface org.grinvin.list.GraphInvariantList
Interface that combines GraphList and InvariantList objects.
TableModel to be used in GraphTableComponent.
GraphList - interface org.grinvin.list.GraphList
Interface to ease the use of graph lists.
Cell renderer for cell lists with elements of type GraphListElement.
GraphListCellRenderer() - constructor for class org.grinvin.list.GraphListCellRenderer
Create a graph list cell renderer that delegates to the given graph renderer.
GraphListComponent - class org.grinvin.graphbrowser.GraphListComponent
GraphListComponent(org.grinvin.list.GraphListModel) - constructor for class org.grinvin.graphbrowser.GraphListComponent
GraphListElement - class org.grinvin.list.GraphListElement
Represents the elements of a GraphList.
graphListElementChanged() - method in class org.grinvin.list.GraphPropertiesTable
Allows (multiple) graph elements to be dropped onto a component.
Interface that all elements that listen to GraphListElements should implement.
Manages the mapping between Graph URI's and the GraphListElement objects representing them.
Cell renderer for objects of type GraphListElement.
GraphListElementRenderer() - constructor for class org.grinvin.list.GraphListElementRenderer
Default constructor
GraphListener - interface org.grinvin.GraphListener
Listens to changes in a graph model.
GraphListLoader - class org.grinvin.io.GraphListLoader
Helper methods for loading lists of graphs and lists of invariants from disk.
GraphListModel - interface org.grinvin.list.GraphListModel
Interface that identifies graph list models.
Listener that also listents to the contents of the GraphListModel.
GraphListModelListener - interface org.grinvin.list.GraphListModelListener
Interface that all listeners of GraphListModel should implement.
GraphListPanel - class org.grinvin.graphbrowser.GraphListPanel
Panel that contains a GraphListComponent.
Default constructor
GraphListRename - class org.grinvin.list.commands.GraphListRename
GUI command which allows the user to rename the currently selected graph list.
GraphListRename(CommandManager,String) - constructor for class org.grinvin.list.commands.GraphListRename
Construct an action command of this type.
GraphListRenameOne - class org.grinvin.list.commands.GraphListRenameOne
GUI command which allows the user to rename the currently selected graph list.
GraphListRenameOne(CommandManager,String) - constructor for class org.grinvin.list.commands.GraphListRenameOne
Construct an action command of this type.
GraphListRenamePanel - class org.grinvin.list.commands.GraphListRenamePanel
Dialog panel for renaming a graph list.
GraphListRenderer - class org.grinvin.list.GraphListRenderer
Table cell renderer for objects of type GraphListElement.
GraphListRenderer(JTable) - constructor for class org.grinvin.list.GraphListRenderer
GraphListSaver - class org.grinvin.io.GraphListSaver
Helper methods for saving graph list elements, lists of graphs and lists of invariants to disk.
GraphListsComponent - class org.grinvin.list.GraphListsComponent
GraphListsComponent(TypedListModel) - constructor for class org.grinvin.list.GraphListsComponent
GraphListsModel - interface org.grinvin.list.GraphListsModel
Interface that identifies a graph lists model.
Table cell renderer for objects of type GraphListElement.
GraphListTableRenderer() - constructor for class org.grinvin.list.GraphListTableRenderer
Default constructor
GraphLoader - class org.grinvin.io.GraphLoader
Loads a graph.xml-section from an input stream.
GraphLoader(org.grinvin.Graph) - constructor for class org.grinvin.io.GraphLoader
Creates a graph loader.
GraphModel - interface org.grinvin.GraphModel
A GraphView which at the same time functions as a model in a model-view-controller triple.
Helper class for implementations of GraphModel.
GraphPanel - class org.grinvin.gred.GraphPanel
Panel which displays a given graph embedding and reacts to changes in both the embedding and the graph it represents.
Create a new graph panel with given peer.
GraphPanel3D - class org.grinvin.gred.GraphPanel3D
Graph panel which is backed by a 3-dimensional embedding and an OrthogonalProjection.
Default constructor.
GraphPanelCommand - class org.grinvin.gred.commands.GraphPanelCommand
Common super class of all action commands that work on a graph panel.
GraphPanelCommand(CommandManager,String) - constructor for class org.grinvin.gred.commands.GraphPanelCommand
Construct an action command of this type.
GraphProperties - class org.grinvin.list.commands.GraphProperties
GraphProperties(CommandManager,String) - constructor for class org.grinvin.list.commands.GraphProperties
Construct an action command of this type.
GraphPropertiesComponent - class org.grinvin.graphbrowser.GraphPropertiesComponent
Displays a graph element and its properties in a single panel.
GraphPropertiesComponent() - constructor for class org.grinvin.graphbrowser.GraphPropertiesComponent
Default constructor
Table to display a GraphPropertiesTableModel.
Creates a new instance of GraphPropertiesTable
Provides dynamic map ID assignment for the invariants in a GraphPropertiesTable.
Creates a new instance of GraphPropertiesTableHelpManager
Table model for the table of properties of a graph.
Create a model for the given graph list element and the given list of invariants.
Interface that all elements that listen to GraphPropertiesTableModel should implement.
Window that displays a drawing of the graph as well as its known invariants.
GraphRename - class org.grinvin.list.commands.GraphRename
GUI command which allows the user to rename the currently selected graph list element.
GraphRename(CommandManager,String) - constructor for class org.grinvin.list.commands.GraphRename
Construct an action command of this type.
GraphRenameOne - class org.grinvin.list.commands.GraphRenameOne
GUI command which allows the user to rename the currently selected graph list element.
GraphRenameOne(CommandManager,String) - constructor for class org.grinvin.list.commands.GraphRenameOne
Construct an action command of this type.
GraphRenamePanel - class org.grinvin.list.commands.GraphRenamePanel
Dialog panel for renaming a graph.
GraphRenamePanel() - constructor for class org.grinvin.list.commands.GraphRenamePanel
Construct a panel of this type.
Graphs - class org.grinvin.Graphs
Provides some basic helper methods for graphs.
GraphSaver - class org.grinvin.io.GraphSaver
Saves a GraphView as a graph.xml-section onto an output stream.
GraphSaver(org.grinvin.GraphView) - constructor for class org.grinvin.io.GraphSaver
Creates a new instance of this saver for the given abstract graph.
GraphTableComponent - class org.grinvin.graphbrowser.GraphTableComponent
Table component which displays a list of graphs as rows, invariants as columns and the corresponding values in the table cells.
Creates a new instance of GraphTableComponent
GraphTablePanel - class org.grinvin.graphbrowser.GraphTablePanel
Panel that contains a GraphTableComponent.
Creates a new instance of GraphTablePanel
Creates a new instance of GraphTableScrollPaneLayout
graphToMulticode(org.grinvin.GraphView) - method in class org.grinvin.invariants.computers.AbstractInvariantCComputer
Converts the graph to multicode-representation.
GraphURI - class org.grinvin.GraphURI
Utility class provides a method load(URI,GraphBundle) to load a graph that corresponds to an URI.
Indicates that a graph could not be instantiated from a URI.
GraphURIException(String) - constructor for class org.grinvin.GraphURIException
Constructs an instance of GraphURIException with the specified detail message.
GraphURIException(String,Throwable) - constructor for class org.grinvin.GraphURIException
Constructs an instance of GraphURIException with the specified detail message and cause
GraphURIType - class org.grinvin.GraphURIType
GraphView - interface org.grinvin.GraphView
Interface representing a read-only view of an abstract graph.
GraphViewer - class org.grinvin.help.GraphViewer
Component for displaying a graph in the InlineGraphViewer.
GraphViewer() - constructor for class org.grinvin.help.GraphViewer
GraphViewPanel - class org.grinvin.list.GraphViewPanel
Provides a view of the Graph.
Create a new graph panel with given peer.
GridLines - class org.grinvin.gred.guides.GridLines
Guides based on a square grid within the -1.0 - 1.0 rectangle.
GridLines(int,int) - constructor for class org.grinvin.gred.guides.GridLines
Create a new object of this type.
Grinvin - class org.grinvin.grinvin.Grinvin
GrinvinPreferences - class org.grinvin.preferences.GrinvinPreferences
Class to handle GrInvIn preferences management.
GrinvinPreferencesListener - interface org.grinvin.preferences.GrinvinPreferencesListener
All objects that need to be informed on changes in the preferences should implement this interface and register themselves with the GrinvinPreferences object.
GrinvinWindow create() - method in class org.grinvin.workspace.GrinvinWindowWrapper
Create all top level windows and add them to the menus of the main window.
GrinvinWindow load(Element,File) - method in class org.grinvin.workspace.GrinvinWindowWrapper
Load this window and all dependent windows.
GrinvinWindow - class org.grinvin.grinvin.GrinvinWindow
This class represents the GrInvIn main window.
GrinvinWindow() - constructor for class org.grinvin.grinvin.GrinvinWindow
Creates a new instance of GrinvinWindow
GrinvinWindowWrapper - class org.grinvin.workspace.GrinvinWindowWrapper
Wrapper for the main GrInvIn window.
GrinvinWindowWrapper() - constructor for class org.grinvin.workspace.GrinvinWindowWrapper
GUIDE_COLOR - static field in class org.grinvin.gred.guides.AbstractGuides
GUIDE_STROKE - static field in class org.grinvin.gred.guides.AbstractGuides
guides - field in class org.grinvin.gred.GraphPanel
Current Guides object for this panel.
guides - field in class org.grinvin.list.GraphViewPanel
Current Guides object for this panel.
Guides - interface org.grinvin.gred.Guides
A guide class can be associated to a GraphPanel to provide visible guides to preferred positions for vertices, and to allow a 'snap to guides' functionality.
GuidesTool - class org.grinvin.gred.guides.GuidesTool
Dialog window with buttons to change the guides for a given graph panel.
GuidesTool(JFrame,org.grinvin.gred.GraphPanel,ResourceBundle) - constructor for class org.grinvin.gred.guides.GuidesTool
Create a tool of this type which is connected to the given graph panel and owner.

H

handleCancel() - method in class org.grinvin.gred.commands.SpringEmbedder
Reverts to saved embedding.
handleDelayedPressed(MouseEvent) - method in class org.grinvin.gred.mouse.RollOverOverlay
handleDragged(MouseEvent) - method in class org.grinvin.gred.mouse.RollOverOverlay
handleError(JFileChooser,Window) - method in class org.grinvin.grinvin.commands.SaveWorkspaceAsCommand
handleExecute() - method in class org.grinvin.grinvin.commands.ActivateWindowCommand
handleExecute() - method in class org.grinvin.gred.commands.Clear
handleExecute() - method in class org.grinvin.gred.commands.ClearSelection
handleExecute() - method in class org.grinvin.graphbrowser.commands.CloseConjecturingWindow
handleExecute() - method in class org.grinvin.gred.commands.CloseEditor
handleExecute() - method in class org.grinvin.list.commands.CloseGraph
handleExecute() - method in class org.grinvin.graphbrowser.commands.CloseGraphBrowserWindow
handleExecute() - method in class org.grinvin.gred.commands.Closure
handleExecute() - method in class org.grinvin.gred.commands.Complement
handleExecute() - method in class org.grinvin.gred.commands.ConnectSelection
handleExecute() - method in class org.grinvin.gred.commands.DeleteSelectedGraphs
delete the current selected graphs in the snapshot list.
handleExecute() - method in class org.grinvin.gred.commands.DeleteSelection
handleExecute() - method in class org.grinvin.help.commands.DisplayHelpAfterTrackingCommand
handleExecute() - method in class org.grinvin.gred.commands.EdgeInducedGraph
handleExecute() - method in class org.grinvin.grinvin.commands.ExitCommand
handleExecute() - method in class org.grinvin.list.commands.GraphListRename
Ask the user to rename the currently selected graph list element.
handleExecute() - method in class org.grinvin.list.commands.GraphListRenameOne
Ask the user to rename the currently selected graph list element.
handleExecute() - method in class org.grinvin.list.commands.GraphProperties
handleExecute() - method in class org.grinvin.list.commands.GraphRename
Ask the user to rename the currently selected graph list element.
handleExecute() - method in class org.grinvin.list.commands.GraphRenameOne
Ask the user to rename the currently selected graph list element.
handleExecute() - method in class org.grinvin.gred.commands.InstallGuides
handleExecute() - method in class org.grinvin.help.commands.LaunchHelpCommand
handleExecute() - method in class org.grinvin.help.commands.LaunchWebsiteCommand
handleExecute() - method in class org.grinvin.gred.commands.LineGraph
handleExecute() - method in class org.grinvin.gred.commands.MergeSelection
handleExecute() - method in class org.grinvin.grinvin.commands.NewGraphListCommand
handleExecute() - method in class org.grinvin.grinvin.commands.NewWorkspaceCommand
handleExecute() - method in class org.grinvin.list.commands.RunConjecturing
handleExecute() - method in class org.grinvin.grinvin.commands.SaveWorkspaceCommand
handleExecute() - method in class org.grinvin.gred.commands.SelectAll
handleExecute() - method in class org.grinvin.gred.commands.SnapAll
handleExecute() - method in class org.grinvin.gred.commands.SnapSelection
handleExecute() - method in class org.grinvin.gred.commands.SnapshotCommand
takes a snapshot of the current graph in a panel and stores it into the given graph list.
handleExecute() - method in class org.grinvin.gred.commands.SplitSelection
handleExecute() - method in class org.grinvin.gred.commands.SpringEmbedder
Consolidates the changes.
handleExecute() - method in class org.grinvin.gred.commands.VertexInducedGraph
handleFirst() - method in class org.grinvin.gred.commands.SpringEmbedder
Copies original embedding and initializes internal datastructures.
handleRepeat() - method in class org.grinvin.gred.commands.SpringEmbedder
Performs a single adjustment of the coordinates.
handleSelection(boolean) - method in class org.grinvin.gred.commands.AutoSnap
Toggle the 'snap to guides' flag of the panel.
handleSelection(boolean) - method in class org.grinvin.list.commands.SetCellListView
handleSelection(boolean) - method in class org.grinvin.list.commands.SetListView
handleSelection(boolean) - method in class org.grinvin.list.commands.SetTableView
HasGraphList - interface org.grinvin.graphbrowser.HasGraphList
Common interface of all components (windows, panels, ...) that export a graph list model.
hashCode() - method in class org.grinvin.invariants.Invariant
The hash value of an invariant is the hash value of its identifier.
HasInvariantList - interface org.grinvin.graphbrowser.HasInvariantList
Common interface of all components (windows, panels, ...) that export an invariant list.
hasLeftChild(int) - method in class org.grinvin.engine.apengine.BinaryTree
Does the node have a left child?
hasMore() - method in class org.grinvin.engine.apengine.LabeledTreeGenerator
HasName - interface org.grinvin.list.HasName
Interface implemented by all objects (mostly lists) that support setName and getName.
hasNext() - method in class org.grinvin.DefaultGraph.EdgeIterator
hasNext() - method in class org.grinvin.DefaultGraph.VertexIterator
hasNext() - method in class org.grinvin.util.IteratorWithoutRemove<T>
hasRightChild(int) - method in class org.grinvin.engine.apengine.BinaryTree
Does the node have a right child?
HasSelectableGraphList - interface org.grinvin.graphbrowser.HasSelectableGraphList
Common interface of all components that allow a set of graph list elements to be selected.
HelpManager - class org.grinvin.help.HelpManager
HelpURIResolver - class org.grinvin.help.HelpURIResolver
Loads an xml-file containing the URLs for all the helpsubjects.
HelpURIResolver() - constructor for class org.grinvin.help.HelpURIResolver
Creates a new instance of HelpURIResolver

I

Indicates that an invariant computer or invariant factory computer could not be retreived or instantiated
Construct an exception of this type
Construct an exception of this type
ImportGraphBundle - class org.grinvin.list.commands.ImportGraphBundle
Command to import a (some) GraphBundle(s) and add it (them) to the current GraphList.
ImportGraphBundle(CommandManager,String) - constructor for class org.grinvin.list.commands.ImportGraphBundle
ImportGraphListCommand - class org.grinvin.grinvin.commands.ImportGraphListCommand
Command to import a graph list from a file.
ImportGraphListCommand(CommandManager,String) - constructor for class org.grinvin.grinvin.commands.ImportGraphListCommand
InequalityEngine - interface org.grinvin.engine.InequalityEngine
initiateEmbeddingChange() - method in class org.grinvin.gred.MutableGraphPanel
Initiate an upcoming change to an embedding.
Initialize name and description for this graph from the resource bundle.
InlineGraphViewer - class org.grinvin.help.InlineGraphViewer
Component for displaying a GraphViewer in a HTML page.
InlineGraphViewer() - constructor for class org.grinvin.help.InlineGraphViewer
Creates a new instance of InlineGraphViewer.
InlineGraphViewer(String,String,String,String) - constructor for class org.grinvin.help.InlineGraphViewer
This class provides information about getter/setter methods within InlineGraphViewer.
InlineGraphViewerBeanInfo() - constructor for class org.grinvin.help.InlineGraphViewerBeanInfo
Creates a new instance of InlineGraphViewerBeanInfo
InstallGuides - class org.grinvin.gred.commands.InstallGuides
Action command which installs a preconfigured Guides object
InstallGuides(CommandManager,String,org.grinvin.gred.Guides) - constructor for class org.grinvin.gred.commands.InstallGuides
Default constructor
installHandler(String) - static method in class org.grinvin.logging.Logging
Initializes the logging handler for this application if this was not already done before.
INSTANCE - static field in class org.grinvin.preferences.GrinvinPreferences
INSTANCE - static field in class org.grinvin.invariants.InvariantExecutor
int getDimension() - method in class org.grinvin.gred.transformations.AffineTransformation
IntegerList - class org.grinvin.params.IntegerList
List of integers
IntegerList() - constructor for class org.grinvin.params.IntegerList
IntegerList(int[]) - constructor for class org.grinvin.params.IntegerList
IntegerList(String) - constructor for class org.grinvin.params.IntegerList
IntegerValue - class org.grinvin.invariants.IntegerValue
Invariant type which allows integral values, positive and negative infinity and undefined values.
IntegerValue(int,org.grinvin.invariants.InvariantComputer) - constructor for class org.grinvin.invariants.IntegerValue
Create an object of this type with the given integral value.
Internationalized version of the standard Java java.util.Properties class.
InternationalizedProperties() - constructor for class org.grinvin.util.InternationalizedProperties
Default constructor.
Common superclass of all implementations of UndoableChange with internationalized captions.
InternationalizedUndoableChange(String) - constructor for class org.grinvin.gred.undoable.InternationalizedUndoableChange
Construct an undoable change of this type with captions taken from the resource bundle.
intervalAdded(ListDataEvent) - method in class org.grinvin.graphbrowser.AnnotatedGraphCellListComponent
intervalAdded(ListDataEvent) - method in class org.grinvin.graphbrowser.AnnotatedGraphListComponent
intervalAdded(ListDataEvent) - method in class org.grinvin.graphbrowser.AnnotatedInvariantListComponent
intervalAdded(ListDataEvent) - method in class org.grinvin.graphbrowser.AnnotatedScrollableGraphTableComponent
intervalAdded(ListDataEvent) - method in class org.grinvin.list.commands.RunConjecturing
intervalAdded(ListDataEvent) - method in class org.grinvin.grinvin.WindowGroup
intervalRemoved(ListDataEvent) - method in class org.grinvin.graphbrowser.AnnotatedGraphCellListComponent
intervalRemoved(ListDataEvent) - method in class org.grinvin.graphbrowser.AnnotatedGraphListComponent
intervalRemoved(ListDataEvent) - method in class org.grinvin.graphbrowser.AnnotatedInvariantListComponent
intervalRemoved(ListDataEvent) - method in class org.grinvin.list.commands.RunConjecturing
intervalRemoved(ListDataEvent) - method in class org.grinvin.grinvin.WindowGroup
Operators.Invariant - class org.grinvin.engine.apengine.Operators.Invariant
Invariant - class org.grinvin.invariants.Invariant
Represents the mathematical concept of graph invariant, like 'diameter', 'average degree', 'largest eigenvalue'...
Invariant(int) - constructor for class org.grinvin.engine.apengine.Operators.Invariant
InvariantComputer - interface org.grinvin.invariants.InvariantComputer
Implemented by all invariant computers.
InvariantComputerFactory - interface org.grinvin.invariants.InvariantComputerFactory
An object that satisfies this interface can be used to create an invariant computer.
InvariantDropHandler - class org.grinvin.graphbrowser.InvariantDropHandler
Common DropHandler to drop invariants on objects that support HasInvariantList.
InvariantExecutor - class org.grinvin.invariants.InvariantExecutor
The global InvariantExecutor.
InvariantFactory - interface org.grinvin.invariants.InvariantFactory
An object that satisfies this interface can be used to create an invariant.
InvariantFactory> getFactories() - method in class org.grinvin.invariants.InvariantManager
Allows an invariant factory to be dropped onto objects that support HasInvariantList.
InvariantGroup - class org.grinvin.invariants.InvariantGroup
Groups a list of invariants, invariant factories or subgroups.
InvariantGroup(String,String) - constructor for class org.grinvin.invariants.InvariantGroup
Construct an empty group with the given internationalized name (caption).
InvariantIndexView - class org.grinvin.help.InvariantIndexView
Loads an overview of the available invariants and places them in a index tree that is mergeable with the GrInvIn help index tree.
InvariantIndexView() - constructor for class org.grinvin.help.InvariantIndexView
Creates a new instance of InvariantIndexView
InvariantList - interface org.grinvin.list.InvariantList
Interface to ease the use of lists of invariants.
InvariantListComponent - class org.grinvin.graphbrowser.InvariantListComponent
List component with entries of type Invariant.
Creates a new instance of InvariantListComponent
Provides dynamic map ID assignment for a list of invariants.
Creates a new instance of InvariantListHelpManager
InvariantListModel - interface org.grinvin.list.InvariantListModel
Interface that all listeners of InvariantListModel should implement.
InvariantManager - class org.grinvin.invariants.InvariantManager
Keeps track of relations between invariants and invariant computers.
InvariantManagerListener - interface org.grinvin.invariants.InvariantManagerListener
Listens to events reported by the invariant manager.
InvariantMap - class org.grinvin.help.InvariantMap
Provides the mapping of the context-sensitive help ID of invariants and the URL for their help page.
InvariantNode - interface org.grinvin.invariants.InvariantNode
Common interface for all elements that can be part of an InvariantGroup, i.e., invariants, invariant factories or invariant groups.
Table cell renderer for objects of type Invariant.
InvariantTableCellRenderer() - constructor for class org.grinvin.list.InvariantTableCellRenderer
InvariantTOCView - class org.grinvin.help.InvariantTOCView
Loads an overview of the available invariants and places them in a TOC tree that is mergeable with the GrInvIn help TOC tree.
InvariantTOCView() - constructor for class org.grinvin.help.InvariantTOCView
Creates a new instance of InvariantTOCView
InvariantTree - class org.grinvin.list.InvariantTree
Tree component with leaves of type Invariant.
InvariantTree(org.grinvin.list.InvariantTreeModel) - constructor for class org.grinvin.list.InvariantTree
Creates a new instance of InvariantList
Provides dynamic map ID assignment for the tree view of available invariants.
Creates a new instance of InvariantTreeHelpManager
InvariantTreeModel - class org.grinvin.list.InvariantTreeModel
Tree model containing the tree of supported invariants.
InvariantTreeModel(Iterable) - constructor for class org.grinvin.list.InvariantTreeModel
Return a model for the tree of invariants that corresponds to the given list of nodes.
InvariantTypes - class org.grinvin.invariants.InvariantTypes
Helper class which handles invariant types.
InvariantValue - class org.grinvin.invariants.InvariantValue
Wraps the result of an invariant computation and provides a means to represent this result both as a string and an XML element.
InvariantValue(String) - constructor for class org.grinvin.invariants.InvariantValue
Create a new unitialized value of the given type.
Create a value of the given type which was computed by the given invariant computer.
Loader for the computed values of a saved GraphBundle
Saved for the computed values of a saved GraphBundle
InvariantValuesSaver(Collection) - constructor for class org.grinvin.io.InvariantValuesSaver
Table cell renderer for objects of type InvariantValue.
Default constructor
inverseTransform(double,double,double[]) - method in class org.grinvin.gred.transformations.AbstractTransformation
This implementation always raises an exception.
inverseTransform(double,double,double[]) - method in class org.grinvin.gred.Transformation
Perform an inverse transformation from destination space back to source space.
IOFormatException - class org.grinvin.io.IOFormatException
Indicates that file or stream data is not in the expected format and can therefore not be loaded.
IOFormatException(String) - constructor for class org.grinvin.io.IOFormatException
Constructs an instance of IOFormatException with the specified detail message.
IOFormatException(String,Throwable) - constructor for class org.grinvin.io.IOFormatException
Constructs an instance of IOFormatException with the specified detail message and cause
IOHelper - class org.grinvin.util.IOHelper
Class that contains some static helper methods.
isAttached(org.grinvin.Edge) - method in class org.grinvin.gred.GraphPanel
Checks whether the given edge is still attached to its parent.
isAttached(org.grinvin.Vertex) - method in class org.grinvin.gred.GraphPanel
Checks whether the given vertex is still attached to its parent.
isCellEditable(int,int) - method in class org.grinvin.list.GraphInvariantTableModel
isCellEditable(int,int) - method in class org.grinvin.about.VersionTableModel
isClasspath(URI) - static method in class org.grinvin.GraphURI
isDirty() - method in class org.grinvin.list.DefaultGraphList
isDirty() - method in class org.grinvin.list.DefaultGraphListModel
isDirty() - method in class org.grinvin.list.DefaultInvariantList
isDirty() - method in class org.grinvin.list.DefaultInvariantListModel
isDirty() - method in class org.grinvin.gred.GraphEditor
Check whether the editor is 'dirty'.
isDirty() - method in class org.grinvin.list.GraphList
isDirty() - method in class org.grinvin.list.GraphListElement
isDirty() - method in class org.grinvin.gred.GraphPanel
isDirty() - method in class org.grinvin.list.InvariantList
isDirty() - method in class org.grinvin.gred.MutableGraphPanel
isDragEnabled() - method in class org.grinvin.help.GraphViewer
Is dragging on this component enabled?
isDropInProgress() - method in class org.grinvin.gred.GraphPanel
Is a drag-and-drop operation in progress where this component is a target?
isFactoryGenerated(URI) - static method in class org.grinvin.GraphURI
isFile(URI) - static method in class org.grinvin.GraphURI
isGlobal(URI) - static method in class org.grinvin.GraphURI
isHelpLoaded() - static method in class org.grinvin.help.HelpManager
isID(URL) - method in class org.grinvin.help.GraphFactoryMap
isID(URL) - method in class org.grinvin.help.InvariantMap
isInvertible() - method in class org.grinvin.gred.transformations.AbstractTransformation
This default implementation always returns false.
isInvertible() - method in class org.grinvin.gred.Transformation
Is this transformation invertible?
isLocal(URI) - static method in class org.grinvin.GraphURI
isNameEditable() - method in class org.grinvin.list.GraphListElement
Is the name of this graph user editable?
isRollOver(org.grinvin.Element) - method in class org.grinvin.gred.GraphContext
Is the given element the current 'roll over' element?
isSelected() - method in class org.grinvin.gui.icons.AbstractSelectUnselectIcon
Should this icon be displayed as selected?
isSelected() - method in class org.grinvin.gui.icons.SelectUnselectIcon
Should this icon be displayed as selected?
isSelected(T) - method in class org.grinvin.gui.SelectionModel<T>
Check whether the given element is selected.
isSelectionEmpty() - method in class org.grinvin.gui.SelectionModel<T>
Check whether the current selection is empty.
isSession(URI) - static method in class org.grinvin.GraphURI
Is this a null URI or an URI with a 'session' scheme.
Determine whether a graph qualifies as 'small'.
isValidID(String,HelpSet) - method in class org.grinvin.help.GraphFactoryMap
isValidID(String,HelpSet) - method in class org.grinvin.help.InvariantMap
iterator() - method in class org.grinvin.gui.SelectionModel<T>
Return an iterator that iterates over all selected elements.
Allows the use of an existing iterator in such a way that the remove operation throws an UnsupportedOperationException.
IteratorWithoutRemove(Iterator) - constructor for class org.grinvin.util.IteratorWithoutRemove<T>
Create a new iterator that is backed by the given iterator of the same type, but does not allow the user to call its remove method.

J

JDialog create() - method in class org.grinvin.workspace.LoggingWindowWrapper
Join the anchor to the given vertex.

L

LabeledBinaryTree - class org.grinvin.engine.apengine.LabeledBinaryTree
A binary tree that can be labeled.
LabeledBinaryTree(int,int) - constructor for class org.grinvin.engine.apengine.LabeledBinaryTree
LabeledTreeGenerator - class org.grinvin.engine.apengine.LabeledTreeGenerator
Label the node at position pos with Operators.Operator op.
LargeGraphIcon - class org.grinvin.gui.icons.LargeGraphIcon
Graph icon for a graph with a large number of vertices or edges.
LargeGraphIcon(org.grinvin.GraphView,Icon) - constructor for class org.grinvin.gui.icons.LargeGraphIcon
LaTeXViewer - class org.grinvin.help.LaTeXViewer
LaTeXViewer() - constructor for class org.grinvin.help.LaTeXViewer
Creates a new instance of LaTeXViewer
LaTeXViewer(String,View) - constructor for class org.grinvin.help.LaTeXViewer
Creates a new instance of LaTeXViewer
LaTeXViewerBeanInfo - class org.grinvin.help.LaTeXViewerBeanInfo
This class provides information about getter/setter methods within LaTeXViewer.
LaTeXViewerBeanInfo() - constructor for class org.grinvin.help.LaTeXViewerBeanInfo
Creates a new instance of LaTeXViewerBeanInfo
LaunchHelpCommand - class org.grinvin.help.commands.LaunchHelpCommand
Opens the help window
LaunchHelpCommand(CommandManager,String) - constructor for class org.grinvin.help.commands.LaunchHelpCommand
LaunchWebsiteCommand - class org.grinvin.help.commands.LaunchWebsiteCommand
Opens the help window and displays the website
LaunchWebsiteCommand(CommandManager,String) - constructor for class org.grinvin.help.commands.LaunchWebsiteCommand
layoutContainer(Container) - method in class org.grinvin.graphbrowser.GraphTableScrollPaneLayout
leftChild(int) - method in class org.grinvin.engine.apengine.BinaryTree
Return the left child of the given node.
LimitedTreeGenerator - class org.grinvin.engine.apengine.LimitedTreeGenerator
Tree generator that generates trees with at most the given amount of unary and binary operators.
LimitedTreeGenerator(int,int) - constructor for class org.grinvin.engine.apengine.LimitedTreeGenerator
LineGraph - class org.grinvin.gred.commands.LineGraph
Action command which replaces the graph with its line graph.
lineGraph() - method in class org.grinvin.gred.MutableGraphPanel
Replaces the current graph with its line graph
LineGraph(CommandManager,String) - constructor for class org.grinvin.gred.commands.LineGraph
Default constructor
list - field in class org.grinvin.factories.AbstractFactory
listeners - field in class org.grinvin.DefaultGraphBundle
load(Element) - method in class org.grinvin.invariants.InvariantValue
Initialize the components of this value from a JDOM-element.
load(Element,File) - method in class org.grinvin.workspace.DefaultWindowWrapper<W,extends,Window>
This implementation creates the window using create() and sets window bounds and visibility from the information in the workspace XML-file.
load(Element,File) - method in class org.grinvin.workspace.Wrapper<C>
Load the subcomponent(s) managed by this wrapper from a persistent work space.
load(File) - method in class org.grinvin.workspace.Workspace
Load the workspace from the given workspace directory.
load(InputStream) - method in class org.grinvin.io.EmbeddingLoader
Load the embedding from the input stream.
load(InputStream) - method in class org.grinvin.io.GraphLoader
Load the graph from the input stream.
load(InputStream) - method in class org.grinvin.util.InternationalizedProperties
Loads the properties from the given input stream and adds them to this list.
load(InputStream) - method in class org.grinvin.io.InvariantValuesLoader
Load the invariant values from the given InputStream
load(org.grinvin.GraphBundle,File) - static method in class org.grinvin.io.GraphBundleLoader
Load the bundle from the given file.
load(org.grinvin.GraphBundle,InputStream) - static method in class org.grinvin.io.GraphBundleLoader
Load the bundle from the given input stream.
Convenience method which loads a graph list of type GraphInvariantList.
Load a graph list from an XML file.
load(org.grinvin.list.InvariantList,File) - static method in class org.grinvin.io.GraphListLoader
Load a list of invariants from an XML file.
load(URI,org.grinvin.GraphBundle) - static method in class org.grinvin.GraphURI
Load the graph that corresponds to the given URI into the given graph bundle.
loadClassFromFile(File) - method in class org.grinvin.util.LocalClassLoader
Load a class from a given class file.
loadEmbedding(org.grinvin.EmbeddingView) - method in class org.grinvin.gred.GraphPanel
Change the embedding and graph to be used by this panel to a copy of the given embedding.
loadFromClassPath(ClassLoader,String) - static method in class org.grinvin.xml.XMLUtils
Converts the given XML file into a JDOM element.
loadFromClassPath(String) - static method in class org.grinvin.xml.XMLUtils
Converts the given XML file into a JDOM element.
Load the bundle from the given directory.
loadGraphListWindowsInMenu() - method in class org.grinvin.grinvin.GrinvinWindow
Install the menu for the graphs lists window and its associated window group.
LoadInvariant - class org.grinvin.list.commands.LoadInvariant
Command to load a new invariant computer from file.
LoadInvariant(CommandManager,String) - constructor for class org.grinvin.list.commands.LoadInvariant
Creates a new instance of LoadInvariant
loadInvariant(String,String) - method in class org.grinvin.invariants.InvariantManager
Load an invariant and register it with this manager.
loadInvariantComputer(File) - method in class org.grinvin.invariants.InvariantManager
Add a local invariant computer from file.
loadInvariantFactory(String,String) - method in class org.grinvin.invariants.InvariantManager
Load an invariant factory and register it with this manager.
loadNewWorkspace() - static method in class org.grinvin.grinvin.commands.LoadWorkspaceCommand
Ask the user for a workspace location.
loadValue(Element) - method in class org.grinvin.invariants.BooleanValue
Should be overridden to load the actual value from a JDOM-element.
loadValue(Element) - method in class org.grinvin.invariants.IntegerValue
Should be overridden to load the actual value from a JDOM-element.
loadValue(Element) - method in class org.grinvin.invariants.InvariantValue
Should be overridden to load the actual value from a JDOM-element.
loadValue(Element) - method in class org.grinvin.invariants.RealValue
Should be overridden to load the actual value from a JDOM-element.
loadVersionInfo(String) - static method in class org.grinvin.about.VersionInfo
Load version info from the corresponding properties file.
General purpose routine which can be used to set bounds and visbility of any window.
LoadWorkspaceCommand - class org.grinvin.grinvin.commands.LoadWorkspaceCommand
LoadWorkspaceCommand(CommandManager,String) - constructor for class org.grinvin.grinvin.commands.LoadWorkspaceCommand
LocalClassLoader - class org.grinvin.util.LocalClassLoader
Class loader which loads classes from a local classpath, i.e., a set of directories on the local file system.
LocalClassLoader() - constructor for class org.grinvin.util.LocalClassLoader
Creates a new instance of LocalClassLoader
location - field in class org.grinvin.io.Bounds
Logging - class org.grinvin.logging.Logging
Installs the main log handler for the application.
LoggingWindowWrapper - class org.grinvin.workspace.LoggingWindowWrapper
Window wrapper for the factory window.

M

main(String[]) - static method in class org.grinvin.util.GaussElimination
main(String[]) - static method in class org.grinvin.grinvin.Grinvin
MergeSelection - class org.grinvin.gred.commands.MergeSelection
Action command which merges the current selected vertices.
mergeSelection() - method in class org.grinvin.gred.MutableGraphPanel
Merges the current selected vertices.
MergeSelection(CommandManager,String) - constructor for class org.grinvin.gred.commands.MergeSelection
Default constructor
MissingGraphIcon - class org.grinvin.gui.icons.MissingGraphIcon
Icon that represents a missing graph that could not be loaded.
MissingGraphIcon(org.grinvin.GraphBundleView,int) - constructor for class org.grinvin.gui.icons.MissingGraphIcon
Creates a new instance of MissingGraphIcon
mouseClicked(MouseEvent) - method in class org.grinvin.graphbrowser.GraphCellListComponent
mouseClicked(MouseEvent) - method in class org.grinvin.graphbrowser.GraphListComponent
mouseClicked(MouseEvent) - method in class org.grinvin.graphbrowser.GraphTableComponent
mouseClicked(MouseEvent) - method in class org.grinvin.graphbrowser.RowHeaderView
mouseCoordinates(org.grinvin.Vertex,int[]) - method in class org.grinvin.gred.GraphPanel
Store the mouse coordinates of the given vertex into the given array.
mouseDragged(MouseEvent) - method in class org.grinvin.help.GraphViewer
mouseEntered(MouseEvent) - method in class org.grinvin.graphbrowser.GraphCellListComponent
mouseEntered(MouseEvent) - method in class org.grinvin.graphbrowser.GraphListComponent
mouseEntered(MouseEvent) - method in class org.grinvin.graphbrowser.GraphTableComponent
mouseEntered(MouseEvent) - method in class org.grinvin.graphbrowser.RowHeaderView
mouseExited(MouseEvent) - method in class org.grinvin.graphbrowser.GraphCellListComponent
mouseExited(MouseEvent) - method in class org.grinvin.graphbrowser.GraphListComponent
mouseExited(MouseEvent) - method in class org.grinvin.graphbrowser.GraphTableComponent
mouseExited(MouseEvent) - method in class org.grinvin.graphbrowser.RowHeaderView
mouseMoved(MouseEvent) - method in class org.grinvin.help.GraphViewer
mouseMoved(MouseEvent) - method in class org.grinvin.gred.mouse.RollOverOverlay
mousePressed(MouseEvent) - method in class org.grinvin.graphbrowser.GraphCellListComponent
mousePressed(MouseEvent) - method in class org.grinvin.graphbrowser.GraphListComponent
mousePressed(MouseEvent) - method in class org.grinvin.graphbrowser.GraphTableComponent
mousePressed(MouseEvent) - method in class org.grinvin.graphbrowser.RowHeaderView
mouseReleased(MouseEvent) - method in class org.grinvin.graphbrowser.GraphCellListComponent
mouseReleased(MouseEvent) - method in class org.grinvin.graphbrowser.GraphListComponent
mouseReleased(MouseEvent) - method in class org.grinvin.graphbrowser.GraphTableComponent
mouseReleased(MouseEvent) - method in class org.grinvin.graphbrowser.RowHeaderView
moveOrigin(double,double) - method in class org.grinvin.gred.transformations.AffineTransformation
Concatenate a translation (in destination space) with this transformation.
MoveSelection - class org.grinvin.gred.mouse.MoveSelection
Mouse handler for adding edges.
moveSelection(int,int) - method in class org.grinvin.gred.MutableGraphPanel
Move the current selection by the given number of pixels (in mouse coordinates)
MultilineToolTip - class org.grinvin.gui.MultilineToolTip
Multiline tooltip that supports automatic wrapping and color changes in some situations.
MultilineToolTip() - constructor for class org.grinvin.gui.MultilineToolTip
MultilineToolTip(int) - constructor for class org.grinvin.gui.MultilineToolTip
Interface combining the functionality of EmbeddingModel and Embedding.
MutableGraphModel - interface org.grinvin.MutableGraphModel
Interface combining the functionality of GraphModel and Graph.
MutableGraphPanel - class org.grinvin.gred.MutableGraphPanel
Graph panel which is backed by a 2-dimensional mutable embedding model.
Create a new graph panel with given peer.
MutableGraphPanelCommand - class org.grinvin.gred.commands.MutableGraphPanelCommand
Common super class of all action commands that work on a mutable graph panel.
MutableGraphPanelCommand(CommandManager,String) - constructor for class org.grinvin.gred.commands.MutableGraphPanelCommand
Construct an action command of this type.
Common super class of all toggle commands that work on a mutable graph panel.
Construct an action command of this type.

N

NamedGraphComponent - class org.grinvin.graphbrowser.NamedGraphComponent
Extension of GraphComponent that shows the name of the graph above the icon.
NamedGraphComponent() - constructor for class org.grinvin.graphbrowser.NamedGraphComponent
NamedGraphComponent(org.grinvin.list.GraphListElement) - constructor for class org.grinvin.graphbrowser.NamedGraphComponent
negativeInfinity(org.grinvin.invariants.InvariantComputer) - static method in class org.grinvin.invariants.IntegerValue
Return an object of this type representing negative infinity.
negativeInfinity(org.grinvin.invariants.InvariantComputer) - static method in class org.grinvin.invariants.RealValue
Return an object of this type representing negative infinity.
NewGraphListCommand - class org.grinvin.grinvin.commands.NewGraphListCommand
Opens a new Graph List.
NewGraphListCommand(CommandManager,String) - constructor for class org.grinvin.grinvin.commands.NewGraphListCommand
Notifies that the given invariant has been introduced into the system.
Notifies that the given invariant factory has been introduced into the system.
newLeftChild(int) - method in class org.grinvin.engine.apengine.BinaryTree
Create a new left child for the given node.
newRightChild(int) - method in class org.grinvin.engine.apengine.BinaryTree
Create a new right child for the given node.
newWorkspace(File) - method in class org.grinvin.workspace.Workspace
Initialize all subsystems and perform an initial save into the given workspace directory.
NewWorkspaceCommand - class org.grinvin.grinvin.commands.NewWorkspaceCommand
NewWorkspaceCommand(CommandManager,String) - constructor for class org.grinvin.grinvin.commands.NewWorkspaceCommand
next() - method in class org.grinvin.DefaultGraph.EdgeIterator
next() - method in class org.grinvin.DefaultGraph.VertexIterator
next() - method in class org.grinvin.util.IteratorWithoutRemove<T>
nextLabeledTree() - method in class org.grinvin.engine.apengine.LabeledTreeGenerator
Return the next LabeledBinaryTree or null when no more tree is available.
nextTree() - method in class org.grinvin.engine.apengine.ExactTreeGenerator
Return the next LabeledBinaryTree or null when no more tree is available.
nextTree() - method in class org.grinvin.engine.apengine.LimitedTreeGenerator
Return the next LabeledBinaryTree or null when no more tree is available.
nextTree() - method in class org.grinvin.engine.apengine.TreeGenerator
Return the next LabeledBinaryTree.
nodesonlevel(int) - method in class org.grinvin.engine.apengine.BinaryTree
Return the number of nodes on the given depth.
notifyHighlightChanged() - method in class org.grinvin.gred.GraphContext
Inform all observers that there was a major change to the current highlight set.
Inform all observers that the highlight status of the given element was changed.
notifyRollOverChanged() - method in class org.grinvin.gred.GraphContext
Inform all observers that the 'roll over' element was changed.
notifySelectionChanged() - method in class org.grinvin.gred.GraphContext
Inform all observers that there was a major change to the current selection.
notifySelectionChanged() - method in class org.grinvin.gui.SelectionModel<T>
Tell all observers that the selection has changed.
Inform all observers that the selection status of the given element was changed.
NullGuides - class org.grinvin.gred.guides.NullGuides
Trivial implementation of Guides which paints no background and which prefers vertices to keep their requested positions.
NullGuides() - constructor for class org.grinvin.gred.guides.NullGuides
number - field in class org.grinvin.engine.apengine.Operators.Invariant

O

openConnection(URL) - method in class org.grinvin.help.HelpURLStreamHandler
openConnection(URL) - method in class org.grinvin.io.SVGURLStreamHandler
openSection(String) - method in class org.grinvin.io.SectionLoader
Open the section with the given name and return an input stream for that section.
openSelectedElements() - method in class org.grinvin.list.GraphListsComponent
open selected elements.
Operators.Operator - interface org.grinvin.engine.apengine.Operators.Operator
operators - field in class org.grinvin.engine.apengine.LabeledBinaryTree
Operators - class org.grinvin.engine.apengine.Operators
order - field in class org.grinvin.util.Tridiagonal
Order of this matrix.
org.grinvin - package
org.grinvin.gui - package
org.grinvin.io - package
org.grinvin.xml - package
OrthogonalProjection - class org.grinvin.gred.transformations.OrthogonalProjection
Orthogonal projection from a three-dimensional space onto a 2-dimensional space.
OrthogonalProjection() - constructor for class org.grinvin.gred.transformations.OrthogonalProjection
Create a projection along the Z-axis.

P

paint(Graphics2D,double,double,double) - method in class org.grinvin.gred.guides.AbstractGuides
paint(Graphics2D,double,double,double) - method in class org.grinvin.gred.guides.BullsEye
Paint the bull's eye.
paint(Graphics2D,double,double,double) - method in class org.grinvin.gred.guides.GridLines
Paint a grid with the requested number of subdivisions
paint(Graphics2D,double,double,double) - method in class org.grinvin.gred.Guides
Draw guides onto the panel background.
paint(Graphics2D,double,double,double) - method in class org.grinvin.gred.guides.NullGuides
Draw guides onto the panel background.
paint(Graphics2D,double,double,double) - method in class org.grinvin.gred.guides.VerticalIsometricGrid
Paint the grid
Paints the given edge onto the given graphics context, with annotations (when available).
Render an Edge
Paints the given edge onto the given graphics context.
Paints the given vertex onto the given graphics context, with annotations (when available).
Render a Vertex
Paints the given vertex onto the given graphics context.
paintBackground(Graphics2D) - method in class org.grinvin.gred.GraphPanel
Paint a background overlay.
paintBackground(Graphics2D) - method in class org.grinvin.list.GraphViewPanel
Paint a background overlay.
paintCursor(Graphics,int) - method in class org.grinvin.gui.DropList
Paint the cursor at the given position.
paintCursor(Graphics,int,int,int) - method in class org.grinvin.gui.DropList
Draw a cursor at the given position.
paintEdges(Graphics2D) - method in class org.grinvin.gui.icons.ChemicalIcon
Paint all edges of the graph using the current renderer.
paintEdges(Graphics2D) - method in class org.grinvin.gui.icons.EdgesOnlyIcon
Paint all edges of the graph using the current renderer.
paintEdges(Graphics2D) - method in class org.grinvin.gred.GraphPanel
Paint all edges of the graph using the current renderer.
paintEdges(Graphics2D) - method in class org.grinvin.list.GraphViewPanel
Paint all edges of the graph using the current renderer.
paintEdges(Graphics2D) - method in class org.grinvin.gui.icons.SmallGraphIcon
Paint all edges of the graph using the current renderer.
paintIcon(Component,Graphics,int,int) - method in class org.grinvin.gred.guides.AbstractGuides.ButtonIcon
paintIcon(Component,Graphics,int,int) - method in class org.grinvin.gui.icons.ChemicalIcon
First paints the edges and then the atom types
paintIcon(Component,Graphics,int,int) - method in class org.grinvin.gui.icons.EdgesOnlyIcon
Only paints the edges, first as a shadow and then as true edges.
paintIcon(Component,Graphics,int,int) - method in class org.grinvin.gui.icons.LargeGraphIcon
paintIcon(Component,Graphics,int,int) - method in class org.grinvin.gui.icons.MissingGraphIcon
paintIcon(Component,Graphics,int,int) - method in class org.grinvin.gui.icons.SmallGraphIcon
First paints the edges and then the vertices.
paintVertices(Graphics2D) - method in class org.grinvin.gui.icons.ChemicalIcon
Paint all vertices of the graph.
paintVertices(Graphics2D) - method in class org.grinvin.gred.GraphPanel
Paint all vertices of the graph using the current vertex renderer.
paintVertices(Graphics2D) - method in class org.grinvin.list.GraphViewPanel
Paint all vertices of the graph using the current vertex renderer.
paintVertices(Graphics2D) - method in class org.grinvin.gui.icons.SmallGraphIcon
Paint all vertices of the graph using the current vertex renderer.
panel - field in class org.grinvin.gred.commands.GraphPanelCommand
Panel onto which this command acts.
panel - field in class org.grinvin.gred.commands.MutableGraphPanelCommand
Panel onto which this command acts.
panel - field in class org.grinvin.gred.commands.MutableGraphPanelToggleCommand
Panel onto which this command acts.
ParameterComponent - interface org.grinvin.params.ParameterComponent
Interface that should be implemented by a component that allows editing of parameter values of a certain type.
ParameterEditor - interface org.grinvin.params.ParameterEditor
Helper object for editing parameter values of a certain type.
ParameterInfo - class org.grinvin.params.ParameterInfo
Contains information on a single parameter of an invariant, graph factory, etc.
ParameterList - class org.grinvin.params.ParameterList
Encapsulates a list of parameters, i.e., ParameterInfo-objects and provides methods to create a corresponding list of parameter values.
ParameterList() - constructor for class org.grinvin.params.ParameterList
Construct an empty parameter list.
ParameterPanel - class org.grinvin.params.ParameterPanel
Panel that can be used to edit parameter values.
ParameterPanel(org.grinvin.params.ParameterList) - constructor for class org.grinvin.params.ParameterPanel
Construct a new panel of this type.
parseQueryString(String) - method in class org.grinvin.params.ParameterList
Convert a query-string to a list objects corresponding to this parameter list.
peek() - method in class org.grinvin.engine.apengine.StateStack<E>
performOpen(File[]) - method in class org.grinvin.list.commands.ImportGraphBundle
performOpen(File[]) - method in class org.grinvin.grinvin.commands.ImportGraphListCommand
performOpen(File[]) - method in class org.grinvin.list.commands.LoadInvariant
performOpen(File[]) - method in class org.grinvin.grinvin.commands.LoadWorkspaceCommand
performSave(File) - method in class org.grinvin.list.commands.ExportGraph
performSave(File) - method in class org.grinvin.list.commands.ExportGraphImage
performSave(File) - method in class org.grinvin.list.commands.ExportGraphList
performSave(File) - method in class org.grinvin.grinvin.commands.SaveWorkspaceAsCommand
pop() - method in class org.grinvin.engine.apengine.StateStack<E>
positiveInfinity(org.grinvin.invariants.InvariantComputer) - static method in class org.grinvin.invariants.IntegerValue
Return an object of this type representing positive infinity.
positiveInfinity(org.grinvin.invariants.InvariantComputer) - static method in class org.grinvin.invariants.RealValue
Return an object of this type representing positive infinity.
print() - method in class org.grinvin.util.GaussElimination
properties - field in class org.grinvin.DefaultGraphBundle
propertyChange(PropertyChangeEvent) - method in class org.grinvin.grinvin.commands.ActivateWindowCommand
pushNewDepthState(int,int) - method in class org.grinvin.engine.apengine.TreeGenerator.TreeGeneratorStateStack
Push a new state that upon execution will start working with new unary and binary count.
pushNextOperatorCount() - method in class org.grinvin.engine.apengine.ExactTreeGenerator
pushNextOperatorCount() - method in class org.grinvin.engine.apengine.LimitedTreeGenerator
Push a new depthstate on the stack with the next number of unary and binary operators.
pushNextOperatorCount() - method in class org.grinvin.engine.apengine.TreeGenerator
Push a new depthstate on the stack with the next number of unary and binary operators.
pushRecurseState(int,int,int) - method in class org.grinvin.engine.apengine.TreeGenerator.TreeGeneratorStateStack
pushRemoveState(int,int,int) - method in class org.grinvin.engine.apengine.TreeGenerator.TreeGeneratorStateStack
Push a new state that upon execution will remove the node with the given coordinates.

Q

QDEngine - class org.grinvin.engine.QDEngine
Proof of concept (quick and dirty) implementation of Engine.

R

Reads the entire file and stores all the graphs in a GraphInvariantListModel
readSingleGraph(org.grinvin.GraphBundle,File) - static method in class org.grinvin.io.Graph6Loader
Only reads the first graph in the file and stores it in a GraphBundle.
RealValue - class org.grinvin.invariants.RealValue
Invariant type which allows real values, including positive and negative infinity and undefined values.
RealValue(double,org.grinvin.invariants.InvariantComputer) - constructor for class org.grinvin.invariants.RealValue
Create an object of this type with the given value which is computed by the given computer.
redo() - method in class org.grinvin.gred.undoable.AddElements
Reverts an undo by restoring the elements in chronological order.
redo() - method in class org.grinvin.gred.undoable.ChangeCoordinates
Revertes an undo by moving all vertices to their new positions.
redo() - method in class org.grinvin.gred.undoable.InternationalizedUndoableChange
Does nothing.
redo() - method in class org.grinvin.gred.undoable.RemoveElements
Redoes this change by removing the elements in chronological order.
registerLocale(Locale) - method in class org.grinvin.util.InternationalizedProperties
Registers a locale with this property list.
remove() - method in class org.grinvin.DefaultGraph.EdgeIterator
remove() - method in class org.grinvin.DefaultGraph.VertexIterator
remove() - method in class org.grinvin.util.IteratorWithoutRemove<T>
remove(int) - method in class org.grinvin.DefaultGraph
Remove vertex at given index position.
remove(int) - method in class org.grinvin.list.DefaultGraphListModel
remove(int) - method in class org.grinvin.list.DefaultInvariantListModel
remove(Object) - method in class org.grinvin.list.DefaultGraphListModel
remove(Object) - method in class org.grinvin.list.DefaultInvariantListModel
remove(org.grinvin.Edge) - method in class org.grinvin.DefaultGraph
Remove the given edge from the graph.
remove(org.grinvin.Edge) - method in class org.grinvin.Graph
Remove the given edge from the graph.
remove(org.grinvin.Vertex) - method in class org.grinvin.DefaultGraph
Remove the given vertex from the graph.
remove(org.grinvin.Vertex) - method in class org.grinvin.Graph
Remove the given vertex from the graph.
removeChangeListener(ChangeListener) - method in class org.grinvin.engine.EngineRunner
Remove a change listener.
removeColumn(int) - method in class org.grinvin.list.GraphInvariantTableModel
implement TableModel ****
RemoveElements - class org.grinvin.gred.undoable.RemoveElements
Undoable change for removing elements from a graph.
RemoveElements(org.grinvin.Graph,List) - constructor for class org.grinvin.gred.undoable.RemoveElements
Create an undoable change object for removing elements from a graph.
RemoveElements(org.grinvin.Graph,org.grinvin.Element) - constructor for class org.grinvin.gred.undoable.RemoveElements
Create an undoable object for removing a single element from a graph.
Unregister a previously registered embedding listener.
removeFocusListener(FocusListener) - method in class org.grinvin.params.ParameterComponent
Unregister a previously registered graph listener.
removeLeftChild(int) - method in class org.grinvin.engine.apengine.BinaryTree
Remove the left child of the given node.
removeOn(int,int,int) - method in class org.grinvin.engine.apengine.BinaryTree
Remove the node on the given depth and pos with the given parent.
removeRange(int,int) - method in class org.grinvin.list.DefaultGraphListModel
removeRange(int,int) - method in class org.grinvin.list.DefaultInvariantListModel
removeRightChild(int) - method in class org.grinvin.engine.apengine.BinaryTree
Remove the right child of the given node.
removeTabsChangeListener(ChangeListener) - method in class org.grinvin.grinvin.GrinvinWindow
Unregister a previously registered transformation listener.
RenamePanel - class org.grinvin.list.commands.RenamePanel
RenamePanel() - constructor for class org.grinvin.list.commands.RenamePanel
renderer - field in class org.grinvin.gred.GraphPanel
renderer - field in class org.grinvin.list.GraphViewPanel
Renderer - interface org.grinvin.render.Renderer
Renders graph elements.
renderString(String[]) - method in class org.grinvin.engine.apengine.Operators.Invariant
renderString(String[]) - method in class org.grinvin.engine.apengine.Operators.Operator
requestFocusInWindow() - method in class org.grinvin.graphbrowser.GraphBrowserPanel
rescaleColumns() - method in class org.grinvin.graphbrowser.GraphTableComponent
resolve(String,String) - method in class org.grinvin.help.HelpURIResolver
restore(org.grinvin.Edge) - method in class org.grinvin.DefaultGraph
Restore a edge which was previously removed from the graph.
restore(org.grinvin.Edge) - method in class org.grinvin.DefaultGraphModel
restore(org.grinvin.Edge) - method in class org.grinvin.Graph
Restore a edge which was previously removed from the graph.
restore(org.grinvin.Vertex) - method in class org.grinvin.DefaultGraph
Restore a vertex which was previously removed from the graph.
restore(org.grinvin.Vertex) - method in class org.grinvin.DefaultGraphModel
restore(org.grinvin.Vertex) - method in class org.grinvin.Graph
Restore a vertex which was previously removed from the graph.
rightChild(int) - method in class org.grinvin.engine.apengine.BinaryTree
Return the right child of the given node.
RollOverOverlay - class org.grinvin.gred.mouse.RollOverOverlay
Mouse overlay for a GraphPanel that highlights the roll over element when the mouse is moving or being dragged.
RollOverOverlay(org.grinvin.gred.GraphPanel) - constructor for class org.grinvin.gred.mouse.RollOverOverlay
Default constructor.
rotate(double) - method in class org.grinvin.gred.transformations.AffineTransformation
Perform a rotation over the given angle around the origin in destination space.
rotate(int,int) - method in class org.grinvin.gred.GraphPanel3D
Rotate the coordinate system.
Rotate3D - class org.grinvin.gred.mouse.Rotate3D
Mouse handler which can be used to rotate a 3-dimensional model.
rotateX(double) - method in class org.grinvin.gred.transformations.OrthogonalProjection
Perform a rotation around the X-axis over the given angle.
rotateXY(double,double) - method in class org.grinvin.gred.transformations.OrthogonalProjection
Combines the effect of a rotation along the X-axis followed by a rotation along the Y-axis.
rotateY(double) - method in class org.grinvin.gred.transformations.OrthogonalProjection
Perform a rotation around the Y-axis over the given angle.
rotateZ(double) - method in class org.grinvin.gred.transformations.OrthogonalProjection
Perform a rotation around the Z-axis over the given angle.
RowHeaderView - class org.grinvin.graphbrowser.RowHeaderView
List that is used as row header of a GraphTableComponent.
RowHeaderView(org.grinvin.list.GraphListModel,JTable) - constructor for class org.grinvin.graphbrowser.RowHeaderView
Creates a new instance of RowHeaderView
run() - method in class org.grinvin.invariants.AbstractInvariantRunnable
run() - method in class org.grinvin.engine.EngineRunner
Extract the invariant values from the table and run the engine.
Run the engine for the given invariant values.
run(org.grinvin.invariants.InvariantValue[][]) - method in class org.grinvin.engine.APEngine
Run the engine for the given invariant values.
run(org.grinvin.invariants.InvariantValue[][]) - method in class org.grinvin.engine.Engine
Run the engine for the given invariant values.
run(org.grinvin.invariants.InvariantValue[][]) - method in class org.grinvin.engine.QDEngine
Run the engine for the given invariant values.
RunConjecturing - class org.grinvin.list.commands.RunConjecturing
GUI command which runs the QD-engine on the invariant table of a given window and outputs the result to the given text area.
RunConjecturing(CommandManager,String) - constructor for class org.grinvin.list.commands.RunConjecturing

S

save() - method in class org.grinvin.workspace.Workspace
Save the workspace into the current workspace directory.
save(C,Element,File) - method in class org.grinvin.workspace.Wrapper<C>
Save the given subcomponent.
Save the bundle onto the output stream.
save(org.grinvin.list.GraphInvariantList,File) - static method in class org.grinvin.io.GraphListSaver
Convenience method which saves a graph list of type GraphInvariantList.
Save a list of graphs as an XML file.
save(org.grinvin.list.InvariantList,File) - static method in class org.grinvin.io.GraphListSaver
Save a list of invariants as an XML file.
save(OutputStream) - method in class org.grinvin.io.EmbeddingSaver
Save the embedding graph onto the output stream.
save(OutputStream) - method in class org.grinvin.io.GraphSaver
Save the graph onto the output stream.
save(OutputStream) - method in class org.grinvin.util.InternationalizedProperties
Writes this property list to the given output stream.
save(OutputStream) - method in class org.grinvin.io.InvariantValuesSaver
save(W,Element,File) - method in class org.grinvin.workspace.DefaultWindowWrapper<W,extends,Window>
This implementation saves the information obtained from the method baseElement() and saveWindowProperties(Element,Window) into parent and leaves the directory alone.
saveAs(File) - method in class org.grinvin.workspace.Workspace
Save the workspace into a new workspace directory.
Save a (session) graph list into a (workspace) directory.
Save a (session) graph list element into a (workspace) directory.
saveValue(Element) - method in class org.grinvin.invariants.BooleanValue
Should be overridden to save the actual value into a JDOM-element.
saveValue(Element) - method in class org.grinvin.invariants.IntegerValue
Should be overridden to save the actual value into a JDOM-element.
saveValue(Element) - method in class org.grinvin.invariants.InvariantValue
Should be overridden to save the actual value into a JDOM-element.
saveValue(Element) - method in class org.grinvin.invariants.RealValue
Should be overridden to save the actual value into a JDOM-element.
General purpose routine which can be used to save the bounds and visibility of any window.
SaveWorkspaceAsCommand - class org.grinvin.grinvin.commands.SaveWorkspaceAsCommand
Command to save the current workspace to disk.
SaveWorkspaceAsCommand(CommandManager,String) - constructor for class org.grinvin.grinvin.commands.SaveWorkspaceAsCommand
SaveWorkspaceCommand - class org.grinvin.grinvin.commands.SaveWorkspaceCommand
Command to save the current workspace to disk.
SaveWorkspaceCommand(CommandManager,String) - constructor for class org.grinvin.grinvin.commands.SaveWorkspaceCommand
scale - field in class org.grinvin.gred.GraphPanel
scale - field in class org.grinvin.list.GraphViewPanel
A version of GraphTableComponent that is scrollable.
SectionLoader - interface org.grinvin.io.SectionLoader
Opens named sections as input streams.
SelectAll - class org.grinvin.gred.commands.SelectAll
Action command which which selects all elements on a graph panel.
selectAll() - method in class org.grinvin.gred.GraphPanel
Select all graph elements.
SelectAll(CommandManager,String) - constructor for class org.grinvin.gred.commands.SelectAll
Default constructor
selected - field in class org.grinvin.gui.icons.AbstractSelectUnselectIcon
Indicates whether this icon should be displayed as 'selected'.
SelectElements - class org.grinvin.gred.mouse.SelectElements
Mouse handler which allows changing the selection by clicking on elements in a GraphPanel.
selection - field in class org.grinvin.gui.SelectionModel<T>
selectionCount() - method in class org.grinvin.gui.SelectionModel<T>
Return the number of items that is currently selected.
SelectionModel<T> - class org.grinvin.gui.SelectionModel<T>
Keeps track of a selection of items of similar type.
SelectionModel() - constructor for class org.grinvin.gui.SelectionModel<T>
Creates a new selection model with empty selection.
SelectionModel(Collection) - constructor for class org.grinvin.gui.SelectionModel<T>
Creates a new SelectionModel which uses the given collection to keep track of the selected objects.
selectNewWorkspaceLocation() - static method in class org.grinvin.grinvin.commands.NewWorkspaceCommand
Ask the user for a workspace location.
SelectRectangle - class org.grinvin.gred.mouse.SelectRectangle
Mouse handler which allows elements on a GraphPanel to be selected by means of a 'rubber band' rectangle.
SelectUnselectIcon - interface org.grinvin.gui.icons.SelectUnselectIcon
An Icon that has two states: selected or not selected.
setAnchorElement(org.grinvin.Element) - method in class org.grinvin.gred.GraphPanel
Set the 'anchor' element.
setBackgroundColor(String) - method in class org.grinvin.help.InlineGraphViewer
Sets the background Color.
setCaption(String) - method in class org.grinvin.help.InlineGraphViewer
SetCellListView - class org.grinvin.list.commands.SetCellListView
Command to switch the view to a list of graph icons
SetCellListView(CommandManager,String) - constructor for class org.grinvin.list.commands.SetCellListView
Construct an action command of this type.
Sets the coordinates to the given values.
Sets the coordinates to the given values.
Perform a bulk change to the coordinates.
setCurrentComponent(String) - method in class org.grinvin.graphbrowser.ConjecturingWindow
setCurrentComponent(String) - method in class org.grinvin.graphbrowser.GraphBrowserWindow
setCursorIndex(int) - method in class org.grinvin.gui.DropList
Set the position at which the cursor should be drawn.
setCursorIndex(Point) - method in class org.grinvin.gui.DropList
Set the cursor index according to the given location.
setDefaultEditor() - method in class org.grinvin.params.ParameterInfo
Install a default editor for this parameter, depending on the type of this parameter.
setDefaultLocale(Locale) - method in class org.grinvin.util.InternationalizedProperties
Set the default locale to be used for this list.
setDimension(int) - method in class org.grinvin.DefaultEmbedding
Set the dimension of the embedding.
setDimension(int) - method in class org.grinvin.Embedding
Set the dimension of the embedding.
setDirty(boolean) - method in class org.grinvin.list.DefaultGraphList
setDirty(boolean) - method in class org.grinvin.list.DefaultGraphListModel
setDirty(boolean) - method in class org.grinvin.list.DefaultInvariantList
setDirty(boolean) - method in class org.grinvin.list.DefaultInvariantListModel
setDirty(boolean) - method in class org.grinvin.gred.GraphEditor
Set the 'dirty' flag of the editor.
setDirty(boolean) - method in class org.grinvin.list.GraphList
setDirty(boolean) - method in class org.grinvin.list.GraphListElement
setDirty(boolean) - method in class org.grinvin.gred.GraphPanel
setDirty(boolean) - method in class org.grinvin.list.InvariantList
setDirty(boolean) - method in class org.grinvin.gred.MutableGraphPanel
setDisplaySize(String) - method in class org.grinvin.help.InlineGraphViewer
setDividerLocation(int) - method in class org.grinvin.graphbrowser.ConjecturingWindow
setDividerLocation(int) - method in class org.grinvin.graphbrowser.GraphPropertiesComponent
setDragEnabled(boolean) - method in class org.grinvin.help.GraphViewer
Indicate whether dragging on this component should be enabled.
setDropTarget(DropTarget) - method in class org.grinvin.gred.GraphPanel
Set the editor for this parameter.
setElement(org.grinvin.list.GraphListElement) - method in class org.grinvin.graphbrowser.GraphComponent
Display information for the given element.
Display information for the given element.
Use a different graph list element.
setElement(org.grinvin.list.GraphListElement) - method in class org.grinvin.graphbrowser.NamedGraphComponent
setEmbedding(org.grinvin.EmbeddingModel) - method in class org.grinvin.gred.GraphPanel
Change the embedding to be used by this panel.
setEmbedding(org.grinvin.EmbeddingView) - method in class org.grinvin.gred.GraphEditor
Load (a copy of) the given embedding into the editor.
setExtraInfo(boolean) - method in class org.grinvin.gui.MultilineToolTip
setGraph(String) - method in class org.grinvin.help.InlineGraphViewer
Sets the graph.
Set the graph icon factory used for displaying this graph as an icon.
setGraphListDividerLocation(int) - method in class org.grinvin.graphbrowser.ConjecturingWindow
setGraphListDividerLocation(int) - method in class org.grinvin.graphbrowser.GraphBrowserMultiPanel
setGraphListDividerLocation(int) - method in class org.grinvin.graphbrowser.GraphBrowserWindow
setGraphPropertiesComponentDividerLocation(int) - method in class org.grinvin.graphbrowser.ConjecturingWindow
setGraphPropertiesComponentDividerLocation(int) - method in class org.grinvin.graphbrowser.GraphBrowserWindow
setGraphPropertiesComponentDividerLocation(int) - method in class org.grinvin.graphbrowser.GraphListPanel
setGuides(org.grinvin.gred.Guides) - method in class org.grinvin.gred.GraphPanel
Install guides for this panel.
setHelpIDString(Component,String) - static method in class org.grinvin.help.HelpManager
setInvariantTableDividerLocation(int) - method in class org.grinvin.graphbrowser.ConjecturingWindow
setInvariantTableDividerLocation(int) - method in class org.grinvin.graphbrowser.GraphBrowserMultiPanel
setInvariantTableDividerLocation(int) - method in class org.grinvin.graphbrowser.GraphBrowserWindow
setLaTeX(String) - method in class org.grinvin.help.LaTeXViewer
setListSequenceNumber(int) - method in class org.grinvin.list.DefaultGraphListsModel
Set the list sequence number.
setListSequenceNumber(int) - method in class org.grinvin.list.GraphListsModel
SetListView - class org.grinvin.list.commands.SetListView
Command to switch the view to a list of graph names
SetListView(CommandManager,String) - constructor for class org.grinvin.list.commands.SetListView
Construct an action command of this type.
setMainInvariant(int) - method in class org.grinvin.engine.AbstractInequalityEngine
setMainInvariant(int) - method in class org.grinvin.engine.InequalityEngine
setName(String) - method in class org.grinvin.list.DefaultGraphInvariantList
setName(String) - method in class org.grinvin.list.DefaultGraphInvariantListModel
setName(String) - method in class org.grinvin.list.DefaultGraphList
setName(String) - method in class org.grinvin.list.DefaultGraphListModel
Set the name of this graph list.
setName(String) - method in class org.grinvin.list.GraphInvariantList
setName(String) - method in class org.grinvin.list.GraphListElement
Change the name of this graph.
setName(String) - method in class org.grinvin.list.HasName
Set the name of this object.
setName(String) - method in class org.grinvin.params.ParameterInfo
Set the name of this parameter.
setNumberOfDivisions(int,int) - method in class org.grinvin.gred.guides.BullsEye
Set the number of divisions used by this grid.
setNumberOfDivisions(int,int) - method in class org.grinvin.gred.guides.GridLines
Set the number of divisions used by this grid.
setNumberOfTriangles(int) - method in class org.grinvin.gred.guides.VerticalIsometricGrid
Set the number of divisions used by this gridtriangles in a column.
setParameterValue(Object) - method in class org.grinvin.params.ParameterComponent
Store the given parameter value into the component.
setParameterValues(Object[]) - method in class org.grinvin.factories.AbstractFactory
setParameterValues(Object[]) - method in class org.grinvin.factories.Factory
Initialize the factory with new parameter values.
Set the internationalized properties for this graph.
Set the internationalized properties object for this parameter.
setProperty(String,String) - method in class org.grinvin.util.InternationalizedProperties
Adds a given property/value pair for the default locale.
Adds a given property/value pair for the given locale.
setRollOver(int,int) - method in class org.grinvin.gred.GraphPanel
Set the roll over element in the corresponding graph context to an element which lies near to the given mouse coordinates.
setRollOver(org.grinvin.Element) - method in class org.grinvin.gred.GraphContext
Set the current 'roll over' element.
setSelected(boolean) - method in class org.grinvin.gui.icons.AbstractSelectUnselectIcon
Set whether this icon should be displayed as selected.
setSelected(boolean) - method in class org.grinvin.gui.icons.SelectUnselectIcon
Set whether this icon should be displayed as selected.
setSelectedTab(String) - method in class org.grinvin.grinvin.GrinvinWindow
setSelection(Collection) - method in class org.grinvin.gui.SelectionModel<T>
Set the selection to be the given set of objects.
setSelection(T) - method in class org.grinvin.gui.SelectionModel<T>
Set the selection to be (only) the given object.
setSize(int) - method in class org.grinvin.gui.icons.ChemicalIcon
Set or change the size of the bounding square of this icon.
setSize(int) - method in class org.grinvin.gui.icons.EdgesOnlyIcon
Set or change the size of the bounding square of this icon.
setSize(int) - method in class org.grinvin.gui.icons.SmallGraphIcon
Set or change the size of the bounding square of this icon.
setSnapToGuides(boolean) - method in class org.grinvin.gred.MutableGraphPanel
Indicates whether new vertices added should be 'snapped' to the guides.
SetTableView - class org.grinvin.list.commands.SetTableView
Command to switch the view to a list of graph names and their invariant values.
SetTableView(CommandManager,String) - constructor for class org.grinvin.list.commands.SetTableView
Construct an action command of this type.
setTipWidth(int) - method in class org.grinvin.gui.MultilineToolTip
setType(Class) - method in class org.grinvin.params.ParameterInfo
Set the type of this parameter.
setURI(URI) - method in class org.grinvin.list.DefaultGraphInvariantList
setURI(URI) - method in class org.grinvin.list.DefaultGraphInvariantListModel
setURI(URI) - method in class org.grinvin.list.DefaultGraphList
setURI(URI) - method in class org.grinvin.list.DefaultGraphListModel
Set the URI of this GraphListElement.
setURI(URI) - method in class org.grinvin.list.GraphInvariantList
setURI(URI) - method in class org.grinvin.list.GraphList
Set the URI of this GraphListElement.
setURI(URI) - method in class org.grinvin.list.GraphListElement
Set the URI of this GraphListElement.
setValueAt(Object,int,int) - method in class org.grinvin.list.GraphInvariantTableModel
setValues(Object[]) - method in class org.grinvin.params.ParameterPanel
Initialize the fields of the panel from the given array of values.
setViewData(View) - method in class org.grinvin.help.LaTeXViewer
setWindow(String,Window) - method in class org.grinvin.grinvin.GrinvinWindow
Set the application window for the given key.
Create and activate the dialog for the given graph list.
Create and activate the dialog for the given graph list element.
showDialog(org.grinvin.list.HasName,Icon,Component) - method in class org.grinvin.list.commands.RenamePanel
showGraphCellList() - method in class org.grinvin.graphbrowser.GraphBrowserMultiPanel
Bring up the graph cell list view of this window.
showGraphList() - method in class org.grinvin.graphbrowser.GraphBrowserMultiPanel
Bring up the graph list view of this window.
showID(String) - static method in class org.grinvin.help.HelpManager
showInvariantTable() - method in class org.grinvin.graphbrowser.GraphBrowserMultiPanel
Bring up the view representing the table of invariants.
size - field in class org.grinvin.io.Bounds
size - field in class org.grinvin.engine.apengine.StateStack<E>
SmallGraphIcon - class org.grinvin.gui.icons.SmallGraphIcon
Icon that represents a Graph.
Create a graph icon for the given embedded graph.
Create a graph icon based on the first embedding stored in the given graph bundle.
snap(double[]) - method in class org.grinvin.gred.guides.AbstractGuides
snap(double[]) - method in class org.grinvin.gred.guides.BullsEye
Snap coordinates to the closest grid position.
snap(double[]) - method in class org.grinvin.gred.guides.GridLines
Snap coordinates to the closest grid position.
snap(double[]) - method in class org.grinvin.gred.Guides
Adjust the given coordinate array to correspond with 'guide' positions.
snap(double[]) - method in class org.grinvin.gred.guides.NullGuides
Adjust the given coordinate array to correspond with 'guide' positions.
snap(double[]) - method in class org.grinvin.gred.guides.VerticalIsometricGrid
Snap coordinates to the closest grid position.
SnapAll - class org.grinvin.gred.commands.SnapAll
Action command which snaps all the vertices to the current guides.
SnapAll(CommandManager,String) - constructor for class org.grinvin.gred.commands.SnapAll
Default constructor
snapAllToGuides() - method in class org.grinvin.gred.MutableGraphPanel
Snap all the vertices to the current guides.
SnapSelection - class org.grinvin.gred.commands.SnapSelection
Action command which snaps the current selection to the current guides.
SnapSelection(CommandManager,String) - constructor for class org.grinvin.gred.commands.SnapSelection
Default constructor
snapSelectionToGuides() - method in class org.grinvin.gred.MutableGraphPanel
Snap the current selection to the current guides.
SnapshotCommand - class org.grinvin.gred.commands.SnapshotCommand
Action that takes a snapshot of the current graph in a panel and stores it into the given graph list.
SnapshotCommand(CommandManager,String) - constructor for class org.grinvin.gred.commands.SnapshotCommand
Construct an action of this kind.
Split an edge and optionally join the new vertex to the anchor.
SplitEdges - class org.grinvin.gred.mouse.SplitEdges
Mouse handler that splits an edege at the given position.
SplitSelection - class org.grinvin.gred.commands.SplitSelection
Action command which splits the current selected vertices.
splitSelection() - method in class org.grinvin.gred.MutableGraphPanel
Splits the current selected vertices.
SplitSelection(CommandManager,String) - constructor for class org.grinvin.gred.commands.SplitSelection
Default constructor
SpringEmbedder - class org.grinvin.gred.commands.SpringEmbedder
Repeater command that changes the current embedding by means of a spring embedder algorithm.
SpringEmbedder(CommandManager,String) - constructor for class org.grinvin.gred.commands.SpringEmbedder
startTracking() - static method in class org.grinvin.help.HelpManager
stateChanged(ChangeEvent) - method in class org.grinvin.list.commands.GraphListRename
StateStack<E> - class org.grinvin.engine.apengine.StateStack<E>
Abstract class for handling state in the tree generators.
stateStack - field in class org.grinvin.engine.apengine.TreeGenerator
StateStack() - constructor for class org.grinvin.engine.apengine.StateStack<E>
Create a new StateStack.
EngineRunner.Status - class org.grinvin.engine.EngineRunner.Status
SvgIconManager - class org.grinvin.gui.icons.SvgIconManager
Handles creation of icons from svg files.
SvgIconManager() - constructor for class org.grinvin.gui.icons.SvgIconManager
Default constructor.

T

tableChanged(TableModelEvent) - method in class org.grinvin.graphbrowser.GraphTableComponent
tipWidth - field in class org.grinvin.gui.MultilineToolTip
toElement() - method in class org.grinvin.io.Bounds
toElement() - method in class org.grinvin.io.EmbeddingSaver
Convert the given embedding to a JDOM-element.
toElement() - method in class org.grinvin.io.GraphSaver
Create a JDOM-element that represents the abstract graph for this initializer.
toElement() - method in class org.grinvin.util.InternationalizedProperties
Convert the current list of properties to a JDOM-element with the default name resources.
toElement() - method in class org.grinvin.invariants.InvariantValue
Converts this value to a JDOM element.
toElement(String) - method in class org.grinvin.util.InternationalizedProperties
Convert the current list of properties to a JDOM-element of the given name.
toEmbedding(Element) - method in class org.grinvin.io.EmbeddingLoader
Construct the embedding for the current graph from the given JDOM element.
toggleSelection(Collection) - method in class org.grinvin.gui.SelectionModel<T>
Toggle the selection for the given set of objects.
toggleSelection(T) - method in class org.grinvin.gui.SelectionModel<T>
Toggles the selection.
toGraph(Element) - method in class org.grinvin.io.GraphLoader
Construct the abstract graph from the given JDOM element and fill the translation table.
top - field in class org.grinvin.engine.apengine.StateStack<E>
toString() - method in class org.grinvin.engine.apengine.BinaryTree
toString() - method in class org.grinvin.list.GraphListElement
toString() - method in class org.grinvin.params.IntegerList
toString() - method in class org.grinvin.invariants.Invariant
Return the localized name of the invariant.
toString() - method in class org.grinvin.invariants.InvariantFactory
Should return the same string as getName().
toString() - method in class org.grinvin.invariants.InvariantValue
toString() - method in class org.grinvin.engine.apengine.Operators.Invariant
toString(int) - method in class org.grinvin.engine.apengine.BinaryTree
toString(int) - method in class org.grinvin.engine.apengine.LabeledBinaryTree
toText() - method in class org.grinvin.invariants.BooleanValue
Convert this value to a string, so it can be displayed as part of a GUI.
toText() - method in class org.grinvin.invariants.IntegerValue
Convert this value to a string, so it can be displayed as part of a GUI.
toText() - method in class org.grinvin.invariants.InvariantValue
Convert this value to a string, so it can be displayed as part of a GUI.
toText() - method in class org.grinvin.invariants.RealValue
Convert this value to a string, so it can be displayed as part of a GUI.
toText(Object) - method in class org.grinvin.params.ParameterEditor
Convert the given parameter value to a textual representation.
toText(Object[]) - method in class org.grinvin.params.ParameterList
Convert the given list of parameter values to their string representations.
TRANSFER_HANDLER - static field in class org.grinvin.graphbrowser.CommonGraphListTransferHandler
TRANSFER_HANDLER - static field in class org.grinvin.graphbrowser.InvariantListComponent
transform(double[],double[]) - method in class org.grinvin.gred.transformations.AbstractTransformation
Transform the given set of coordinates from source space to destination space.
transform(double[],double[]) - method in class org.grinvin.gred.Transformation
Transform the given set of coordinates from source space to destination space.
Transformation - interface org.grinvin.gred.Transformation
Coordinate transformation from n-dimensional real coordinates (in source space) to 2-dimensional real coordinates (in destination space).
transformationChanged() - method in class org.grinvin.gred.TransformationListener
Called after a change in the transformation.
TransformationListener - interface org.grinvin.gred.TransformationListener
Listens to changes in a transformation.
TransformationSupport - class org.grinvin.gred.transformations.TransformationSupport
Helper class for implementations of Transformation.
Applies a Transformation to an existing embedding.
Create an embedding of this type.
translateSessionURI(URI,File) - static method in class org.grinvin.GraphURI
Translate a relative session URI to an absolute file URI with the given base directory.
TreeGenerator - class org.grinvin.engine.apengine.TreeGenerator
TreeGenerator() - constructor for class org.grinvin.engine.apengine.TreeGenerator
TreeGenerator(int,int) - constructor for class org.grinvin.engine.apengine.TreeGenerator
Private class to represent the stack of the TreeGenerator.
Tridiagonal - class org.grinvin.util.Tridiagonal
This class represents a symmetric tridiagonal real matrix.
Tridiagonal(double[][]) - constructor for class org.grinvin.util.Tridiagonal
Create a tridiagonal matrix which is equivalent to the given symmetric real matrix a by some orthogonal transformation.

U

unaryCount - field in class org.grinvin.engine.apengine.BinaryTree
Operators.UnaryOperator - class org.grinvin.engine.apengine.Operators.UnaryOperator
undefinedValue(org.grinvin.invariants.InvariantComputer) - static method in class org.grinvin.invariants.IntegerValue
Return an object of this type representing an undefined value.
undefinedValue(org.grinvin.invariants.InvariantComputer) - static method in class org.grinvin.invariants.RealValue
Return an object of this type representing an undefined value.
undo() - method in class org.grinvin.gred.undoable.AddElements
Undoes the effects of this change by removing the added elements in reverse chronological order.
undo() - method in class org.grinvin.gred.undoable.ChangeCoordinates
Undoes the effect of this change by moving all vertices back to their original position.
undo() - method in class org.grinvin.gred.undoable.InternationalizedUndoableChange
Does nothing.
undo() - method in class org.grinvin.gred.undoable.RemoveElements
Undoes the effects of this change by restoring the elements in reverse chronological order.
undoEmbeddingChange() - method in class org.grinvin.gred.MutableGraphPanel
Undo the latest embedding change, by reverting to the coordinates of the embedding saved by initiateEmbeddingChange().
undoManager - field in class org.grinvin.gred.GraphPanel
Indicates that the id of an unknown invariant or invariant factory was encountered.
UnknownInvariantException(String,String) - constructor for class org.grinvin.invariants.UnknownInvariantException
Construct an exception of this type
Construct an exception of this type
Indicates that een unknown invariant type was encountered.
Construct an exception of this type
Construct an exception of this type
update(Observable,Object) - method in class org.grinvin.gred.GraphPanel
update(Observable,Object) - method in class org.grinvin.list.GraphViewPanel
updateUI() - method in class org.grinvin.gui.MultilineToolTip

V

valueChanged(ListSelectionEvent) - method in class org.grinvin.list.commands.ExportGraph
valueChanged(ListSelectionEvent) - method in class org.grinvin.list.commands.ExportGraphImage
valueChanged(ListSelectionEvent) - method in class org.grinvin.graphbrowser.GraphListPanel
valueChanged(ListSelectionEvent) - method in class org.grinvin.list.commands.GraphListRename
valueChanged(ListSelectionEvent) - method in class org.grinvin.list.commands.GraphProperties
valueChanged(ListSelectionEvent) - method in class org.grinvin.list.commands.GraphRename
valueChanged(ListSelectionEvent) - method in class org.grinvin.list.commands.RunConjecturing
values - field in class org.grinvin.factories.AbstractFactory
valueStrings - field in class org.grinvin.factories.AbstractFactory
VersionInfo - class org.grinvin.about.VersionInfo
Contains simple versioning info for a single module of GrInvIn.
VersionTableModel - class org.grinvin.about.VersionTableModel
Table which displays module version information.
Vertex - class org.grinvin.Vertex
Represents a single vertex in a graph.
vertexAdded(org.grinvin.Vertex) - method in class org.grinvin.GraphListener
Called after a vertex was added to the graph.
vertexAdded(org.grinvin.Vertex) - method in class org.grinvin.gred.GraphPanel
Called after a vertex was added to the graph.
vertexAdded(org.grinvin.Vertex) - method in class org.grinvin.list.GraphViewPanel
vertexChanged(org.grinvin.Vertex) - method in class org.grinvin.GraphListener
Called when the annotation of a vertex changes.
vertexChanged(org.grinvin.Vertex) - method in class org.grinvin.gred.GraphPanel
Called when the annotation of a vertex changes.
vertexChanged(org.grinvin.Vertex) - method in class org.grinvin.list.GraphViewPanel
Called after a vertex was given new coordinates.
vertexCoordinatesChanged(org.grinvin.Vertex) - method in class org.grinvin.gred.GraphPanel
Called after a vertex was given new coordinates.
VertexInducedGraph - class org.grinvin.gred.commands.VertexInducedGraph
Action command which replaces the graph with the graph induced by the selected vertices.
VertexInducedGraph(CommandManager,String) - constructor for class org.grinvin.gred.commands.VertexInducedGraph
Default constructor
vertexInducedSubGraph() - method in class org.grinvin.gred.MutableGraphPanel
Replaces the current graph with the graph induced by the selected vertices.
Iterator over all vertices of this graph.
vertexIterator() - method in class org.grinvin.DefaultGraph
Iterator over all vertices of this graph.
vertexIterator() - method in class org.grinvin.GraphView
Iterator over all vertices of this graph.
vertexRemoved(org.grinvin.Vertex) - method in class org.grinvin.GraphListener
Called when a vertex was removed from the graph.
vertexRemoved(org.grinvin.Vertex) - method in class org.grinvin.gred.GraphPanel
Called when a vertex was removed from the graph.
vertexRemoved(org.grinvin.Vertex) - method in class org.grinvin.list.GraphViewPanel
Called when a vertex that was previously removed was restored to the graph.
vertexRestored(org.grinvin.Vertex) - method in class org.grinvin.gred.GraphPanel
Called when a vertex that was previously removed was restored to the graph.
vertexRestored(org.grinvin.Vertex) - method in class org.grinvin.list.GraphViewPanel
VerticalIsometricGrid - class org.grinvin.gred.guides.VerticalIsometricGrid
Guides based on a isometric grid with vertical lines.
VerticalIsometricGrid(int) - constructor for class org.grinvin.gred.guides.VerticalIsometricGrid
Create a new object of this type.
vertices() - method in class org.grinvin.DefaultGraph
Set of vertices of this graph.
vertices() - method in class org.grinvin.GraphView
Set of vertices of this graph.
InvariantNode.Visitor - interface org.grinvin.invariants.InvariantNode.Visitor
Interface for visitors to these nodes.
VisualFactory - interface org.grinvin.factories.VisualFactory
Interface for a Factory which can deliver an icon.
VisualGraphFactory - interface org.grinvin.factories.graphs.VisualGraphFactory
Interface for a GraphFactory which at the same time can be visualised as part of a (SWIRL) cell list.
void close() - method in class org.grinvin.gred.GraphPanel3D
void close() - method in class org.grinvin.gred.MutableGraphPanel
void dispose(org.grinvin.gred.GraphEditor) - method in class org.grinvin.workspace.EditorWindowWrapper
Dispose of the editor window and the associated guides tool
Dispose of this window and all dependent windows.
void doLayout() - method in class org.grinvin.graphbrowser.GraphComponent
void doMouseClicked(JComponent,MouseEvent) - method in class org.grinvin.gred.mouse.AddEdges
Do nothing when clicked, but consume event.
void doMouseClicked(JComponent,MouseEvent) - method in class org.grinvin.gred.mouse.AddVertices
Adds a new vertex at the position clicked.
void doMouseClicked(JComponent,MouseEvent) - method in class org.grinvin.gred.mouse.SelectElements
Sets the selection to the current element or toggles the current element when 'Control' is down.
void doMouseClicked(JComponent,MouseEvent) - method in class org.grinvin.gred.mouse.SelectRectangle
Clear the selection when the mouse was clicked (but not ctrl-clicked)
void doMouseClicked(JComponent,MouseEvent) - method in class org.grinvin.gred.mouse.SplitEdges
Splits the edge at the position clicked.
Repaint the 'ghost' line.
Move the selected elements.
Performs a drag.
void doMousePressed(JComponent,MouseEvent) - method in class org.grinvin.gred.mouse.AddEdges
Register the vertex clicked as the current 'anchor' vertex.
void doMousePressed(JComponent,MouseEvent) - method in class org.grinvin.gred.mouse.MoveSelection
Select elements clicked.
void doMousePressed(JComponent,MouseEvent) - method in class org.grinvin.gred.mouse.Rotate3D
Consume the event when pressed.
void doMousePressed(JComponent,MouseEvent) - method in class org.grinvin.gred.mouse.SelectRectangle
Consume the event when pressed.
void doMouseReleased(JComponent,MouseEvent,MouseEvent) - method in class org.grinvin.gred.mouse.AddEdges
When released on a vertex, join this vertex to the anchor vertex, unless such an edge already exists.
Consolidate the drag.
Sets the selection to the elements within the current rectangle or adds these elements to the selection when 'Control' is down.
void inverseTransform(double,double,double[]) - method in class org.grinvin.gred.transformations.AffineTransformation
Perform an inverse transformation from destination space back to source space.
void paintComponent(Graphics) - method in class org.grinvin.gui.DropList
void paintComponent(Graphics) - method in class org.grinvin.gred.GraphPanel
Paints the graph on the panel using the current renderer.
void paintComponent(Graphics) - method in class org.grinvin.list.GraphViewPanel
Paints the graph on the panel using the current renderer.
Paints the rubber band line.
Paints the rubber band rectangle.
Save the window, its graph list and its list of invariants.
Save the window, its graph list and its list of invariants.
Load the editor window, its graph list, the graph being edited and the guides tool configuration.
Save this window and all dependent windows.
void setDimension(int) - method in class org.grinvin.DefaultEmbeddingModel
void setValue(Object) - method in class org.grinvin.list.GraphListTableRenderer
Renders a graph list element as a combination of icon and graph name.
void setValue(Object) - method in class org.grinvin.list.InvariantTableCellRenderer
Renders an invariant.
void setValue(Object) - method in class org.grinvin.list.InvariantValueTableCellRenderer
Renders an invariant value.

W

window - field in class org.grinvin.list.commands.GraphBrowserMultiPanelCommand
GraphTableWindow onto which this command acts.
WindowGroup - class org.grinvin.grinvin.WindowGroup
Handles the dynamic list of currently available graph browser windows.
WindowGroup(CommandManager,String,TypedListModel) - constructor for class org.grinvin.grinvin.WindowGroup
workingTree - field in class org.grinvin.engine.apengine.TreeGenerator
Workspace - class org.grinvin.workspace.Workspace
Handles session persistence.
WorkspaceException - class org.grinvin.workspace.WorkspaceException
Indicates that something went wrong while loading or saving a workspace
WorkspaceException(String,File) - constructor for class org.grinvin.workspace.WorkspaceException
Construct an exception of this type
WorkspaceException(String,File,Throwable) - constructor for class org.grinvin.workspace.WorkspaceException
Construct an exception of this type
Wrapper<C> - interface org.grinvin.workspace.Wrapper<C>
An object of this type manages the life cycle of one or more subcomponents of the GrInVin system, of type .

X

XMLUtils - class org.grinvin.xml.XMLUtils
Helper methods for XML-processing.

Z

zoom(double) - method in class org.grinvin.gred.transformations.AffineTransformation
Zoom by the given factor in destination space.
zoom(double) - method in class org.grinvin.gred.transformations.OrthogonalProjection
Zoom by the given factor in destination space.