Alphabetical Index

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

>

> getListOfInvariantValues() - method in class org.grinvin.generators.graphs.InvariantListGeneratorSink
Return the results of computing all invariants.
>result - field in class org.grinvin.generators.graphs.InvariantListGeneratorSink

A

AboutDialog - class org.grinvin.about.AboutDialog
Displays the 'About' dialog, with versioning information.
AboutDialog() - constructor for class org.grinvin.about.AboutDialog
Provides standard implementation for the time stamp of a ConjectureHistoryEntry.
Creates a new instance of AbstractConjectureHistoryEntry
AbstractDragHandler - class org.grinvin.gui.dnd.AbstractDragHandler
Abstract implementation of DragHandler.
AbstractDragHandler(Class,int) - constructor for class org.grinvin.gui.dnd.AbstractDragHandler
AbstractDropHandler - class org.grinvin.gui.dnd.AbstractDropHandler
Abstract implementation of DropHandler.
AbstractDropHandler(Class,boolean) - constructor for class org.grinvin.gui.dnd.AbstractDropHandler
AbstractEngine - class org.grinvin.conjecture.engine.AbstractEngine
AbstractFactory - class org.grinvin.factories.AbstractFactory
Provides classes and interfaces for general factories.
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.
AbstractGraphFilter - class org.grinvin.conjecture.filter.AbstractGraphFilter
Basic implementation of GraphFilter that offers the possibility for negation.
AbstractGraphFilter() - constructor for class org.grinvin.conjecture.filter.AbstractGraphFilter
Creates a new instance of AbstractGraphFilter
AbstractGraphFilter(boolean) - constructor for class org.grinvin.conjecture.filter.AbstractGraphFilter
AbstractGraphGenerator - class org.grinvin.generators.graphs.AbstractGraphGenerator
Common superclass of various graph generator classes.
AbstractGraphGenerator() - constructor for class org.grinvin.generators.graphs.AbstractGraphGenerator
Default constructor.
Abstract super class of all graph generator instances.
AbstractGraphGeneratorSink - class org.grinvin.generators.graphs.AbstractGraphGeneratorSink
Graph generator sink that uses default graph bundles.
AbstractGraphIcon - class org.grinvin.gui.icons.AbstractGraphIcon
Implementation of AbstractSelectUnselectIcon that implements GraphIcon.
Abstract implementation for GraphListElement actions.
Cell list cell renderer which is used by most cell lists in Grinvin.
AbstractGuides - class org.grinvin.gred.guides.AbstractGuides
Abstract implementation of Guides.
AbstractGuides() - constructor for class org.grinvin.gred.guides.AbstractGuides
AbstractInequalityEngine - class org.grinvin.conjecture.engine.AbstractInequalityEngine
AbstractInvariant - class org.grinvin.invariants.AbstractInvariant
Abstract implementation of an Invariant.
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
Abstract superclass used by most invariant computer factories.
AbstractInvariantComputerFactory() - constructor for class org.grinvin.invariants.computers.AbstractInvariantComputerFactory
AbstractInvariantValue - class org.grinvin.invariants.values.AbstractInvariantValue
Wraps the result of an invariant computation and provides a means to represent this result both as a string and an XML element.
AbstractInvariantValue(org.grinvin.invariants.InvariantType) - constructor for class org.grinvin.invariants.values.AbstractInvariantValue
Create a value of the given type which was computed by the given invariant computer.
Abstract implementation for invariant value actions.
Create an action of this type for the given invariant value and graph list element.
AbstractListAction<E> - class org.grinvin.list.actions.AbstractListAction<E>
Abstract implementation for list actions.
AbstractNamedFactory - class org.grinvin.factories.AbstractNamedFactory
Common superclass of various visual graph factory classes.
AbstractNamedFactory(String) - constructor for class org.grinvin.factories.AbstractNamedFactory
Default constructor.
Abstract implementation of PrioritizedRunnable that supports scheduling of Runnables.
Abstract helper class for SectionSavers.
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(org.grinvin.expr.Expression.Visitor) - method in class org.grinvin.invariants.AbstractInvariant
Accept a visitor on this node.
accept(org.grinvin.expr.Expression.Visitor) - method in class org.grinvin.expr.Compound
Accept a visitor on this node.
accept(org.grinvin.expr.Expression.Visitor) - method in class org.grinvin.expr.Expression
Accept a visitor on this node.
Accept a visitor on this node.
Accept a visitor on this node.
accept(Visitor) - method in class org.grinvin.invariants.InvariantGroup
acceptDrop(JComponent,Object,int) - method in class org.grinvin.gui.dnd.FactoryDropHandler
acceptDrop(JComponent,Object,int) - method in class org.grinvin.gui.dnd.FilterDropHandler
acceptDrop(JComponent,Object,int) - method in class org.grinvin.gui.dnd.GeneratorDropHandler
acceptDrop(JComponent,Object,int) - method in class org.grinvin.gui.dnd.InvariantDropHandler
accepts(org.grinvin.graphs.GraphBundleView) - method in class org.grinvin.conjecture.filter.AbstractGraphFilter
accepts(org.grinvin.graphs.GraphBundleView) - method in class org.grinvin.conjecture.filter.GraphFilter
accepts_impl(org.grinvin.graphs.GraphBundleView) - method in class org.grinvin.conjecture.filter.AbstractGraphFilter
accepts_impl(org.grinvin.graphs.GraphBundleView) - method in class org.grinvin.conjecture.filter.BooleanValueGraphFilter
accepts_impl(org.grinvin.graphs.GraphBundleView) - method in class org.grinvin.conjecture.filter.CompoundGraphFilter
AcceptsFilter - interface org.grinvin.gui.components.AcceptsFilter
AcceptsInvariant - interface org.grinvin.gui.components.AcceptsInvariant
acceptsInvariant(InvariantValue>) - method in class org.grinvin.gui.components.AcceptsInvariant
Check whether invariants that return this type can be accepted.
acceptsInvariant(InvariantValue>) - method in class org.grinvin.gui.components.FilterListComponent
acceptsInvariant(InvariantValue>) - method in class org.grinvin.gui.components.GraphPropertiesTableComponent
Check whether invariants that return this type can be accepted.
acceptsInvariant(InvariantValue>) - method in class org.grinvin.gui.components.InvariantListComponent
Check whether invariants that return this type can be accepted.
acceptsInvariant(org.grinvin.invariants.Invariant) - method in class org.grinvin.gui.components.AcceptsInvariant
Check whether the invariant can be accepted.
acceptsInvariant(org.grinvin.invariants.Invariant) - method in class org.grinvin.gui.components.FilterListComponent
Check whether the invariant can be accepted.
Check whether the invariant can be accepted.
actionPerformed(ActionEvent) - method in class org.grinvin.gred.actions.Clear
actionPerformed(ActionEvent) - method in class org.grinvin.gred.actions.ClearSelection
actionPerformed(ActionEvent) - method in class org.grinvin.gred.actions.Closure
actionPerformed(ActionEvent) - method in class org.grinvin.gred.actions.Complement
actionPerformed(ActionEvent) - method in class org.grinvin.gred.actions.ConnectSelection
actionPerformed(ActionEvent) - method in class org.grinvin.help.CSHAction
actionPerformed(ActionEvent) - method in class org.grinvin.worksheet.actions.DeleteConjectureHistoryAction
actionPerformed(ActionEvent) - method in class org.grinvin.gred.actions.DeleteSelectedGraphs
Delete the currently selected graphs in the snapshot list.
actionPerformed(ActionEvent) - method in class org.grinvin.gred.actions.DeleteSelection
actionPerformed(ActionEvent) - method in class org.grinvin.help.actions.DisplayHelpAfterTracking
actionPerformed(ActionEvent) - method in class org.grinvin.list.actions.DisposeWindowAction
actionPerformed(ActionEvent) - method in class org.grinvin.gred.actions.EdgeInducedGraph
actionPerformed(ActionEvent) - method in class org.grinvin.main.actions.Exit
actionPerformed(ActionEvent) - method in class org.grinvin.main.actions.ExitWithoutSave
actionPerformed(ActionEvent) - method in class org.grinvin.list.actions.GraphProperties
actionPerformed(ActionEvent) - method in class org.grinvin.list.actions.GraphRename
Ask the user to rename the currently selected graph list element.
actionPerformed(ActionEvent) - method in class org.grinvin.worksheet.actions.InvalidateGraphBundleCacheAction
actionPerformed(ActionEvent) - method in class org.grinvin.help.actions.LaunchHelp
actionPerformed(ActionEvent) - method in class org.grinvin.help.actions.LaunchWebsite
actionPerformed(ActionEvent) - method in class org.grinvin.gred.actions.LineGraph
actionPerformed(ActionEvent) - method in class org.grinvin.gred.actions.MergeSelection
actionPerformed(ActionEvent) - method in class org.grinvin.main.actions.NewWorksheet
actionPerformed(ActionEvent) - method in class org.grinvin.main.actions.NewWorkspace
actionPerformed(ActionEvent) - method in class org.grinvin.list.actions.RecalculateInvariantValueAction
actionPerformed(ActionEvent) - method in class org.grinvin.list.actions.RenameAction<T,extends,HasName>
actionPerformed(ActionEvent) - method in class org.grinvin.worksheet.actions.RenameGraphListElementAction
actionPerformed(ActionEvent) - method in class org.grinvin.list.actions.RunConjecturing
actionPerformed(ActionEvent) - method in class org.grinvin.worksheet.actions.SaveConjectureHistoryAction
actionPerformed(ActionEvent) - method in class org.grinvin.main.actions.SaveWorkspace
actionPerformed(ActionEvent) - method in class org.grinvin.gred.actions.SelectAll
actionPerformed(ActionEvent) - method in class org.grinvin.list.actions.ShowDetailsAction
actionPerformed(ActionEvent) - method in class org.grinvin.worksheet.actions.ShowGraphPropertiesAction
actionPerformed(ActionEvent) - method in class org.grinvin.gred.actions.SnapAll
actionPerformed(ActionEvent) - method in class org.grinvin.gred.actions.SnapSelection
actionPerformed(ActionEvent) - method in class org.grinvin.gred.actions.SnapshotAction
Takes a snapshot of the current graph in a panel and stores it into the given graph list.
actionPerformed(ActionEvent) - method in class org.grinvin.gred.actions.SplitSelection
actionPerformed(ActionEvent) - method in class org.grinvin.gred.actions.SpringEmbedder
Consolidates the changes.
actionPerformed(ActionEvent) - method in class org.grinvin.gred.actions.VertexInducedGraph
actionPerformed(ActionEvent) - method in class org.grinvin.list.actions.WorksheetRename
Ask the user to rename the currently selected graph list element.
actionPerformed(ActionEvent) - method in class org.grinvin.list.actions.WorksheetRenameOne
Ask the user to rename the currently selected worksheet.
ActivateWindow - class org.grinvin.main.actions.ActivateWindow
ActivateWindow(Frame) - constructor for class org.grinvin.main.actions.ActivateWindow
Add an invariant to the combobox.
add(org.grinvin.invariants.InvariantNode) - method in class org.grinvin.invariants.InvariantGroup
Add a child to the group.
addAll(GraphFilter>) - method in class org.grinvin.list.DefaultFilterListModel
addAll(GraphListElement>) - method in class org.grinvin.list.graphs.DefaultGraphListModel
addAll(int,GraphFilter>) - method in class org.grinvin.list.DefaultFilterListModel
addAll(int,GraphListElement>) - method in class org.grinvin.list.graphs.DefaultGraphListModel
Register a annotation listener with this model.
Register a annotation listener with this model.
addChangeListener(ChangeListener) - method in class org.grinvin.conjecture.engine.EngineRunner
Register an object which is informed of changes in the 'running' state of this runner.
addChild(org.grinvin.list.graphs.GraphNode) - method in class org.grinvin.list.graphs.GraphGroup
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.gred.undoable.UndoableGraph,List) - constructor for class org.grinvin.gred.undoable.AddElements
Create an undoable change for adding elements to a graph.
Create an undoable change for adding a single element to a graph.
Register a embedding listener with this model.
Register a embedding listener with this model.
Register a embedding listener with this model.
addFilter(org.grinvin.conjecture.filter.GraphFilter) - method in class org.grinvin.gui.components.AcceptsFilter
Accept a filter.
Accept a filter.
addFocusListener(FocusListener) - method in class org.grinvin.params.ParameterComponent
Register a graph listener with this model.
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.gui.components.AcceptsInvariant
Accept an invariant.
addInvariant(org.grinvin.invariants.Invariant) - method in class org.grinvin.gui.components.FilterListComponent
Accept an invariant.
addInvariant(org.grinvin.invariants.Invariant) - method in class org.grinvin.gui.components.InvariantListComponent
Accept an invariant.
Add the given InvariantValue as a cached value to this bundle
Add the given InvariantValue as a cached value to this bundle
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.
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() - method in class org.grinvin.graphs.DefaultGraph
Create a new vertex and add it to the graph.
addNewVertex() - method in class org.grinvin.graphs.Graph
Create a new vertex and add it to the graph.
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.
Add a parameter at the end of this list.
add a popup for the tab corresponding to the Component in the JTabbedpane.
addPropertyValueFor(String) - method in class org.grinvin.about.OtherTableModel
addResult(org.grinvin.expr.Expression) - method in class org.grinvin.worksheet.WorksheetModel
addSection(String) - method in class org.grinvin.io.AbstractSectionSaver
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.main.GrinvinWindow
addToList(List) - method in class org.grinvin.util.SingletonBroker<T>
Add all singleton objects to the given list.
Register a transformation listener with this model.
addTreeModelListener(TreeModelListener) - method in class org.grinvin.list.graphs.GraphTreeModel
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.graphs.DefaultGraphBundle
Returns a (cached) adjacency list representation for the corresponding graph.
adjacencyList() - method in class org.grinvin.graphs.GraphBundleView
Returns a (cached) adjacency list representation for the corresponding graph.
adjacencyList() - method in class org.grinvin.graphs.LightweightGraphBundle
Returns a (cached) adjacency list representation for the corresponding graph.
adjacencyList(org.grinvin.graphs.GraphView) - static method in class org.grinvin.graphs.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.
allDone() - method in class org.grinvin.gui.components.MindgameButtonsComponent.MindgameButtonsComponentListener
allDone() - method in class org.grinvin.gui.components.MindgameComponent
allows(org.grinvin.invariants.Invariant) - method in class org.grinvin.conjecture.engine.AbstractInequalityEngine
allows(org.grinvin.invariants.Invariant) - method in class org.grinvin.conjecture.engine.Engine
Can the engine make use of the given invariant?
allowsMultipleDrops(JComponent) - method in class org.grinvin.gui.dnd.AbstractDropHandler
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.
AnnotatedRenderer - class org.grinvin.graphs.render.AnnotatedRenderer
An extension of DefaultRenderer that adds rendering of annotations.
Annotation getAnnotation() - method in class org.grinvin.gred.MutableGraphPanel
Returns the (mutable) annotation used by this panel.
annotation - field in class org.grinvin.gred.GraphPanel
annotation - field in class org.grinvin.list.GraphViewPanel
Annotation - interface org.grinvin.graphs.Annotation
annotationChanged() - method in class org.grinvin.graphs.AnnotationListener
Called after a major change in the annotation.
annotationChanged() - method in class org.grinvin.gred.GraphPanel
annotationChanged() - method in class org.grinvin.list.GraphViewPanel
AnnotationListener - interface org.grinvin.graphs.AnnotationListener
Listens to changes in an annotation.
AnnotationLoader - class org.grinvin.io.graphs.AnnotationLoader
AnnotationModel - interface org.grinvin.graphs.AnnotationModel
annotations - field in class org.grinvin.graphs.DefaultGraphBundle
AnnotationSaver - class org.grinvin.io.graphs.AnnotationSaver
AnnotationView - interface org.grinvin.graphs.AnnotationView
APEngine - class org.grinvin.conjecture.engine.APEngine
Proof of concept implementation of Engine.
APEngine() - constructor for class org.grinvin.conjecture.engine.APEngine
Check whether the given vertices are adjacent in this graph.
asDouble() - method in class org.grinvin.invariants.values.NumericValue
Return the actual value as a real number.
attachRepeaterTo(JButton) - method in class org.grinvin.gred.actions.SpringEmbedder
Attach a repeater to the button associated with this action.
AutoSnapListener - class org.grinvin.gred.actions.AutoSnapListener
Toggles the state of the 'snap to guides' flag on the graph panel.
AutoSnapListener(org.grinvin.gred.MutableGraphPanel) - constructor for class org.grinvin.gred.actions.AutoSnapListener
Object if this type which works on the given panel.

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.
BarChartAndList - class org.grinvin.invariants.details.BarChartAndList
Combines a bar chart and a list in a single panel.
BarChartAndList(Number>) - constructor for class org.grinvin.invariants.details.BarChartAndList
Create a bar chart and list with given data model.
BarChartAndList(Number>,Number) - constructor for class org.grinvin.invariants.details.BarChartAndList
Create a bar chart and list with given data model and reference value.
BarChartPanel - class org.grinvin.invariants.details.BarChartPanel
Panel which displays a list of real numbers in a bar chart.
BarChartPanel(Number>) - constructor for class org.grinvin.invariants.details.BarChartPanel
Create a bar chart panel with given data model.
BarChartPanel(Number>,ListSelectionModel) - constructor for class org.grinvin.invariants.details.BarChartPanel
Create a bar chart panel with given data model and selection model.
BarChartPanel(Number>,ListSelectionModel,Number) - constructor for class org.grinvin.invariants.details.BarChartPanel
Create a bar chart panel with given data model, selection model and reference value.
BarChartPanel(Number>,Number) - constructor for class org.grinvin.invariants.details.BarChartPanel
Create a bar chart panel with given data model and reference value.
baseElement() - method in class org.grinvin.workspace.DefaultWindowWrapper<W,extends,Window>
Create a JDOM-element that contains the version information.
bestEffortTree(org.grinvin.invariants.InvariantValue[][],int) - method in class org.grinvin.conjecture.engine.APEngine
binaryCount - field in class org.grinvin.conjecture.engine.apengine.BinaryTree
Operators.BinaryOperator - class org.grinvin.conjecture.engine.apengine.Operators.BinaryOperator
BinaryTree - class org.grinvin.conjecture.engine.apengine.BinaryTree
This class represents a binary tree.
BinaryTree(int,int) - constructor for class org.grinvin.conjecture.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.conjecture.engine.apengine.BinaryTree
Create a new binary tree.
BinaryTreeFactory - class org.grinvin.conjecture.engine.apengine.BinaryTreeFactory
Factory for creating a BinaryTree.
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 equals(Object) - method in class org.grinvin.invariants.AbstractInvariant
Two invariants are equal if and only if their identifiers are the same.
boolean getScrollableTracksViewportHeight() - method in class org.grinvin.gui.components.GraphTableComponent
boolean isInvertible() - method in class org.grinvin.gred.transformations.AffineTransformation
Is this transformation invertible?
Boolean isTraversable(File) - method in class org.grinvin.io.WorkspaceFileView
booleanAdjacencyMatrix() - method in class org.grinvin.graphs.DefaultGraphBundle
Return a (cached) boolean adjacency matrix for the corresponding graph.
booleanAdjacencyMatrix() - method in class org.grinvin.graphs.GraphBundleView
Return a (cached) boolean adjacency matrix for the corresponding graph.
booleanAdjacencyMatrix() - method in class org.grinvin.graphs.LightweightGraphBundle
Return a (cached) boolean adjacency matrix for the corresponding graph.
booleanAdjacencyMatrix(org.grinvin.graphs.GraphView) - static method in class org.grinvin.graphs.Graphs
Returns a boolean adjacency matrix for the given graph.
BooleanValue - class org.grinvin.invariants.values.BooleanValue
Invariant type which allows boolean values.
BooleanValue(boolean,org.grinvin.invariants.InvariantComputer) - constructor for class org.grinvin.invariants.values.BooleanValue
Create an object of this type with the given boolean value.
BooleanValueDelegate - class org.grinvin.invariants.values.BooleanValueDelegate
BooleanValueGraphFilter - class org.grinvin.conjecture.filter.BooleanValueGraphFilter
GraphFilter that filters graphs based on the value of an invariant that returns a BooleanValue.
BooleanValueGraphFilter(org.grinvin.invariants.Invariant) - constructor for class org.grinvin.conjecture.filter.BooleanValueGraphFilter
Build an expression for the given tree.
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

ChangeCoordinates - class org.grinvin.gred.undoable.ChangeCoordinates
Undoable change for moving elements in a graph.
ChangeCoordinates(org.grinvin.graphs.Embedding,String) - constructor for class org.grinvin.gred.undoable.ChangeCoordinates
Create an undoable change object for moving elements in an embedding.
checkElement(Element,String) - static method in class org.grinvin.io.LoaderSaverHelper
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.
Create a graph icon for the given embedded graph.
ChemicalIcon(org.grinvin.graphs.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.conjecture.engine.apengine.BinaryTree
Return the number of children for the given node.
children(int) - method in class org.grinvin.conjecture.engine.apengine.BinaryTree
Return the children of the given node.
Clear - class org.grinvin.gred.actions.Clear
Action which removes the current graph.
clear() - method in class org.grinvin.list.DefaultFilterListModel
clear() - method in class org.grinvin.graphs.DefaultGraph
Remove all vertices and all edges from this graph.
clear() - method in class org.grinvin.list.graphs.DefaultGraphListModel
clear() - method in class org.grinvin.graphs.Graph
Remove all vertices and all edges from this graph.
clear() - method in class org.grinvin.gred.MutableGraphPanel
Removes the current graph
Clear(org.grinvin.gred.MutableGraphPanel) - constructor for class org.grinvin.gred.actions.Clear
Default constructor
ClearSelection - class org.grinvin.gred.actions.ClearSelection
Action 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(org.grinvin.gred.GraphPanel) - constructor for class org.grinvin.gred.actions.ClearSelection
Default constructor
clone() - method in class org.grinvin.conjecture.engine.apengine.BinaryTree
clone() - method in class org.grinvin.conjecture.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.
Closure - class org.grinvin.gred.actions.Closure
Action which replaces the graph with its closure.
closure() - method in class org.grinvin.gred.MutableGraphPanel
Replaces the current graph with its closure
Closure(org.grinvin.gred.MutableGraphPanel) - constructor for class org.grinvin.gred.actions.Closure
Default constructor
collapsedStateChanged() - method in class org.grinvin.worksheet.HideSubwindowMenuItem
collapsedStateChanged() - method in class org.grinvin.worksheet.SubwindowModelListener
Combine the currently selected filters into one filter.
Common TransferHandler for all graph list components in org.grinvin.worksheet.
Complement - class org.grinvin.gred.actions.Complement
Actionwhich replaces the graph with its complement.
complement() - method in class org.grinvin.gred.MutableGraphPanel
Replaces the current graph with its complement.
Complement(org.grinvin.gred.MutableGraphPanel) - constructor for class org.grinvin.gred.actions.Complement
Default constructor
complete(T) - method in class org.grinvin.conjecture.engine.apengine.TreeGenerator<T,extends,BinaryTree>
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.conjecture.engine.apengine.TreeGenerator<T,extends,BinaryTree>
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
componentMoved(ComponentEvent) - method in class org.grinvin.gui.windows.MindgameWindow.MyComponentListener
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
componentShown(ComponentEvent) - method in class org.grinvin.gui.windows.MindgameWindow.MyComponentListener
Compound - class org.grinvin.expr.Compound
Compound expression, i.e., an expression containing one or several 'sub-expressions'.
Create an expression which applies the given operator to the given argument.
Create an expression which applies the given operator to the two given arguments.
Create an expression which applies the given operator to the given array of arguments.
CompoundGraphFilter - class org.grinvin.conjecture.filter.CompoundGraphFilter
CompoundGraphFilter(org.grinvin.list.FilterListModel) - constructor for class org.grinvin.conjecture.filter.CompoundGraphFilter
compute(org.grinvin.graphs.GraphBundleView) - method in class org.grinvin.invariants.InvariantComputer
Compute the value of the associated invariant for the given graph.
Computer() - constructor for class org.grinvin.invariants.computers.AbstractInvariantComputerFactory.Computer<T,extends,InvariantValue>
computers - field in class org.grinvin.generators.graphs.InvariantListGeneratorSink
configureFactory(org.grinvin.factories.Factory) - static method in class org.grinvin.factories.FactoryManager
ConjectureEntry - class org.grinvin.conjecture.history.ConjectureEntry
Implementation of ConjectureHistoryEntry that holds the result of a run of a conjecturing engine.
ConjectureEntry() - constructor for class org.grinvin.conjecture.history.ConjectureEntry
Creates a new instance of ConjectureEntry
ConjectureEntry(org.grinvin.expr.Expression) - constructor for class org.grinvin.conjecture.history.ConjectureEntry
Creates a new instance of ConjectureEntry
ConjectureEntryDelegate - class org.grinvin.conjecture.history.ConjectureEntryDelegate
Interface for items in a history of the conjecturing engine.
ConjectureHistoryList - interface org.grinvin.list.ConjectureHistoryList
Interface to ease the use of lists of ConjectureHistoryEntry.
Helper methods for saving the conjecture history to disk.
ConjectureHistoryOverview - class org.grinvin.conjecture.history.ConjectureHistoryOverview
View of the conjecture history
Creates a new instance of ConjectureHistoryOverview
ConjectureList - interface org.grinvin.list.ConjectureList
ConjectureListLoader - class org.grinvin.io.list.ConjectureListLoader
ConjectureListModel - interface org.grinvin.list.ConjectureListModel
ConjectureListSaver - class org.grinvin.io.list.ConjectureListSaver
Combo box model for the conjecturing window.
ConjecturingWindowWrapper - class org.grinvin.workspace.compat.ConjecturingWindowWrapper
ConjecturingWindowWrapper() - constructor for class org.grinvin.workspace.compat.ConjecturingWindowWrapper
ConnectSelection - class org.grinvin.gred.actions.ConnectSelection
Action which connects the current selected vertices.
connectSelection() - method in class org.grinvin.gred.MutableGraphPanel
Connects the current selected vertices (i.e.
ConnectSelection(org.grinvin.gred.MutableGraphPanel) - constructor for class org.grinvin.gred.actions.ConnectSelection
Default constructor
contains(org.grinvin.graphs.Edge) - method in class org.grinvin.graphs.DefaultGraph
contains(org.grinvin.graphs.Edge) - method in class org.grinvin.graphs.GraphView
Does the given edge belong to this graph?
contains(org.grinvin.graphs.Vertex) - method in class org.grinvin.graphs.DefaultGraph
contains(org.grinvin.graphs.Vertex) - method in class org.grinvin.graphs.GraphView
Does the given vertex belong to this graph?
containsSection(String) - method in class org.grinvin.io.AbstractSectionSaver
containsSection(String) - method in class org.grinvin.io.SectionSaver
containsSessionElements() - method in class org.grinvin.list.generators.DefaultGraphGeneratorInstanceListModel
containsSessionElements() - method in class org.grinvin.list.graphs.DefaultGraphList
containsSessionElements() - method in class org.grinvin.list.graphs.DefaultGraphListModel
containsSessionElements() - method in class org.grinvin.list.invariants.DefaultInvariantList
containsSessionElements() - method in class org.grinvin.list.invariants.DefaultInvariantListModel
containsSessionElements() - method in class org.grinvin.list.generators.GraphGeneratorInstanceList
containsSessionElements() - method in class org.grinvin.list.graphs.GraphList
containsSessionElements() - method in class org.grinvin.list.invariants.InvariantList
contents - field in class org.grinvin.conjecture.engine.apengine.BinaryTree
contentsChanged(ListDataEvent) - method in class org.grinvin.invariants.details.BarChartPanel
contentsChanged(ListDataEvent) - method in class org.grinvin.conjecture.filter.CompoundGraphFilter
contentsChanged(ListDataEvent) - method in class org.grinvin.conjecture.history.ConjectureHistoryOverview
contentsChanged(ListDataEvent) - method in class org.grinvin.worksheet.ConjecturingComboBoxModel
contentsChanged(ListDataEvent) - method in class org.grinvin.invariants.details.GradientBarChartPanel
contentsChanged(ListDataEvent) - method in class org.grinvin.conjecture.engine.MainInvariantConfigurationPanel
contentsChanged(ListDataEvent) - method in class org.grinvin.list.actions.RunConjecturing
contentsChanged(ListDataEvent) - method in class org.grinvin.worksheet.WorksheetWindow
context - field in class org.grinvin.gred.GraphPanel
context - field in class org.grinvin.list.GraphViewPanel
copy(org.grinvin.graphs.AnnotationView) - method in class org.grinvin.graphs.Annotation
Make this annotation a copy of the given view using the peer of the original.
copy(org.grinvin.graphs.AnnotationView) - method in class org.grinvin.graphs.DefaultAnnotation
Make this annotation a copy of the given view using the peer of the original.
Make this annotation a copy of the given view using the given peer.
Make this annotation a copy of the given view using the given peer.
copy(org.grinvin.graphs.EmbeddingView) - method in class org.grinvin.graphs.DefaultEmbedding
copy(org.grinvin.graphs.EmbeddingView) - method in class org.grinvin.graphs.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.
copy(org.grinvin.graphs.GraphView) - method in class org.grinvin.graphs.DefaultGraph
Make this graph a copy of the given view.
copy(org.grinvin.graphs.GraphView) - method in class org.grinvin.graphs.Graph
Make this graph a copy of the given view.
correct(T) - method in class org.grinvin.conjecture.engine.apengine.TreeGenerator<T,extends,BinaryTree>
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.compat.ConjecturingWindowWrapper
Create the subcomponent(s) managed by this wrapper.
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.compat.GraphBrowserWindowWrapper
create() - method in class org.grinvin.workspace.compat.GrinvinWindowWrapper_1_0
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.
createAnnotation() - method in class org.grinvin.graphs.DefaultGraphBundle
Factory method which creates a new (empty) annotation and installs it as the next annotation in this bundle, i.e., the annotation with the next available index.
createAnnotation() - method in class org.grinvin.graphs.GraphBundle
Factory method which creates a new (empty) annotation and installs it as the next annotation in this bundle, i.e., the annotation with the next available index.
createAnnotation() - method in class org.grinvin.gred.GraphBundleWithModels
This implementation creates an annotation of type DefaultAnnotationModel.
createAnnotation() - method in class org.grinvin.graphs.LightweightGraphBundle
Factory method which creates a new (empty) annotation and installs it as the next annotation in this bundle, i.e., the annotation with the next available index.
createArray(int) - method in class org.grinvin.conjecture.engine.apengine.StateStack<E>
createArray(int) - method in class org.grinvin.conjecture.engine.apengine.TreeGenerator.TreeGeneratorStateStack
Create a graph and embedding with vertices spaced equally along the circumference of the unit circle.
createCyclicEmbedding(org.grinvin.graphs.GraphBundle) - static method in class org.grinvin.generators.graphs.AbstractGraphGeneratorInstance
Auxiliary method that creates a cyclic embedding for the given bundle.
createEmbedding() - method in class org.grinvin.graphs.DefaultGraphBundle
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.graphs.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.
createEmbedding() - method in class org.grinvin.graphs.LightweightGraphBundle
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.
createFactory(String) - static method in class org.grinvin.graphs.GraphURI
createGraph() - method in class org.grinvin.graphs.DefaultGraphBundle
Factory method which creates a new (empty) graph for this bundle.
createGraph() - method in class org.grinvin.graphs.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() - method in class org.grinvin.graphs.LightweightGraphBundle
Factory method which creates a new (empty) graph for this bundle.
Should be overridden to initialize graph, embedding and annotation.
createGraph(org.grinvin.graphs.GraphBundle) - method in class org.grinvin.factories.graphs.AbstractGraphFactory
createGraph(org.grinvin.graphs.GraphBundle) - method in class org.grinvin.factories.graphs.GraphFactory
Create a graph and store it into the given graph bundle.
createGraphBundle() - method in class org.grinvin.generators.graphs.AbstractGraphGeneratorSink
This implementation returns a DefaultGraphBundle with a generated name.
createGraphBundle() - method in class org.grinvin.generators.graphs.GraphGeneratorSink
Creates an empty graph bundle which can be filled by the generator and handed to receiveGraphBundle(GraphBundle).
createGraphBundle() - method in class org.grinvin.generators.graphs.InvariantListGeneratorSink
Creates an empty graph bundle which can be filled by the generator and handed to GraphGeneratorSink.receiveGraphBundle(GraphBundle).
createIcon(Object,int) - method in class org.grinvin.gui.components.render.AbstractGrinvinCellListCellRenderer
createIcon(Object,int) - method in class org.grinvin.gui.components.render.GraphFactoryCellRenderer
createIcon(Object,int) - method in class org.grinvin.gui.components.render.GraphGeneratorCellRenderer
createIcon(Object,int) - method in class org.grinvin.gui.components.render.GraphListElementCellRenderer
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.
createInstance() - method in class org.grinvin.generators.graphs.GraphGenerator
Should be overridden to generate an instance for the current values of the factory arguments.
Create and register an instance from the given generator with its current parameters.
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.gui.components.GraphListComponent
createNewWorksheetWindow() - method in class org.grinvin.list.DefaultWorksheetListModel
Create a new worksheet window and add it to this list.
createNewWorksheetWindow() - method in class org.grinvin.list.WorksheetListModel
Create a graph amd embedding with vertices spaced equally along the interval -1..1.
createSection(String) - method in class org.grinvin.io.DirectorySectionSaver
Create the section with the given name and return an output stream for that section.
createSection(String) - method in class org.grinvin.io.SectionSaver
Create the section with the given name and return an output stream for that section.
createSection(String) - method in class org.grinvin.io.ZipOutputStreamSectionSaver
createSelectUnselectIcon(String,String,int) - method in class org.grinvin.gui.icons.SvgIconManager
createSession(String) - static method in class org.grinvin.graphs.GraphURI
createToolTip() - method in class org.grinvin.gui.components.GraphTreeComponent
createTree(int,int) - method in class org.grinvin.conjecture.engine.apengine.BinaryTreeFactory
createTree(int,int) - method in class org.grinvin.conjecture.engine.apengine.LabeledBinaryTreeFactory
createTree(int,int) - method in class org.grinvin.conjecture.engine.apengine.TreeFactory<T,extends,BinaryTree>
CSHAction - class org.grinvin.help.CSHAction
Action to display context-sensitive help for a component.
CSHAction(String) - constructor for class org.grinvin.help.CSHAction
creates a new CSHAction that opens the given id
currentBinaryOperators - field in class org.grinvin.conjecture.engine.apengine.TreeGenerator<T,extends,BinaryTree>
currentUnaryOperators - field in class org.grinvin.conjecture.engine.apengine.TreeGenerator<T,extends,BinaryTree>

D

d - field in class org.grinvin.util.Tridiagonal
Diagonal elements of this matrix.
darkerBackground - field in class org.grinvin.gui.MultilineToolTip
DefaultAnnotation - class org.grinvin.graphs.DefaultAnnotation
DefaultAnnotation(org.grinvin.graphs.GraphView) - constructor for class org.grinvin.graphs.DefaultAnnotation
Create an annotation for the given peer graph.
Default implementation of ConjectureHistoryListModel.
DefaultEdge - class org.grinvin.graphs.DefaultEdge
Default implementation of Edge.
DefaultEmbedding - class org.grinvin.graphs.DefaultEmbedding
Default implementation of Embedding.
DefaultEmbedding(org.grinvin.graphs.EmbeddingView) - constructor for class org.grinvin.graphs.DefaultEmbedding
Create a copy of a given embedding which shares the same peer.
DefaultEmbedding(org.grinvin.graphs.GraphView,int) - constructor for class org.grinvin.graphs.DefaultEmbedding
Create an embedding of the given dimension for the given peer graph.
DefaultEmbeddingModel - class org.grinvin.graphs.DefaultEmbeddingModel
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.
DefaultFilterList - class org.grinvin.list.DefaultFilterList
Default implementation of FilterList.
Default implementation of InvariantListModel.
DefaultGraph - class org.grinvin.graphs.DefaultGraph
Default implementation of UndoableGraph.
DefaultGraph() - constructor for class org.grinvin.graphs.DefaultGraph
Creates a new empty graph.
DefaultGraphBundle - class org.grinvin.graphs.DefaultGraphBundle
Default implementation of GraphBundle.
DefaultGraphBundle() - constructor for class org.grinvin.graphs.DefaultGraphBundle
Default constructor.
Default implementation of GraphFactoryListModel.
Default implementation of GraphGeneratorListModel.
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.
DefaultGraphList - class org.grinvin.list.graphs.DefaultGraphList
Default implementation of GraphList.
DefaultGraphListModel - class org.grinvin.list.graphs.DefaultGraphListModel
Default implementation of GraphListModel.
DefaultGraphModel - class org.grinvin.graphs.DefaultGraphModel
Default implementation of MutableGraphModel.
DefaultGraphModel() - constructor for class org.grinvin.graphs.DefaultGraphModel
Create a new graph model for an empty graph.
DefaultInvariantList - class org.grinvin.list.invariants.DefaultInvariantList
Default implementation of InvariantList.
DefaultInvariantListModel - class org.grinvin.list.invariants.DefaultInvariantListModel
Default implementation of InvariantListModel.
DefaultMap - class org.grinvin.help.DefaultMap
Provides the mapping of context-sensitive help IDs and URLs for help page.
DefaultMap() - constructor for class org.grinvin.help.DefaultMap
creates new DefaultMap with empty list of ids.
DefaultMap(List) - constructor for class org.grinvin.help.DefaultMap
creates new DefaultMap with given list of ids.
DefaultRenderer - class org.grinvin.graphs.render.DefaultRenderer
Default implementation of a renderer.
DefaultRenderer() - constructor for class org.grinvin.graphs.render.DefaultRenderer
Default implementation of AbstractSelectUnselectIcon.
DefaultSelectUnselectIcon(Icon,Icon) - constructor for class org.grinvin.gui.icons.DefaultSelectUnselectIcon
DefaultVertex - class org.grinvin.graphs.DefaultVertex
Default implementation of Vertex.
Common super class of all wrappers that manage a single window of type W.
Model that contains a list of available graph lists and the current sequence number.
Create a new graph lists model, backed by the given listmodel.
DeleteConjectureHistoryAction - class org.grinvin.worksheet.actions.DeleteConjectureHistoryAction
Action to delete the conjecture history.
Creates a new instance of DeleteConjectureHistoryAction
deleteDirectory(File) - static method in class org.grinvin.util.IOHelper
Delete a directory recursively.
deleteSelectedElements() - method in class org.grinvin.gui.components.ExpressionListComponent
Delete currently selected elements.
deleteSelectedElements() - method in class org.grinvin.gui.components.FilterListComponent
Delete currently selected elements.
deleteSelectedElements() - method in class org.grinvin.gui.components.GeneratorInstanceListComponent
Delete currently selected elements.
deleteSelectedElements() - method in class org.grinvin.gui.components.GraphCellListComponent
Delete currently selected elements.
deleteSelectedElements() - method in class org.grinvin.gui.components.GraphListComponent
Delete currently selected elements.
deleteSelectedElements() - method in class org.grinvin.gui.components.InvariantListComponent
Delete currently selected elements.
deleteSelectedElements() - method in class org.grinvin.gui.components.WorksheetListComponent
Delete currently selected elements.
DeleteSelectedGraphs - class org.grinvin.gred.actions.DeleteSelectedGraphs
Action that removes the current selected graphs in a given graph list.
Construct an action of this kind.
deleteSelectedRows() - method in class org.grinvin.gui.components.GraphTableComponent
Delete currently selected rows.
DeleteSelection - class org.grinvin.gred.actions.DeleteSelection
Action which deletes the current selection.
deleteSelection() - method in class org.grinvin.gred.MutableGraphPanel
Delete the current selection.
DeleteSelection(org.grinvin.gred.MutableGraphPanel) - constructor for class org.grinvin.gred.actions.DeleteSelection
Default constructor
dimension - field in class org.grinvin.graphs.DefaultEmbedding
Dimension of this embedding.
dimensionChanged(int) - method in class org.grinvin.graphs.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
Called when the dimension of the embedding was changed, and as a consequence that all coordinates have changed as well.
Loads sections as files from a directory.
DirectorySectionLoader(File) - constructor for class org.grinvin.io.DirectorySectionLoader
Default constructor.
Saves sections as files in a directory.
DirectorySectionSaver(File) - constructor for class org.grinvin.io.DirectorySectionSaver
DisplayHelpAfterTracking - class org.grinvin.help.actions.DisplayHelpAfterTracking
Triggers the context-sensitive help
DisplayHelpAfterTracking() - constructor for class org.grinvin.help.actions.DisplayHelpAfterTracking
Creates a new instance
dispose() - method in class org.grinvin.io.Subsystem
dispose() - method in class org.grinvin.workspace.WindowSubsystem
dispose() - method in class org.grinvin.workspace.Workspace
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.
DisposeWindowAction - class org.grinvin.list.actions.DisposeWindowAction
Action which can be used to dispose a window.
DisposeWindowAction() - constructor for class org.grinvin.list.actions.DisposeWindowAction
Create an action of this type.
DisposeWindowAction(Window) - constructor for class org.grinvin.list.actions.DisposeWindowAction
Create an action of this type for the given window.
distanceMatrix() - method in class org.grinvin.graphs.DefaultGraphBundle
Returns a (cached) distance matrix for the corresponding graph.
distanceMatrix() - method in class org.grinvin.graphs.GraphBundleView
Returns a (cached) distance matrix for the corresponding graph.
distanceMatrix() - method in class org.grinvin.graphs.LightweightGraphBundle
Returns a (cached) distance matrix for the corresponding graph.
distanceMatrix(org.grinvin.graphs.GraphView) - static method in class org.grinvin.graphs.Graphs
Returns the distance matrix for the given graph.
doElimination() - method in class org.grinvin.util.GaussElimination
doLayout() - method in class org.grinvin.gui.components.ScrollableGraphTableComponent
Overridden to also rescale the table columns whenever the layout needs a change
double[] transform(double[],double[]) - method in class org.grinvin.gred.transformations.AffineTransformation
double[] transform(double[],double[]) - method in class org.grinvin.gred.transformations.OrthogonalProjection

E

e - field in class org.grinvin.util.Tridiagonal
Subdiagonal elements of this matrix.
eccentricityList() - method in class org.grinvin.graphs.DefaultGraphBundle
Returns a (cached) eccentricity list for the corresponding graph.
eccentricityList() - method in class org.grinvin.graphs.GraphBundleView
Returns a (cached) eccentricity list for the corresponding graph.
eccentricityList() - method in class org.grinvin.graphs.LightweightGraphBundle
Returns a (cached) eccentricity list for the corresponding graph.
eccentricityList(org.grinvin.graphs.GraphView) - static method in class org.grinvin.graphs.Graphs
Returns the list with eccentricities for the given graph.
Edge - interface org.grinvin.graphs.Edge
Represents a single (possibly directed) edge in a graph.
edgeAdded(org.grinvin.graphs.Edge) - method in class org.grinvin.graphs.GraphListener
Called after an edge was added to the graph.
edgeAdded(org.grinvin.graphs.Edge) - method in class org.grinvin.gred.GraphPanel
Called after an edge was added to the graph.
edgeAdded(org.grinvin.graphs.Edge) - method in class org.grinvin.list.GraphViewPanel
Called after an edge was added to the graph.
edgeChanged(org.grinvin.graphs.Edge) - method in class org.grinvin.graphs.GraphListener
Called when the annotation of an edge changes.
edgeChanged(org.grinvin.graphs.Edge) - method in class org.grinvin.gred.GraphPanel
Called when the annotation of an edge changes.
edgeChanged(org.grinvin.graphs.Edge) - method in class org.grinvin.list.GraphViewPanel
Called when the annotation of an edge changes.
EdgeInducedGraph - class org.grinvin.gred.actions.EdgeInducedGraph
Action which replaces the graph with the graph induced by the selected edges.
EdgeInducedGraph(org.grinvin.gred.MutableGraphPanel) - constructor for class org.grinvin.gred.actions.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.graphs.DefaultGraph
EdgeIterator() - constructor for class org.grinvin.graphs.DefaultGraph.EdgeIterator
edgeIterator() - method in class org.grinvin.graphs.GraphView
Iterator over all edges of this graph.
edgeRemoved(org.grinvin.graphs.Edge) - method in class org.grinvin.graphs.GraphListener
Called when an edge was removed from the graph.
edgeRemoved(org.grinvin.graphs.Edge) - method in class org.grinvin.gred.GraphPanel
Called when an edge was removed from the graph.
edgeRemoved(org.grinvin.graphs.Edge) - method in class org.grinvin.list.GraphViewPanel
Called when an edge was removed from the graph.
edgeRestored(org.grinvin.graphs.Edge) - method in class org.grinvin.graphs.GraphListener
Called when an edge that was previously removed was restored to the graph.
edgeRestored(org.grinvin.graphs.Edge) - method in class org.grinvin.gred.GraphPanel
Called when an edge that was previously removed was restored to the graph.
edgeRestored(org.grinvin.graphs.Edge) - method in class org.grinvin.list.GraphViewPanel
Called when an edge that was previously removed was restored to the graph.
edges - field in class org.grinvin.graphs.DefaultGraph
Collection of edges for this graph.
edges() - method in class org.grinvin.graphs.DefaultGraph
edges() - method in class org.grinvin.graphs.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.graphs.EmbeddingView,int) - constructor for class org.grinvin.gui.icons.EdgesOnlyIcon
Create a graph icon for the given embedded graph.
EdgesOnlyIcon(org.grinvin.graphs.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
EditorWindowWrapper_1_0 - class org.grinvin.workspace.compat.EditorWindowWrapper_1_0
eigenValues() - method in class org.grinvin.graphs.LightweightGraphBundle
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.graphs.GraphView) - static method in class org.grinvin.graphs.Graphs
Returns the list of eigenvalues of the given graph.
Element - interface org.grinvin.graphs.Element
Represents a graph element.
Called after an element was given a new annotation
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.graphs.Embedding
A mutable version of EmbeddingView.
embeddingChanged() - method in class org.grinvin.graphs.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
Called after a major change in the embedding.
EmbeddingListener - interface org.grinvin.graphs.EmbeddingListener
Listens to changes in an embedding.
EmbeddingLoader - class org.grinvin.io.graphs.EmbeddingLoader
Loads an embedding.xml-section from an input stream.
EmbeddingModel - interface org.grinvin.graphs.EmbeddingModel
An EmbeddingView which at the same time functions as a model in a model-view-controller triple.
EmbeddingModelSupport - class org.grinvin.graphs.EmbeddingModelSupport
Helper class for implementations of EmbeddingModel.
embeddings - field in class org.grinvin.graphs.DefaultGraphBundle
EmbeddingSaver - class org.grinvin.io.graphs.EmbeddingSaver
Saves a EmbeddingView as a embedding.xml-section onto an output stream.
EmbeddingView - interface org.grinvin.graphs.EmbeddingView
Interface representing a embedding of a graph into Euclidian n-space.
empty() - method in class org.grinvin.conjecture.engine.apengine.StateStack<E>
emptyState() - method in class org.grinvin.conjecture.engine.apengine.StateStack<E>
emptyState() - method in class org.grinvin.conjecture.engine.apengine.TreeGenerator.TreeGeneratorStateStack
enableHelpKey(Component,String) - static method in class org.grinvin.help.HelpManager
Engine - interface org.grinvin.conjecture.engine.Engine
Conjecturing engine.
engineChanged() - method in class org.grinvin.list.actions.RunConjecturing
engineChanged() - method in class org.grinvin.worksheet.WorksheetModelListener
engineChanged() - method in class org.grinvin.worksheet.WorksheetWindow
engineConfigurationChanged() - method in class org.grinvin.list.actions.RunConjecturing
engineConfigurationChanged() - method in class org.grinvin.worksheet.WorksheetModelListener
engineConfigurationChanged() - method in class org.grinvin.worksheet.WorksheetWindow
EngineLoader - class org.grinvin.io.EngineLoader
EngineRunner - class org.grinvin.conjecture.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.
EngineSaver - class org.grinvin.io.EngineSaver
Tree generator that generates trees with exactly the given amount of unary and binary operators.
ExactTreeGenerator(int,int,TreeFactory) - constructor for class org.grinvin.conjecture.engine.apengine.ExactTreeGenerator<T,extends,BinaryTree>
Execute the given runnable
Exit - class org.grinvin.main.actions.Exit
Action that exists the application but first saves the current workspace.
ExitWithoutSave - class org.grinvin.main.actions.ExitWithoutSave
Action that exists the application without saving the current workspace.
ExportGraph - class org.grinvin.list.actions.ExportGraph
Exports a graph bundle.
ExportGraphImage - class org.grinvin.list.actions.ExportGraphImage
Exports a graph as an image
ExportGraphList - class org.grinvin.list.actions.ExportGraphList
Action to export a list of graphs.
ExportGraphList(Window,org.grinvin.list.graphs.GraphList) - constructor for class org.grinvin.list.actions.ExportGraphList
Expression - interface org.grinvin.expr.Expression
Represents a general expression involving invariants.
ExpressionBuilder - class org.grinvin.conjecture.engine.apengine.ExpressionBuilder
Builds an Expression from a LabeledBinaryTree.
ExpressionList - interface org.grinvin.list.ExpressionList
ExpressionListComponent - class org.grinvin.gui.components.ExpressionListComponent
List of expressions.
ExpressionListModel - interface org.grinvin.list.ExpressionListModel
ExpressionLoader - class org.grinvin.expr.ExpressionLoader
Helper methods for loading expressions from disk.
ExpressionSaver - class org.grinvin.expr.ExpressionSaver
Helper methods for saving expressions to disk.
ExpressionToFormula - class org.grinvin.expr.ExpressionToFormula
Visitor which converts an expression to a formula.
ExpressionToString - class org.grinvin.expr.ExpressionToString
Visitor which converts an expression to a string.
extend() - method in class org.grinvin.conjecture.engine.apengine.StateStack<E>
Extend the size of the stack.
extend() - method in class org.grinvin.conjecture.engine.apengine.TreeGenerator<T,extends,BinaryTree>
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.conjecture.engine.apengine.BinaryTree
Add a new node on depth depth and position pos.
extends InvariantValue> getType() - method in class org.grinvin.invariants.AbstractInvariant
Returns the class to which all values of this invariant belong.
extends InvariantValue> getType() - method in class org.grinvin.invariants.Invariant
Returns the class to which all values of this invariant belong.
extends InvariantValue> getType() - method in class org.grinvin.invariants.InvariantFactory
Returns the class to which all values of invariants created by this factory belong.

F

Factory - interface org.grinvin.factories.Factory
An object which can be used to create other objects.
FactoryCellListComponent - class org.grinvin.gui.components.FactoryCellListComponent
Cell list component with entries of type GraphFactory.
FactoryDropHandler - class org.grinvin.gui.dnd.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
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
factoryProps - field in class org.grinvin.factories.AbstractNamedFactory
Internationalized properties associated with this factory.
FileFilters - class org.grinvin.gui.FileFilters
Several file filters which are used throughout the system
Copies the current Graph to the given GraphBundle.
filterChanged() - method in class org.grinvin.list.actions.RunConjecturing
filterChanged() - method in class org.grinvin.worksheet.WorksheetModelListener
filterChanged() - method in class org.grinvin.worksheet.WorksheetWindow
FilterDropHandler - class org.grinvin.gui.dnd.FilterDropHandler
Common DropHandler to drop filters on objects that support AcceptsFilter.
Graph generator sink which computes invariants for graph bundles handed to it that pass through a certain filter.
Create a sink which computes the values of all given invariants for all graph bundles handed to it.
Table cell renderer for objects of type InvariantValue.
A version of ScrollableGraphTableComponent that displays a filter as well.
FilterList - interface org.grinvin.list.FilterList
Interface to ease the use of lists of filters.
FilterListComponent - class org.grinvin.gui.components.FilterListComponent
List component with entries of type GraphFilter.
FilterListComponent(org.grinvin.list.FilterListModel) - constructor for class org.grinvin.gui.components.FilterListComponent
Creates a new instance of InvariantListComponent
FilterListLoader - class org.grinvin.io.list.FilterListLoader
FilterListModel - interface org.grinvin.list.FilterListModel
Interface that all listeners of FilterListModel should implement.
FilterListSaver - class org.grinvin.io.list.FilterListSaver
finalizeEmbeddingChange(String) - method in class org.grinvin.gred.MutableGraphPanel
Finalize a change in embedding.
finalizeRemoveEdge(org.grinvin.graphs.Edge) - method in class org.grinvin.graphs.DefaultGraph
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
fireAnnotationChanged() - method in class org.grinvin.graphs.DefaultAnnotationModel
Notify all listeners of the fact that the entire annotation was changed.
Notify all listeners of the fact that coordinates of a vertex were changed.
fireDimensionChanged(int) - method in class org.grinvin.graphs.EmbeddingModelSupport
Notify all listeners of the fact that the dimension of the embedding was changed.
fireEdgeAdded(org.grinvin.graphs.Edge) - method in class org.grinvin.graphs.GraphModelSupport
Notify all listeners of the fact that an edge was added to this graph.
fireEdgeChanged(org.grinvin.graphs.Edge) - method in class org.grinvin.graphs.GraphModelSupport
Notify all listeners of the fact that edge information was changed.
fireEdgeRemoved(org.grinvin.graphs.Edge) - method in class org.grinvin.graphs.GraphModelSupport
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.
Notify all listeners of the fact that the annotation of an element was changed.
fireEmbeddingChanged() - method in class org.grinvin.graphs.EmbeddingModelSupport
Notify all listeners of a bulk change to this embedding.
fireEngineChanged() - method in class org.grinvin.worksheet.WorksheetModel
fireEngineConfigurationChanged() - method in class org.grinvin.worksheet.WorksheetModel
fireFilterChanged() - method in class org.grinvin.conjecture.filter.AbstractGraphFilter
fireFilterChanged() - method in class org.grinvin.worksheet.WorksheetModel
fireGraphBundleChanged() - method in class org.grinvin.graphs.DefaultGraphBundle
fireGraphChanged() - method in class org.grinvin.list.graphs.GraphListElement
fireGraphChanged() - method in class org.grinvin.graphs.GraphModelSupport
Notify all listeners of a bulk change to this graph.
fireGraphListElementChanged() - method in class org.grinvin.list.GraphPropertiesTableModel
fireLocationChanged() - method in class org.grinvin.workspace.Workspace
fireNameChanged() - method in class org.grinvin.list.graphs.GraphListElement
fireNameChanged() - method in class org.grinvin.worksheet.WorksheetModel
fireStateChanged() - method in class org.grinvin.conjecture.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.graphs.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.conjecture.engine.apengine.BinaryTree
formatTime(long) - method in class org.grinvin.gui.components.MindgameComponent
fromElement(Element) - static method in class org.grinvin.invariants.values.AbstractInvariantValueDelegate<T,extends,InvariantValue>
Convert a JDOM-element to an invariant value of the correct class.
fromElement(Element) - method in class org.grinvin.conjecture.filter.BooleanValueGraphFilter
fromElement(Element) - method in class org.grinvin.conjecture.filter.CompoundGraphFilter
fromElement(Element) - method in class org.grinvin.conjecture.filter.GraphFilter
fromElement(Element) - method in class org.grinvin.conjecture.filter.GraphFilterManager
fromElement(Element) - method in class org.grinvin.util.InternationalizedProperties
Load properties from the given JDOM-element and adds them to the list.
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.
fromElement(Element,org.grinvin.io.SectionLoader) - method in class org.grinvin.conjecture.history.ConjectureEntryDelegate
fromElement(Element,org.grinvin.io.SectionLoader) - method in class org.grinvin.conjecture.history.StateEntryDelegate
fromElement_1_0(Element) - static method in class org.grinvin.invariants.values.AbstractInvariantValueDelegate<T,extends,InvariantValue>
Convert a JDOM-element to an invariant value of the correct class.
fromText(String) - method in class org.grinvin.params.ParameterEditor
Convert the given string to a parameter value.

G

G6_FILTER - static field in class org.grinvin.gui.FileFilters
Filter for graph6 graphs.
G6_LIST_FILTER - static field in class org.grinvin.gui.FileFilters
Filter for graph6 graph lists.
GaussElimination - class org.grinvin.util.GaussElimination
GaussElimination(int[][]) - constructor for class org.grinvin.util.GaussElimination
Creates a new instance of GaussElimination
Generate graph bundles to the given sink.
GeneratorCellListComponent - class org.grinvin.gui.components.GeneratorCellListComponent
Cell list component with entries of type GraphGenerator.
GeneratorDropHandler - class org.grinvin.gui.dnd.GeneratorDropHandler
Allows a generator to be dropped onto a component.
GeneratorException - class org.grinvin.generators.GeneratorException
Indicates that something went wrong in the generator.
GeneratorException(String) - constructor for class org.grinvin.generators.GeneratorException
Constructs an instance of GeneratorException with the specified detail message.
GeneratorException(String,Throwable) - constructor for class org.grinvin.generators.GeneratorException
Constructs an instance of GeneratorException with the specified detail message and cause
GeneratorIndexView - class org.grinvin.help.GeneratorIndexView
Loads an overview of the generators and places them in a index tree that is mergeable with the GrInvIn help index tree.
GeneratorIndexView() - constructor for class org.grinvin.help.GeneratorIndexView
Creates a new instance of GeneratorIndexView
Allows a generator list to be dropped onto a component.
List of generator instances.
Provides dynamic map ID assignment for the list of generators.
Creates a new instance of GeneratorListHelpManager
GeneratorMap - class org.grinvin.help.GeneratorMap
Provides the mapping of the context-sensitive help ID of generators and the URL for their help page.
GeneratorTOCView - class org.grinvin.help.GeneratorTOCView
Loads an overview of the generators and places them in a TOC tree that is mergeable with the GrInvIn help TOC tree.
GeneratorTOCView() - constructor for class org.grinvin.help.GeneratorTOCView
Creates a new instance of GeneratorTOCView
get(String) - method in class org.grinvin.util.SingletonBroker<T>
Return the object with the given id.
getAllIDs() - method in class org.grinvin.help.DefaultMap
getAnchorElement() - method in class org.grinvin.gred.GraphPanel
Return the 'anchor' element.
getAnnotation() - method in class org.grinvin.graphs.DefaultGraphBundle
Return the default annotation for this graph, or null if no such annotation is stored in the bundle.
getAnnotation() - method in class org.grinvin.graphs.GraphBundleView
Return the default annotation for this graph, or null if no such annotation is stored in the bundle.
getAnnotation() - method in class org.grinvin.gred.GraphBundleWithModels
Return the default annotation for this graph, or null if no such annotation is stored in the bundle.
getAnnotation() - method in class org.grinvin.gred.GraphEditor
Get the annotation for the current graph in the editor.
getAnnotation() - method in class org.grinvin.gred.GraphPanel
Return the annotation used by this panel.
getAnnotation() - method in class org.grinvin.graphs.LightweightGraphBundle
Return the default annotation for this graph, or null if no such annotation is stored in the bundle.
getAnnotation(int) - method in class org.grinvin.graphs.DefaultGraphBundle
Return the annotation with the given index.
getAnnotation(int) - method in class org.grinvin.graphs.GraphBundleView
Return the annotation with the given index.
getAnnotation(int) - method in class org.grinvin.gred.GraphBundleWithModels
Return the annotation with the given index.
getAnnotation(int) - method in class org.grinvin.graphs.LightweightGraphBundle
Return the annotation with the given index.
getAnnotation(org.grinvin.graphs.Edge) - method in class org.grinvin.graphs.AnnotationView
Returns the annotation for the given Edge.
getAnnotation(org.grinvin.graphs.Edge) - method in class org.grinvin.graphs.DefaultAnnotation
Returns the annotation for the given Edge.
getAnnotation(org.grinvin.graphs.Vertex) - method in class org.grinvin.graphs.AnnotationView
Returns the annotation for the given Vertex.
getAnnotation(org.grinvin.graphs.Vertex) - method in class org.grinvin.graphs.DefaultAnnotation
Returns the annotation for the given Vertex.
getAnnotationCount() - method in class org.grinvin.graphs.DefaultGraphBundle
Number of annotations stored in this bundle.
getAnnotationCount() - method in class org.grinvin.graphs.GraphBundleView
Number of annotations stored in this bundle.
getAnnotationCount() - method in class org.grinvin.graphs.LightweightGraphBundle
Number of annotations stored in this bundle.
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.conjecture.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.graphs.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.
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.
getChild(int) - method in class org.grinvin.expr.Compound
Return the child with the given index.
getChild(Object,int) - method in class org.grinvin.list.graphs.GraphTreeModel
getChildCount(Object) - method in class org.grinvin.list.graphs.GraphTreeModel
getChildren() - method in class org.grinvin.invariants.AbstractInvariant
Returns null.
getChildren() - method in class org.grinvin.list.graphs.GraphGroup
Return the list of children of this node.
getChildren() - method in class org.grinvin.list.graphs.GraphListElement
getChildren() - method in class org.grinvin.list.graphs.GraphNode
Return the list of children of this node.
getChildren() - method in class org.grinvin.invariants.InvariantFactory
Always should return null.
getChildren() - method in class org.grinvin.invariants.InvariantGroup
Return the list of children of this node.
getChildren() - method in class org.grinvin.invariants.InvariantNode
Return the list of children of this node.
getClosestID(URL) - method in class org.grinvin.help.DefaultMap
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.OtherTableModel
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.OtherTableModel
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.OtherTableModel
getColumnName(int) - method in class org.grinvin.about.VersionTableModel
getComputerId() - method in class org.grinvin.invariants.values.AbstractInvariantValue
Return the ID of the computer that computed this value.
getComputerId() - method in class org.grinvin.invariants.InvariantValue
Return the ID of the computer that computed this value.
getComputerVersion() - method in class org.grinvin.invariants.values.AbstractInvariantValue
Return the version of the computer that computed this value.
getComputerVersion() - method in class org.grinvin.invariants.InvariantValue
Return the version of the computer that computed this value.
Returns a configuration panel for this engine that can be shown in the conjecturing window.
getConfigurationPanel(org.grinvin.worksheet.WorksheetModel) - method in class org.grinvin.conjecture.engine.Engine
Returns a configuration panel for this engine that can be shown in the conjecturing window.
getConjectureHistoryList() - method in class org.grinvin.worksheet.WorksheetModel
getConjectureHistoryListModel() - method in class org.grinvin.worksheet.WorksheetModel
getConjectureList() - method in class org.grinvin.worksheet.WorksheetModel
getConjectureListModel() - method in class org.grinvin.worksheet.WorksheetModel
getContext() - method in class org.grinvin.gred.GraphPanel
Return the graph context associated with this panel.
getCoordinates(org.grinvin.graphs.Vertex) - method in class org.grinvin.graphs.DefaultEmbedding
Return the coordinates of the given vertex.
getCoordinates(org.grinvin.graphs.Vertex) - method in class org.grinvin.graphs.EmbeddingView
Return the coordinates of the given vertex.
Return the coordinates of the given vertex.
getCount() - method in class org.grinvin.params.ParameterList
Return the total number of parameters.
getCount() - method in class org.grinvin.invariants.PrioritizedRunnableExecutor
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
getDataAsTree() - method in class org.grinvin.help.GeneratorIndexView
getDataAsTree() - method in class org.grinvin.help.GeneratorTOCView
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.
getDelegate() - method in class org.grinvin.conjecture.history.ConjectureEntry
getDelegate() - method in class org.grinvin.conjecture.history.ConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E>
getDelegate() - method in class org.grinvin.conjecture.history.StateEntry
getDescription() - method in class org.grinvin.conjecture.filter.AbstractGraphFilter
getDescription() - method in class org.grinvin.generators.graphs.AbstractGraphGeneratorInstance
getDescription() - method in class org.grinvin.factories.AbstractNamedFactory
getDescription() - method in class org.grinvin.graphs.DefaultGraphBundle
Return a textual description of this graph.
getDescription() - method in class org.grinvin.graphs.GraphBundleView
Return a textual description of this graph.
getDescription() - method in class org.grinvin.conjecture.filter.GraphFilter
Returns a localized short description of this filter.
getDescription() - method in class org.grinvin.generators.graphs.GraphGeneratorInstance
Return a textual description for this instance.
getDescription() - method in class org.grinvin.list.graphs.GraphListElement
getDescription() - method in class org.grinvin.graphs.LightweightGraphBundle
Return a textual description of this graph.
getDescription() - method in class org.grinvin.factories.NamedFactory
Return the description of the factory.
getDescription() - method in class org.grinvin.params.ParameterInfo
Return a textual description of this parameter.
getDescription(Object) - method in class org.grinvin.gui.components.render.AbstractGrinvinCellListCellRenderer
getDescription(Object) - method in class org.grinvin.gui.components.render.GraphFactoryCellRenderer
getDescription(Object) - method in class org.grinvin.gui.components.render.GraphGeneratorCellRenderer
getDescription(Object) - method in class org.grinvin.gui.components.render.GraphListElementCellRenderer
getDescription_impl() - method in class org.grinvin.conjecture.filter.AbstractGraphFilter
getDescription_impl() - method in class org.grinvin.conjecture.filter.BooleanValueGraphFilter
getDescription_impl() - method in class org.grinvin.conjecture.filter.CompoundGraphFilter
getDimension() - method in class org.grinvin.gred.transformations.AbstractTransformation
Return the dimension of the source space.
getDimension() - method in class org.grinvin.graphs.DefaultEmbedding
Returns the dimension of the Euclidian space into which this graph is embedded.
getDimension() - method in class org.grinvin.graphs.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.gui.components.GraphPropertiesComponent
getDragOperations() - method in class org.grinvin.gui.components.FilterListComponent
getDragOperations() - method in class org.grinvin.gui.components.GeneratorInstanceListComponent
getDragOperations() - method in class org.grinvin.gui.components.GraphListComponent
getDragOperations() - method in class org.grinvin.gui.dnd.HasAccessControl
getDragOperations() - method in class org.grinvin.gui.components.InvariantListComponent
getDropClass(JComponent) - method in class org.grinvin.gui.dnd.AbstractDropHandler
getDropLocation() - method in class org.grinvin.gred.GraphPanel
Return the last drag-and-drop location where this component is a target.
getDropOperations() - method in class org.grinvin.gui.components.FilterListComponent
getDropOperations() - method in class org.grinvin.gui.components.GeneratorInstanceListComponent
getDropOperations() - method in class org.grinvin.gui.components.GraphListComponent
getDropOperations() - method in class org.grinvin.gui.dnd.HasAccessControl
getDropOperations() - method in class org.grinvin.gui.components.InvariantListComponent
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.gui.components.GraphComponent
getElementAt(int) - method in class org.grinvin.worksheet.ConjecturingComboBoxModel
getElementName() - method in class org.grinvin.workspace.compat.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
Return the XML-element name by which this type of wrapper is identified within its parent.
getElementName() - method in class org.grinvin.workspace.compat.EditorWindowWrapper_1_0
Return the XML-element name by which this type of wrapper is identified within its parent.
getElementName() - method in class org.grinvin.workspace.compat.GraphBrowserWindowWrapper
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.compat.GrinvinWindowWrapper_1_0
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.compat.LoggingWindowWrapper_1_0
Return the XML-element name by which this type of wrapper is identified within its parent.
getElementName() - method in class org.grinvin.workspace.WindowSubsystem
getElementName() - method in class org.grinvin.workspace.WorksheetWindowWrapper
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.graphs.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.graphs.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
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.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() - method in class org.grinvin.graphs.LightweightGraphBundle
Return the default embedding for this graph, or null if no such embedding is stored in the bundle.
getEmbedding(int) - method in class org.grinvin.graphs.DefaultGraphBundle
Return the embedding with given index.
getEmbedding(int) - method in class org.grinvin.graphs.GraphBundleView
Return the embedding with given index.
getEmbedding(int) - method in class org.grinvin.gred.GraphBundleWithModels
Return the embedding with given index.
getEmbedding(int) - method in class org.grinvin.graphs.LightweightGraphBundle
Return the embedding with given index.
getEmbeddingCount() - method in class org.grinvin.graphs.DefaultGraphBundle
Number of embeddings stored in this bundle.
getEmbeddingCount() - method in class org.grinvin.graphs.GraphBundleView
Number of embeddings stored in this bundle.
getEmbeddingCount() - method in class org.grinvin.graphs.LightweightGraphBundle
Number of embeddings stored in this bundle.
getEngine() - method in class org.grinvin.worksheet.ConjecturingComboBoxModel
getEngine() - method in class org.grinvin.conjecture.engine.EngineRunner
Return the associated engine.
getEngineRunner() - method in class org.grinvin.worksheet.WorksheetModel
getErrors() - method in class org.grinvin.gui.components.MindgameButtonsComponent
getExportedClass(JComponent) - method in class org.grinvin.gui.dnd.AbstractDragHandler
getExportedObjects(JComponent) - method in class org.grinvin.gui.dnd.AbstractDragHandler
getFilter() - method in class org.grinvin.worksheet.WorksheetModel
getFilterList() - method in class org.grinvin.worksheet.WorksheetModel
getFilterListModel() - method in class org.grinvin.conjecture.history.StateEntry
getFilterListModel() - method in class org.grinvin.worksheet.WorksheetModel
getFilters() - method in class org.grinvin.conjecture.filter.CompoundGraphFilter
getFirstEndpoint() - method in class org.grinvin.graphs.DefaultEdge
The first endpoint vertex of this edge.
getFirstEndpoint() - method in class org.grinvin.graphs.Edge
The first endpoint vertex of this edge.
getFormula() - method in class org.grinvin.expr.ExpressionToFormula
Return the resulting formula.
getGeneratorBroker() - static method in class org.grinvin.factories.FactoryManager
Return the shared generator broker.
getGeneratorInstanceList() - method in class org.grinvin.worksheet.WorksheetModel
getGeneratorInstanceListModel() - method in class org.grinvin.conjecture.history.StateEntry
getGeneratorInstanceListModel() - method in class org.grinvin.worksheet.WorksheetModel
getGeneratorNameForID(String) - method in class org.grinvin.help.GeneratorMap
getGlctModel() - method in class org.grinvin.worksheet.WorksheetWindowModel
Return the submodel which keeps track of which graph list component type is currently displayed
getGraph() - method in class org.grinvin.graphs.DefaultGraphBundle
Abstract graph representation for this graph bundle.
getGraph() - method in class org.grinvin.graphs.GraphBundle
Abstract graph representation for this graph bundle.
getGraph() - method in class org.grinvin.graphs.GraphBundleView
Abstract graph representation for this graph bundle.
getGraph() - method in class org.grinvin.gred.GraphBundleWithModels
Abstract graph representation for this graph bundle.
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.
getGraph() - method in class org.grinvin.graphs.LightweightGraphBundle
Abstract graph representation for this graph bundle.
getGraphFactoryBroker() - static method in class org.grinvin.factories.FactoryManager
Return the shared graph factory broker.
getGraphFactoryNameForID(String) - method in class org.grinvin.help.GraphFactoryMap
getGraphGeneratorInstance(String) - method in class org.grinvin.generators.graphs.GraphGeneratorInstanceManager
Get the GraphGeneratorInstance with the given id.
getGraphIconFactory() - method in class org.grinvin.graphs.DefaultGraphBundle
Return the preferred GraphIconFactory to be used when displaying this graph as an icon.
getGraphIconFactory() - method in class org.grinvin.graphs.GraphBundleView
Return the preferred GraphIconFactory to be used when displaying this graph as an icon.
getGraphIconFactory() - method in class org.grinvin.graphs.LightweightGraphBundle
Return the preferred GraphIconFactory to be used when displaying this graph as an icon.
getGraphList() - method in class org.grinvin.gui.components.GraphCellListComponent
Return the graph list model which is used by this component.
getGraphList() - method in class org.grinvin.gred.GraphEditor
getGraphList() - method in class org.grinvin.list.GraphInvariantTableModel
getGraphList() - method in class org.grinvin.gui.components.GraphListComponent
Return the graph list model which is used by this component.
getGraphList() - method in class org.grinvin.gui.components.GraphTableComponent
Return the graph list model which is used by this component.
getGraphList() - method in class org.grinvin.worksheet.HasGraphList
Return the graph list model which is used by this component.
getGraphList() - method in class org.grinvin.gui.components.ScrollableGraphTableComponent
getGraphList() - method in class org.grinvin.worksheet.WorksheetModel
getGraphListComponent() - method in class org.grinvin.worksheet.WorksheetWindow
getGraphListComponentSelected() - method in class org.grinvin.worksheet.WorksheetWindowModel
getGraphListElement() - method in class org.grinvin.list.GraphPropertiesTableModel
getGraphListElement(URI) - method in class org.grinvin.list.graphs.GraphListElementManager
Convenience method for retrieving a graph list element with given URI.
Get the GraphListElement for the given URI.
getGraphListModel() - method in class org.grinvin.conjecture.history.StateEntry
getGraphPropertiesComponentDividerLocation() - method in class org.grinvin.worksheet.GraphListPanel
getGuides() - method in class org.grinvin.gred.GraphPanel
Return the current guides for this panel.
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
getHelpIDString(Object,AWTEvent) - method in class org.grinvin.help.TabbedPaneHelpManager
getHelpSet() - static method in class org.grinvin.help.HelpManager
returns the helpset
getHelpSet(Object,AWTEvent) - method in class org.grinvin.help.FactoryListHelpManager
getHelpSet(Object,AWTEvent) - method in class org.grinvin.help.GeneratorListHelpManager
getHelpSet(Object,AWTEvent) - method in class org.grinvin.help.InvariantListHelpManager
getHelpSet(Object,AWTEvent) - method in class org.grinvin.help.InvariantTreeHelpManager
getHelpSet(Object,AWTEvent) - method in class org.grinvin.help.TabbedPaneHelpManager
getIcon() - method in class org.grinvin.list.actions.GraphRenamePanel
getIcon() - method in class org.grinvin.list.actions.RenamePanel<T,extends,HasName>
Return the icon that should be used by default in th e dialog.
getIcon() - method in class org.grinvin.list.actions.WorksheetRenamePanel
getIcon(Object,int,int) - method in class org.grinvin.gui.components.render.AbstractGrinvinCellListCellRenderer
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
getIconBackgroundColor(Object) - method in class org.grinvin.gui.components.render.AbstractGrinvinCellListCellRenderer
getIconBackgroundColor(Object) - method in class org.grinvin.gui.components.render.GraphFactoryCellRenderer
Returns the standard icon background color for graph factories.
getIconBackgroundColor(Object) - method in class org.grinvin.gui.components.render.GraphGeneratorCellRenderer
Returns the standard icon background color for graph generators.
getIconBackgroundColor(Object) - method in class org.grinvin.gui.components.render.GraphListElementCellRenderer
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.AbstractNamedFactory
Return the URI of the factory icon when the factory is not selected.
getIconPath() - method in class org.grinvin.factories.NamedFactory
getIconPaths(String) - static method in class org.grinvin.install.PostInstall
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.generators.graphs.AbstractGraphGeneratorInstance
getId() - method in class org.grinvin.invariants.AbstractInvariant
Universally unique identifier for this invariant.
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.invariants.computers.AbstractInvariantComputerFactory
Return the universally unique identifier for this object.
getId() - method in class org.grinvin.invariants.computers.AbstractInvariantComputerFactory.Computer<T,extends,InvariantValue>
getId() - method in class org.grinvin.factories.AbstractNamedFactory
Return the fully qualified class name of this factory as its id.
getId() - method in class org.grinvin.factories.graphs.GraphFactory
Return the string that uniquely identifies this factory.
getId() - method in class org.grinvin.generators.graphs.GraphGenerator
Return the string that uniquely identifies this generator.
getId() - method in class org.grinvin.generators.graphs.GraphGeneratorInstance
Return a string that uniquely identifies this instance.
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.generators.graphs.UnknownGraphGeneratorInstanceException
The identifier of the invariant which was unknown.
getId() - method in class org.grinvin.invariants.UnknownInvariantException
The identifier of the invariant which was unknown.
getIDFromURL(URL) - method in class org.grinvin.help.DefaultMap
getIds() - method in class org.grinvin.invariants.InvariantManager
Return a list of all ids for both factories and parameterless invariants.
getIds() - method in class org.grinvin.util.SingletonBroker<T>
Return the list of all ids, in the form of an Iterable.
getIDs(URL) - method in class org.grinvin.help.DefaultMap
getImageAsStream(String,int,int) - method in class org.grinvin.gui.icons.SvgIconManager
getIndex() - method in class org.grinvin.graphs.DefaultVertex
Return the current index of this vertex.
getIndex() - method in class org.grinvin.graphs.Vertex
Return the current index of this vertex.
getIndexOfChild(Object,Object) - method in class org.grinvin.list.graphs.GraphTreeModel
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.invariants.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.graphs.render.AnnotatedRenderer
Get the singleton instance of this renderer.
getInstance() - static method in class org.grinvin.invariants.values.BooleanValueDelegate
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.dnd.CommonGraphListTransferHandler
getInstance() - static method in class org.grinvin.gui.icons.DefaultGraphIconFactory
Return the sole instance of this class.
getInstance() - static method in class org.grinvin.graphs.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.gui.dnd.FactoryDropHandler
getInstance() - static method in class org.grinvin.gui.dnd.FilterDropHandler
getInstance() - static method in class org.grinvin.gui.dnd.GeneratorDropHandler
getInstance() - static method in class org.grinvin.gui.dnd.GeneratorInstanceDropHandler
getInstance() - static method in class org.grinvin.help.GeneratorMap
getInstance() - static method in class org.grinvin.gui.components.render.GraphFactoryCellRenderer
Return the singleton instance of this type.
getInstance() - static method in class org.grinvin.help.GraphFactoryMap
getInstance() - static method in class org.grinvin.conjecture.filter.GraphFilterManager
getInstance() - static method in class org.grinvin.gui.components.render.GraphGeneratorCellRenderer
Return the singleton instance of this type.
getInstance() - static method in class org.grinvin.generators.graphs.GraphGeneratorInstanceManager
Get the singleton instance of this class
getInstance() - static method in class org.grinvin.gui.components.render.GraphListElementCellRenderer
Return the singleton instance of this type.
getInstance() - static method in class org.grinvin.gui.dnd.GraphListElementDropHandler
getInstance() - static method in class org.grinvin.list.graphs.GraphListElementManager
Get the singleton instance of this class
getInstance() - static method in class org.grinvin.gui.components.render.GraphListElementRenderer
Return the shared instance of this renderer.
getInstance() - static method in class org.grinvin.preferences.GrinvinPreferences
getInstance() - static method in class org.grinvin.invariants.values.IntegerMatrixValueDelegate
getInstance() - static method in class org.grinvin.invariants.values.IntegerValueDelegate
getInstance() - static method in class org.grinvin.gui.dnd.InvariantDropHandler
getInstance() - static method in class org.grinvin.gui.dnd.InvariantFactoryDropHandler
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.components.render.InvariantTableCellRenderer
Return the shared instance of this renderer.
getInstance() - static method in class org.grinvin.gui.components.render.InvariantValueTableCellRenderer
Return the shared instance of this class.
getInstance() - static method in class org.grinvin.invariants.values.ListOfIntegersValueDelegate
getInstance() - static method in class org.grinvin.invariants.values.ListOfRealsValueDelegate
getInstance() - static method in class org.grinvin.gui.icons.MissingGraphIconFactory
Return the sole instance of this class.
getInstance() - static method in class org.grinvin.about.OtherTableModel
getInstance() - static method in class org.grinvin.invariants.PrioritizedRunnableExecutor
getInstance() - static method in class org.grinvin.invariants.values.RealValueDelegate
getInstance() - static method in class org.grinvin.gui.icons.SvgIconManager
Return the sole instance of this class.
getInstance() - static method in class org.grinvin.invariants.values.UnavailableValue
getInstance() - static method in class org.grinvin.invariants.values.UnavailableValueDelegate
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
getInstanceDescription() - method in class org.grinvin.generators.graphs.AbstractGraphGenerator
get the description for the instance from the internal factory properties.
getInstanceId() - method in class org.grinvin.generators.graphs.AbstractGraphGenerator
getInstanceId() - method in class org.grinvin.generators.graphs.GraphGenerator
Return the id of the generator instance which will be created when using the current parameter values.
getInstanceName() - method in class org.grinvin.generators.graphs.AbstractGraphGenerator
Get the name for the instance from the internal factory properties.
getIntegerAt(int) - method in class org.grinvin.params.IntegerList
getInvariant() - method in class org.grinvin.invariants.values.AbstractInvariantValue
Return the invariant of which this is a value.
getInvariant() - method in class org.grinvin.invariants.InvariantValue
What is the invariant that is represented with this value?
getInvariant(org.grinvin.invariants.Invariant) - method in class org.grinvin.list.graphs.GraphListElement
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
Return the invariant computers which can be used to compute values for the given invariant
getInvariantExpressionNode(String) - method in class org.grinvin.invariants.InvariantManager
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.worksheet.WorksheetModel
getInvariantListModel() - method in class org.grinvin.conjecture.history.StateEntry
Get the requested invariant.
getInvariants() - method in class org.grinvin.graphs.DefaultGraphBundle
Return the set of invariants currently registered with this bundle.
getInvariants() - method in class org.grinvin.graphs.GraphBundleView
Return the set of invariants currently registered with this bundle.
getInvariants() - method in class org.grinvin.graphs.LightweightGraphBundle
Return the set of invariants currently registered with this bundle.
Return the value of the graph for the given invariant.
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.graphs.DefaultGraphBundle
Return the collection of cached values of the invariants of the graph.
getInvariantValues() - method in class org.grinvin.graphs.GraphBundleView
Return the collection of cached values of the invariants of the graph.
getInvariantValues() - method in class org.grinvin.graphs.LightweightGraphBundle
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.
getListSequenceNumber() - method in class org.grinvin.list.DefaultWorksheetListModel
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.WorksheetListModel
getLoadState() - static method in class org.grinvin.Grinvin
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.
getLocation() - method in class org.grinvin.workspace.Workspace
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.AbstractNamedFactory
getLongName() - method in class org.grinvin.factories.NamedFactory
Return the internationalized name of the factory.
getMainInvariant() - method in class org.grinvin.conjecture.engine.AbstractInequalityEngine
getMajorVersion() - method in class org.grinvin.workspace.WindowSubsystem
getMergeType() - method in class org.grinvin.help.GeneratorIndexView
getMergeType() - method in class org.grinvin.help.GeneratorTOCView
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.WindowSubsystem
getModCount() - method in class org.grinvin.graphs.DefaultGraph
Returns the modification count of this graph.
getModel() - method in class org.grinvin.gui.windows.GraphPropertiesWindow
getModel() - method in class org.grinvin.worksheet.WorksheetWindow
getName() - method in class org.grinvin.generators.graphs.AbstractGraphGeneratorInstance
getName() - method in class org.grinvin.invariants.AbstractInvariant
Returns the localized name of the invariant.
getName() - method in class org.grinvin.factories.AbstractNamedFactory
getName() - method in class org.grinvin.graphs.DefaultGraphBundle
Return the name of this graph.
getName() - method in class org.grinvin.graphs.GraphBundleView
Return the name of this graph.
getName() - method in class org.grinvin.generators.graphs.GraphGeneratorInstance
Return a name which can be used to display this instance.
getName() - method in class org.grinvin.list.graphs.GraphGroup
Return a localized name for this node.
getName() - method in class org.grinvin.list.graphs.GraphListElement
Returns the name of this graph, i.e., the internationalized property with key graph.name.
getName() - method in class org.grinvin.list.graphs.GraphNode
Return a localized name for this node.
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
Return a localized name for this node.
getName() - method in class org.grinvin.invariants.InvariantNode
Return a localized name for this node.
getName() - method in class org.grinvin.list.invariants.InvariantTreeModel
getName() - method in class org.grinvin.graphs.LightweightGraphBundle
Return the name of this graph.
getName() - method in class org.grinvin.factories.NamedFactory
Return the (short) name of the factory.
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.
getName() - method in class org.grinvin.worksheet.WorksheetModel
Get the name of this object.
getName(Object) - method in class org.grinvin.gui.components.render.AbstractGrinvinCellListCellRenderer
getName(Object) - method in class org.grinvin.gui.components.render.GraphFactoryCellRenderer
getName(Object) - method in class org.grinvin.gui.components.render.GraphGeneratorCellRenderer
getName(Object) - method in class org.grinvin.gui.components.render.GraphListElementCellRenderer
getNewLabelText() - method in class org.grinvin.list.actions.GraphRenamePanel
getNewLabelText() - method in class org.grinvin.list.actions.RenamePanel<T,extends,HasName>
getNewLabelText() - method in class org.grinvin.list.actions.WorksheetRenamePanel
getNewName() - method in class org.grinvin.list.actions.RenamePanel<T,extends,HasName>
getNodeCount() - method in class org.grinvin.conjecture.engine.apengine.BinaryTree
Return the current number of nodes, this equals: binaryCount * 2 + unaryCount + 1.
getNumberOfArguments() - method in class org.grinvin.expr.Operator
Return the number of arguments for this operator.
getNumberOfChildren() - method in class org.grinvin.expr.Compound
The number of argument children for this compound expression.
getNumberOfEdges() - method in class org.grinvin.graphs.DefaultGraph
getNumberOfEdges() - method in class org.grinvin.graphs.GraphView
Returns the size, i.e.
getNumberOfVertices() - method in class org.grinvin.graphs.DefaultGraph
getNumberOfVertices() - method in class org.grinvin.graphs.GraphView
Returns the order, i.e.
getOldLabelText() - method in class org.grinvin.list.actions.GraphRenamePanel
getOldLabelText() - method in class org.grinvin.list.actions.RenamePanel<T,extends,HasName>
getOldLabelText() - method in class org.grinvin.list.actions.WorksheetRenamePanel
getOldName() - method in class org.grinvin.list.actions.RenamePanel<T,extends,HasName>
getOperator() - method in class org.grinvin.expr.Compound
Get the operator for this expression.
getOsType() - method in class org.grinvin.preferences.GrinvinPreferences
getPanel() - method in class org.grinvin.conjecture.history.ConjectureEntry
Return a JPanel that displays this entry in the history.
getPanel() - method in class org.grinvin.conjecture.history.ConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E>
Return a JPanel that displays this entry in the history.
getPanel() - method in class org.grinvin.conjecture.history.StateEntry
Return a JPanel that displays this entry in the history.
getPanelTitle() - method in class org.grinvin.list.actions.GraphRenamePanel
getPanelTitle() - method in class org.grinvin.list.actions.RenamePanel<T,extends,HasName>
getPanelTitle() - method in class org.grinvin.list.actions.WorksheetRenamePanel
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
Returns the list of parameters accepted by this factory.
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
Return the (current) parameter values.
getParameterValues() - method in class org.grinvin.factories.Factory
Return the (current) parameter values.
getPeer() - method in class org.grinvin.graphs.AnnotationView
Returns the peer graph for this annotation.
getPeer() - method in class org.grinvin.graphs.DefaultAnnotation
Returns the peer graph for this annotation.
getPeer() - method in class org.grinvin.graphs.DefaultEmbedding
Returns the peer graph for this embedding.
getPeer() - method in class org.grinvin.graphs.EmbeddingView
Returns the peer graph for this embedding.
getPeer() - method in class org.grinvin.gred.TransformedEmbedding
Returns the peer graph for this embedding.
getPreferredXMLFormat() - method in class org.grinvin.preferences.GrinvinPreferences
getPriority() - method in class org.grinvin.invariants.PrioritizedRunnable
Get the priority of this PrioritizedRunnable.
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.graphs.DefaultGraphBundle
Return the internationalized properties-object for this bundle.
getProperties() - method in class org.grinvin.graphs.GraphBundleView
Return the internationalized properties-object for this bundle.
getProperties() - method in class org.grinvin.graphs.LightweightGraphBundle
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.graphs.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
getReferenceValue() - method in class org.grinvin.invariants.details.BarChartPanel
Return the reference value which is used to determine the height of the bars.
getReferenceValue() - method in class org.grinvin.invariants.details.GradientBarChartPanel
Return the reference value which is used to determine the height of the bars.
getResourceBundle() - static method in class org.grinvin.help.HelpManager
getResult() - method in class org.grinvin.conjecture.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.
getRoot() - method in class org.grinvin.list.graphs.GraphTreeModel
getRowCount() - method in class org.grinvin.list.GraphInvariantTableModel
getRowCount() - method in class org.grinvin.list.GraphPropertiesTableModel
getRowCount() - method in class org.grinvin.about.OtherTableModel
getRowCount() - method in class org.grinvin.about.VersionTableModel
getSavedEmbedding() - method in class org.grinvin.gred.MutableGraphPanel
Return the embedding saved by initiateEmbeddingChange().
getSecondEndpoint() - method in class org.grinvin.graphs.DefaultEdge
The second endpoint vertex of this edge.
getSecondEndpoint() - method in class org.grinvin.graphs.Edge
The second endpoint vertex of this edge.
getSelectedElements() - method in class org.grinvin.list.actions.AbstractListAction<E>
Returns the selected elements in the TypedListModel based on the ListSelectionModel.
getSelectedIconPath() - method in class org.grinvin.factories.AbstractNamedFactory
Return the URI of the factory icon when the factory is selected.
getSelectedIconPath() - method in class org.grinvin.factories.NamedFactory
getSelectedIndex() - method in class org.grinvin.worksheet.ConjecturingComboBoxModel
Returns the internal index of the selected item.
getSelectedItem() - method in class org.grinvin.worksheet.ConjecturingComboBoxModel
getSelectedTab() - method in class org.grinvin.main.GrinvinWindow
getSelectedValue() - method in class org.grinvin.gui.components.GraphTableComponent
getSelectedValues() - method in class org.grinvin.gui.components.GraphTableComponent
Returns an array of graph list elements for the selected rows of the table.
getSelectedValues() - method in class org.grinvin.help.GraphViewer
Returns the objects that are currently selected.
getSelectedValues() - method in class org.grinvin.list.HasSelectableValues
Returns the objects 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.invariants.details.BarChartPanel
Return selection model.
getSelectionModel() - method in class org.grinvin.invariants.details.GradientBarChartPanel
Return selection model.
getSize() - method in class org.grinvin.worksheet.ConjecturingComboBoxModel
getSourceActions(JComponent) - method in class org.grinvin.gui.dnd.AbstractDragHandler
getStandardGraphNodes() - method in class org.grinvin.list.graphs.GraphListElementManager
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.graphs.GraphTreeModel
Return the tree model for the standard invariants that come with GrInvIn.
getStandardTree() - static method in class org.grinvin.list.invariants.InvariantTreeModel
Return the tree model for the standard invariants that come with GrInvIn.
getStatus() - method in class org.grinvin.conjecture.engine.EngineRunner
getStrength() - method in class org.grinvin.expr.ExpressionToFormula
Return the strength of the resulting formula.
getStrength() - method in class org.grinvin.expr.ExpressionToString
Return the strength of the resulting string.
getStrength() - method in class org.grinvin.expr.Operator
Return the strength of this operator (used when producing output).
getString() - method in class org.grinvin.expr.ExpressionToString
Return the resulting string.
getStyleSheetForFont(String) - static method in class org.grinvin.util.GrinvinUtilities
Returns a string containing a style sheet that sets the font to the font specified by the given key in the defaults table.
getSymbol() - method in class org.grinvin.expr.Operator
Return the name of this operator.
Returns the time stamp of the moment this entry was created.
getTimeStamp() - method in class org.grinvin.conjecture.history.ConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E>
Returns the time stamp of the moment this entry was created.
getTipWidth() - method in class org.grinvin.gui.MultilineToolTip
getToolTipText(MouseEvent) - method in class org.grinvin.invariants.details.BarChartPanel
getToolTipText(MouseEvent) - method in class org.grinvin.invariants.details.GradientBarChartPanel
getType() - method in class org.grinvin.invariants.values.AbstractInvariantValue
Return the InvariantType of this value.
getType() - method in class org.grinvin.invariants.values.BooleanValueDelegate
getType() - method in class org.grinvin.conjecture.history.ConjectureEntry
getType() - method in class org.grinvin.conjecture.history.ConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E>
getType() - method in class org.grinvin.invariants.values.IntegerMatrixValueDelegate
getType() - method in class org.grinvin.invariants.values.IntegerValueDelegate
getType() - method in class org.grinvin.invariants.InvariantValue
Return the InvariantType of this value.
getType() - method in class org.grinvin.invariants.InvariantValueDelegate<T,extends,InvariantValue>
getType() - method in class org.grinvin.invariants.values.ListOfIntegersValueDelegate
getType() - method in class org.grinvin.invariants.values.ListOfRealsValueDelegate
getType() - method in class org.grinvin.params.ParameterInfo
Return the type of this parameter.
getType() - method in class org.grinvin.invariants.values.RealValueDelegate
getType() - method in class org.grinvin.conjecture.history.StateEntry
getType() - method in class org.grinvin.invariants.values.UnavailableValueDelegate
getType() - method in class org.grinvin.invariants.UnknownInvariantTypeException
The identifier of the type which was unknown.
getType(URI) - static method in class org.grinvin.graphs.GraphURI
Return the type corresponding to the given URI.
getUnaryCount() - method in class org.grinvin.conjecture.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.conjecture.engine.AbstractEngine
getURI() - method in class org.grinvin.factories.graphs.AbstractGraphFactory
getURI() - method in class org.grinvin.list.DefaultConjectureHistoryListModel
getURI() - method in class org.grinvin.list.DefaultConjectureListModel
getURI() - method in class org.grinvin.list.DefaultFilterList
getURI() - method in class org.grinvin.list.DefaultFilterListModel
getURI() - method in class org.grinvin.list.generators.DefaultGraphGeneratorInstanceListModel
getURI() - method in class org.grinvin.list.graphs.DefaultGraphList
getURI() - method in class org.grinvin.list.graphs.DefaultGraphListModel
Get the uri.
getURI() - method in class org.grinvin.list.invariants.DefaultInvariantList
getURI() - method in class org.grinvin.list.invariants.DefaultInvariantListModel
getURI() - method in class org.grinvin.gred.GraphEditor
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.graphs.GraphListElement
Get the uri.
getURI() - method in class org.grinvin.main.GrinvinWindow
getURI() - method in class org.grinvin.list.HasURI
getURI() - method in class org.grinvin.logging.LoggingWindow
getURI() - method in class org.grinvin.worksheet.WorksheetModel
getURLFromID(Map.ID) - method in class org.grinvin.help.DefaultMap
getValue() - method in class org.grinvin.invariants.values.BooleanValue
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.OtherTableModel
getValueAt(int,int) - method in class org.grinvin.about.VersionTableModel
getValues() - method in class org.grinvin.invariants.values.ListOfIntegersValue
getValues() - method in class org.grinvin.invariants.values.ListOfRealsValue
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.computers.AbstractInvariantComputerFactory
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.graphs.DefaultGraph
getVertex(int) - method in class org.grinvin.graphs.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
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
Return the vertex limit factor used to determine whether a graph should be classified as 'small' or 'large'.
getView(org.grinvin.list.ConjectureHistoryListModel) - static method in class org.grinvin.conjecture.history.ConjectureHistoryOverview
getWindow() - static method in class org.grinvin.help.HelpManager
returns the help window.
getWindow(String) - method in class org.grinvin.main.GrinvinWindow
Retrieve the application window with the given key.
getWorksheetListModel() - method in class org.grinvin.main.GrinvinWindow
getWorksheetListSelectionModel() - method in class org.grinvin.main.GrinvinWindow
getWorksheetWindowListModel() - method in class org.grinvin.list.DefaultWorksheetListModel
Return the list model for this window.
getWorksheetWindowListModel() - method in class org.grinvin.list.WorksheetListModel
gle - field in class org.grinvin.list.actions.AbstractInvariantValueAction
gotGraph() - method in class org.grinvin.list.graphs.GraphListElement
Check if the bundle contains a graph.
GPH_FILTER - static field in class org.grinvin.gui.FileFilters
Filter for Grinvin graphs.
GradientBarChartPanel - class org.grinvin.invariants.details.GradientBarChartPanel
Panel which displays a list of real numbers in a bar chart.
GradientBarChartPanel(TypedListModel) - constructor for class org.grinvin.invariants.details.GradientBarChartPanel
Create a bar chart panel with given data model.
GradientBarChartPanel(TypedListModel,double) - constructor for class org.grinvin.invariants.details.GradientBarChartPanel
Create a bar chart panel with given data model and reference value.
GradientBarChartPanel(TypedListModel,ListSelectionModel) - constructor for class org.grinvin.invariants.details.GradientBarChartPanel
Create a bar chart panel with given data model and selection model.
GradientBarChartPanel(TypedListModel,ListSelectionModel,double) - constructor for class org.grinvin.invariants.details.GradientBarChartPanel
Create a bar chart panel with given data model, selection model and reference value.
graph - field in class org.grinvin.graphs.DefaultGraphBundle
graph - field in class org.grinvin.gred.GraphPanel
graph - field in class org.grinvin.list.GraphViewPanel
Graph - interface org.grinvin.graphs.Graph
A mutable version of GraphView.
Graph6Loader - class org.grinvin.io.graphs.Graph6Loader
Several static methods to load graph6 (.g6) files in GrInvIn
GraphBrowserWindowWrapper - class org.grinvin.workspace.compat.GraphBrowserWindowWrapper
Wrapper for the GraphBrowserWindow
GraphBundle - interface org.grinvin.graphs.GraphBundle
A mutable version of GraphBundleView.
GraphBundleListener - interface org.grinvin.graphs.GraphBundleListener
Listens to changes in a GraphBundle.
GraphBundleLoader - class org.grinvin.io.graphs.GraphBundleLoader
Loads a GraphBundle from a zip file.
GraphBundlePreview - class org.grinvin.list.actions.GraphBundlePreview
Generate a preview of the graphbundle.
GraphBundlePreview(JFileChooser) - constructor for class org.grinvin.list.actions.GraphBundlePreview
GraphBundleSaver - class org.grinvin.io.graphs.GraphBundleSaver
Saves a GraphBundleView onto an output stream.
GraphBundleView - interface org.grinvin.graphs.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.gui.components.GraphCellListComponent
Creates a new instance which creates its own selection model.
Creates a new instance of GraphCellListComponent
GraphCellListPanel - class org.grinvin.worksheet.GraphCellListPanel
Panel that contains a GraphCellListComponent.
Creates a new instance of GraphCellListPanel
graphChanged() - method in class org.grinvin.graphs.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
Called when the graph was changed in a major way.
GraphComponent - class org.grinvin.gui.components.GraphComponent
Component that combines the graph icon with its name.
GraphComponent() - constructor for class org.grinvin.gui.components.GraphComponent
GraphComponent(org.grinvin.list.graphs.GraphListElement) - constructor for class org.grinvin.gui.components.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 create() - method in class org.grinvin.workspace.compat.EditorWindowWrapper_1_0
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.
Create an editor that uses the given embedding model and context.
GraphEditor(org.grinvin.list.graphs.GraphListModel) - constructor for class org.grinvin.gred.GraphEditor
Default constructor.
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.
GraphFactoryCellRenderer - class org.grinvin.gui.components.render.GraphFactoryCellRenderer
Renderer to render GraphFactory objects in a be.ugent.caagt.swirl.lists.CellList.
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
GraphFactoryList - interface org.grinvin.list.factories.GraphFactoryList
Interface used to represent a list of GraphFactory objects.
GraphFactoryListModel - interface org.grinvin.list.factories.GraphFactoryListModel
Interface used to represent a ListModel of GraphFactory objects.
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
GraphFilter - interface org.grinvin.conjecture.filter.GraphFilter
Interface for a filter on graphs.
GraphFilterListener - interface org.grinvin.conjecture.filter.GraphFilterListener
GraphFilterManager - class org.grinvin.conjecture.filter.GraphFilterManager
Loads GraphFilters from elements.
GraphGenerator - interface org.grinvin.generators.graphs.GraphGenerator
An object that satisfies this interface can be used to instantiate an object of type GraphGeneratorInstance.
GraphGeneratorCellRenderer - class org.grinvin.gui.components.render.GraphGeneratorCellRenderer
Renderer to render GraphGenerator objects in a be.ugent.caagt.swirl.lists.CellList.
GraphGeneratorInstance - interface org.grinvin.generators.graphs.GraphGeneratorInstance
Represents a particular instance of a generator, i.e., a generator for which all parameters have been assigned a value.
GraphGeneratorInstanceList - interface org.grinvin.list.generators.GraphGeneratorInstanceList
GraphGeneratorInstanceManager - class org.grinvin.generators.graphs.GraphGeneratorInstanceManager
Manages the mapping between Graph generator instances and their identifiers.
GraphGeneratorList - interface org.grinvin.list.generators.GraphGeneratorList
Interface used to represent a list of GraphGenerators.
GraphGeneratorListModel - interface org.grinvin.list.generators.GraphGeneratorListModel
Interface used to represent a ListModel of GraphGenerators.
GraphGeneratorSink - interface org.grinvin.generators.graphs.GraphGeneratorSink
Interface for all objects that receive graph bundles from a graph bundle.
GraphGroup - class org.grinvin.list.graphs.GraphGroup
GraphGroup(String) - constructor for class org.grinvin.list.graphs.GraphGroup
Creates a new instance of GraphGroup
GraphIcon - interface org.grinvin.gui.icons.GraphIcon
An icon which represents a graph.
graphIconFactory - field in class org.grinvin.graphs.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.
TableModel to be used in GraphTableComponent.
GraphList - interface org.grinvin.list.graphs.GraphList
Interface to ease the use of graph lists.
GRAPHLIST_FILTER - static field in class org.grinvin.gui.FileFilters
Filter for Grinvin graphlists
GraphListComponent - class org.grinvin.gui.components.GraphListComponent
GraphListComponent(org.grinvin.list.graphs.GraphListModel) - constructor for class org.grinvin.gui.components.GraphListComponent
GraphListComponentType - class org.grinvin.worksheet.GraphListComponentType
Enumerates the different types of graph list component.
GraphListElement - class org.grinvin.list.graphs.GraphListElement
Represents the elements of a GraphList.
GraphListElementCellRenderer - class org.grinvin.gui.components.render.GraphListElementCellRenderer
Renderer to render GraphListElement objects in a be.ugent.caagt.swirl.lists.CellList.
graphListElementChanged() - method in class org.grinvin.gui.components.GraphPropertiesTableComponent
Allows (multiple) graph elements to be dropped onto a component.
GraphListElementGeneratorSink - class org.grinvin.generators.graphs.GraphListElementGeneratorSink
Allows graph generators to generate graph list elements and add them to a list.
GraphListElementListener - interface org.grinvin.list.graphs.GraphListElementListener
Interface that all elements that listen to GraphListElements should implement.
GraphListElementManager - class org.grinvin.list.graphs.GraphListElementManager
Manages the mapping between Graph URI's and the GraphListElement objects representing them.
GraphListElementPopupMenu - class org.grinvin.worksheet.actions.GraphListElementPopupMenu
GraphListElementRenderer - class org.grinvin.gui.components.render.GraphListElementRenderer
Cell renderer for objects of type GraphListElement.
GraphListElementRenderer() - constructor for class org.grinvin.gui.components.render.GraphListElementRenderer
graphListElements - field in class org.grinvin.worksheet.actions.AbstractGraphListElementAction
GraphListElementSaver - class org.grinvin.io.list.GraphListElementSaver
GraphListener - interface org.grinvin.graphs.GraphListener
Listens to changes in a graph model.
GraphListLoader - class org.grinvin.io.list.GraphListLoader
Helper methods for loading lists of graphs and lists of invariants from disk.
GraphListModel - interface org.grinvin.list.graphs.GraphListModel
Interface that identifies graph list models.
Listener that also listents to the contents of the GraphListModel.
GraphListModelListener - interface org.grinvin.list.graphs.GraphListModelListener
Interface that all listeners of GraphListModel should implement.
Component that holds different views for a GraphListModel.
GraphListPanel - class org.grinvin.worksheet.GraphListPanel
Panel that contains a GraphListComponent.
Default constructor
GraphListSaver - class org.grinvin.io.list.GraphListSaver
Helper methods for saving graph list elements, lists of graphs and lists of invariants to disk.
GraphListTableRenderer - class org.grinvin.gui.components.render.GraphListTableRenderer
Table cell renderer for objects of type GraphListElement.
GraphListTableRenderer() - constructor for class org.grinvin.gui.components.render.GraphListTableRenderer
Default constructor
GraphLoader - class org.grinvin.io.graphs.GraphLoader
Loads a graph.xml-section from an input stream.
GraphLoader_1_0 - class org.grinvin.io.compat.GraphLoader_1_0
Loads an old (1.0) graph.xml-section from an input stream.
GraphModel - interface org.grinvin.graphs.GraphModel
A GraphView which at the same time functions as a model in a model-view-controller triple.
GraphModelSupport - class org.grinvin.graphs.GraphModelSupport
Helper class for implementations of GraphModel.
GraphNode - interface org.grinvin.list.graphs.GraphNode
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.
GraphPanelAction - class org.grinvin.gred.actions.GraphPanelAction
Common super class of all actions that work on a graph panel.
GraphPanelAction(org.grinvin.gred.GraphPanel) - constructor for class org.grinvin.gred.actions.GraphPanelAction
Construct an action of this type.
GraphProperties - class org.grinvin.list.actions.GraphProperties
Construct an action command of this type.
GraphPropertiesComponent - class org.grinvin.gui.components.GraphPropertiesComponent
Displays a graph element and its properties in a single panel.
GraphPropertiesComponent() - constructor for class org.grinvin.gui.components.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.
GraphPropertiesWindow - class org.grinvin.gui.windows.GraphPropertiesWindow
Window that displays a drawing of the graph as well as its known invariants.
GraphRename - class org.grinvin.list.actions.GraphRename
Action which allows the user to rename the currently selected graph list element.
Construct an action command of this type.
GraphRenamePanel - class org.grinvin.list.actions.GraphRenamePanel
Dialog panel for renaming a graph.
GraphRenamePanel() - constructor for class org.grinvin.list.actions.GraphRenamePanel
Construct a panel of this type.
Graphs - class org.grinvin.graphs.Graphs
Provides some basic helper methods for graphs.
GraphSaver - class org.grinvin.io.graphs.GraphSaver
Saves a GraphView as a graph.xml-section onto an output stream.
graphtable - field in class org.grinvin.gui.components.ScrollableGraphTableComponent
GraphTableComponent - class org.grinvin.gui.components.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.worksheet.GraphTablePanel
GraphTableSplitPanel - class org.grinvin.worksheet.GraphTableSplitPanel
Creates a new instance of GraphTablePanel
graphToMulticode(org.grinvin.graphs.GraphView) - method in class org.grinvin.invariants.computers.AbstractInvariantCComputer
Converts the graph to multicode-representation.
GraphTreeComponent - class org.grinvin.gui.components.GraphTreeComponent
GraphTreeComponent(org.grinvin.list.graphs.GraphTreeModel) - constructor for class org.grinvin.gui.components.GraphTreeComponent
Creates a new instance of GraphTreeComponent
GraphTreeModel - class org.grinvin.list.graphs.GraphTreeModel
GraphTreeModel(org.grinvin.list.graphs.GraphGroup) - constructor for class org.grinvin.list.graphs.GraphTreeModel
GraphURI - class org.grinvin.graphs.GraphURI
Utility class provides a method load(URI,GraphBundle,SectionLoader) to load a graph that corresponds to an URI.
GraphURIException - class org.grinvin.graphs.GraphURIException
Indicates that a graph could not be instantiated from a URI.
GraphURIException(String) - constructor for class org.grinvin.graphs.GraphURIException
Constructs an instance of GraphURIException with the specified detail message.
GraphURIException(String,Throwable) - constructor for class org.grinvin.graphs.GraphURIException
Constructs an instance of GraphURIException with the specified detail message and cause
GraphURIType - class org.grinvin.graphs.GraphURIType
GraphView - interface org.grinvin.graphs.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
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.
GrinvinUtilities - class org.grinvin.util.GrinvinUtilities
A collection of utility methods for GrInvIn.
GrinvinWindow create() - method in class org.grinvin.workspace.GrinvinWindowWrapper
Create all top level windows and add them to the menus of the main window.
Load this window and all dependent windows.
GrinvinWindow - class org.grinvin.main.GrinvinWindow
This class represents the GrInvIn main window.
GrinvinWindow() - constructor for class org.grinvin.main.GrinvinWindow
Creates a new instance of GrinvinWindow
GrinvinWindowWrapper - class org.grinvin.workspace.GrinvinWindowWrapper
Wrapper for the main GrInvIn window.
GrinvinWindowWrapper_1_0 - class org.grinvin.workspace.compat.GrinvinWindowWrapper_1_0
GrinvinWindowWrapper_1_0(Map) - constructor for class org.grinvin.workspace.compat.GrinvinWindowWrapper_1_0
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.
GuidesButton - class org.grinvin.gred.guides.GuidesButton
Button that displays a popup to change the guides for a panel and that has the corresponding guides as an icon.
GuidesButton(org.grinvin.gred.GraphPanel) - constructor for class org.grinvin.gred.guides.GuidesButton
Creates a new instance of GuidesButton
guidesChanged() - method in class org.grinvin.gred.guides.GuidesButton
guidesChanged() - method in class org.grinvin.gred.guides.GuidesListener
GuidesListener - interface org.grinvin.gred.guides.GuidesListener
Interface for objects that listen to a certain panel with guides.
GuidesPanel - class org.grinvin.gred.guides.GuidesPanel
Panel with buttons to change the guides for a given graph panel - to be used with a GuidesButton that displays this panel in a popup.
Create a panel of this type which is connected to the given graph panel.
GWS_FILTER - static field in class org.grinvin.gui.FileFilters
Filter for grinvin workspace files.

H

handleDelayedPressed(MouseEvent) - method in class org.grinvin.gred.mouse.RollOverOverlay
handleDragged(MouseEvent) - method in class org.grinvin.gred.mouse.RollOverOverlay
handleExit() - static method in class org.grinvin.main.actions.Exit
handleExitWithoutSave() - static method in class org.grinvin.main.actions.ExitWithoutSave
HasAccessControl - interface org.grinvin.gui.dnd.HasAccessControl
Interface used to provide readonly testing.
This invariant value can display details.
This invariant value can display details.
hasDetails(T) - method in class org.grinvin.invariants.values.AbstractInvariantValueDelegate<T,extends,InvariantValue>
Is it possible to obtain a 'details window' for this component?

The standard implementation always returns false.

hasDetails(T) - method in class org.grinvin.invariants.InvariantValueDelegate<T,extends,InvariantValue>
Is it possible to obtain a 'details window' for this component?
HasGraphList - interface org.grinvin.worksheet.HasGraphList
Common interface of all components (windows, panels, ...) that export a graph list model.
hasLeftChild(int) - method in class org.grinvin.conjecture.engine.apengine.BinaryTree
Does the node have a left child?
hasMore() - method in class org.grinvin.conjecture.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.graphs.DefaultGraph.EdgeIterator
hasNext() - method in class org.grinvin.graphs.DefaultGraph.VertexIterator
hasNext() - method in class org.grinvin.util.IteratorWithoutRemove<T>
HasRequestedCell - interface org.grinvin.worksheet.HasRequestedCell
Interface for JTables that can have a special requested cell.
hasRightChild(int) - method in class org.grinvin.conjecture.engine.apengine.BinaryTree
Does the node have a right child?
HasSelectableGraphList - interface org.grinvin.worksheet.HasSelectableGraphList
Common interface of all components that allow a set of graph list elements to be selected.
HasSelectableValues - interface org.grinvin.list.HasSelectableValues
Common interface of all components for which a set of objects can be selected.
HasURI - interface org.grinvin.list.HasURI
Interface implemented by all objects (mostly lists) that support setURI and getURI.
HelpManager - class org.grinvin.help.HelpManager
Central managing of context-sensitive help
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
HideSubwindowMenuItem - class org.grinvin.worksheet.HideSubwindowMenuItem
Menu item to toggle the visible state of a subwindow.
Creates a new instance of HideSubwindowMenuItem

I

Icon getIcon(File) - method in class org.grinvin.io.WorkspaceFileView
id - field in class org.grinvin.invariants.computers.AbstractInvariantComputerFactory.Computer<T,extends,InvariantValue>
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.actions.ImportGraphBundle
Action to import graph bundles into the given graph list.
ImportGraphList - class org.grinvin.main.actions.ImportGraphList
Action to import a graph list from a file.
ImportGraphList(org.grinvin.main.GrinvinWindow) - constructor for class org.grinvin.main.actions.ImportGraphList
Return the index of the given invariant in the internal list.
InequalityEngine - interface org.grinvin.conjecture.engine.InequalityEngine
init() - method in class org.grinvin.io.Subsystem
init() - method in class org.grinvin.workspace.WindowSubsystem
initiateEmbeddingChange() - method in class org.grinvin.gred.MutableGraphPanel
Initiate an upcoming change to an embedding.
Initialize a label which is used to display this invariant value.
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
installHandler(String) - static method in class org.grinvin.logging.Logging
Initializes the logging handler for this application if this was not already done before.
int getDimension() - method in class org.grinvin.gred.transformations.AffineTransformation
int hashCode() - method in class org.grinvin.invariants.AbstractInvariant
The hash value of an invariant is the hash value of its identifier.
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
IntegerLiteral - class org.grinvin.expr.IntegerLiteral
Expression representing an integer literal.
IntegerLiteral(int) - constructor for class org.grinvin.expr.IntegerLiteral
Create an integer literal with the given value.
IntegerMatrixValue - class org.grinvin.invariants.values.IntegerMatrixValue
IntegerMatrixValueDelegate - class org.grinvin.invariants.values.IntegerMatrixValueDelegate
Delegate for IntegerMatrixValues.
IntegerValue - class org.grinvin.invariants.values.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.values.IntegerValue
Create an object of this type with the given integral value.
IntegerValueDelegate - class org.grinvin.invariants.values.IntegerValueDelegate
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.invariants.details.BarChartPanel
intervalAdded(ListDataEvent) - method in class org.grinvin.conjecture.filter.CompoundGraphFilter
intervalAdded(ListDataEvent) - method in class org.grinvin.conjecture.history.ConjectureHistoryOverview
intervalAdded(ListDataEvent) - method in class org.grinvin.worksheet.ConjecturingComboBoxModel
intervalAdded(ListDataEvent) - method in class org.grinvin.invariants.details.GradientBarChartPanel
intervalAdded(ListDataEvent) - method in class org.grinvin.conjecture.engine.MainInvariantConfigurationPanel
intervalAdded(ListDataEvent) - method in class org.grinvin.list.actions.RunConjecturing
intervalAdded(ListDataEvent) - method in class org.grinvin.worksheet.WorksheetWindow
intervalAdded(ListDataEvent) - method in class org.grinvin.main.WorksheetWindowMenuHandler
intervalRemoved(ListDataEvent) - method in class org.grinvin.invariants.details.BarChartPanel
Repaint when data model changes.
intervalRemoved(ListDataEvent) - method in class org.grinvin.conjecture.filter.CompoundGraphFilter
intervalRemoved(ListDataEvent) - method in class org.grinvin.conjecture.history.ConjectureHistoryOverview
intervalRemoved(ListDataEvent) - method in class org.grinvin.worksheet.ConjecturingComboBoxModel
intervalRemoved(ListDataEvent) - method in class org.grinvin.invariants.details.GradientBarChartPanel
Repaint when data model changes.
intervalRemoved(ListDataEvent) - method in class org.grinvin.conjecture.engine.MainInvariantConfigurationPanel
intervalRemoved(ListDataEvent) - method in class org.grinvin.list.actions.RunConjecturing
intervalRemoved(ListDataEvent) - method in class org.grinvin.worksheet.WorksheetWindow
invalidate() - method in class org.grinvin.graphs.DefaultGraphBundle
Clear all cached values for this bundle (i.e.
invalidate() - method in class org.grinvin.graphs.GraphBundle
Clear all cached values for this bundle (i.e.
invalidate() - method in class org.grinvin.graphs.LightweightGraphBundle
Clear all cached values for this bundle (i.e.
Remove the given InvariantValue from the cache of this bundle.
Remove the given InvariantValue from the cache of this bundle.
Remove the given InvariantValue from the cache of this bundle.
Action which can be used to invalidate the cache of the graphbundle in a graph list element.
InvalidateGraphBundleCacheAction() - constructor for class org.grinvin.worksheet.actions.InvalidateGraphBundleCacheAction
Create an action of this type.
Create an action of this type for the given graph list element.
Create an action of this type for the given graph list elements.
Operators.Invariant - class org.grinvin.conjecture.engine.apengine.Operators.Invariant
Invariant - interface org.grinvin.invariants.Invariant
Represents the mathematical concept of graph invariant, like 'diameter', 'average degree', 'largest eigenvalue'...
Invariant(int) - constructor for class org.grinvin.conjecture.engine.apengine.Operators.Invariant
INVARIANT_FILTER - static field in class org.grinvin.gui.FileFilters
Filter for invariant computer class files.
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.gui.dnd.InvariantDropHandler
Common DropHandler to drop invariants on objects that support AcceptsInvariant.
InvariantExpressionNode - interface org.grinvin.invariants.InvariantExpressionNode
Interface combining Invariant, InvariantNode and Expression.
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 AcceptsInvariant.
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.invariants.InvariantList
Interface to ease the use of lists of invariants.
InvariantListComponent - class org.grinvin.gui.components.InvariantListComponent
List component with entries of type Invariant.
Creates a new instance of InvariantListComponent
InvariantListGeneratorSink - class org.grinvin.generators.graphs.InvariantListGeneratorSink
Graph generator sink which computes invariants for all graph bundles handed to it.
Create a sink which computes the values of all given invariants for all graph bundles handed to it.
Provides dynamic map ID assignment for a list of invariants.
Creates a new instance of InvariantListHelpManager
InvariantListLoader - class org.grinvin.io.list.InvariantListLoader
InvariantListModel - interface org.grinvin.list.invariants.InvariantListModel
InvariantListModelListener - interface org.grinvin.list.invariants.InvariantListModelListener
Interface that all listeners of InvariantListModel should implement.
InvariantListSaver - class org.grinvin.io.list.InvariantListSaver
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.
InvariantTableCellRenderer - class org.grinvin.gui.components.render.InvariantTableCellRenderer
Table cell renderer for objects of type Invariant.
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
InvariantTreeComponent - class org.grinvin.gui.components.InvariantTreeComponent
Tree component with leaves of type Invariant.
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.invariants.InvariantTreeModel
Tree model containing the tree of supported invariants.
InvariantTreeModel(Iterable) - constructor for class org.grinvin.list.invariants.InvariantTreeModel
Return a model for the tree of invariants that corresponds to the given list of nodes.
InvariantType - class org.grinvin.invariants.InvariantType
Helper enum which handles invariant types.
InvariantValue - interface org.grinvin.invariants.InvariantValue
Interface that should be implemented by all classes that represent an invariant value.
InvariantValue>invariantValues - field in class org.grinvin.graphs.DefaultGraphBundle
InvariantValuePopupMenu - class org.grinvin.list.actions.InvariantValuePopupMenu
InvariantValuePopupMenu() - constructor for class org.grinvin.list.actions.InvariantValuePopupMenu
Loader for the computed values of a saved GraphBundle
Saved for the computed values of a saved GraphBundle
InvariantValueTableCellRenderer - class org.grinvin.gui.components.render.InvariantValueTableCellRenderer
Table cell renderer for objects of type InvariantValue.
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.
isActive() - method in class org.grinvin.gui.components.FilterListComponent.CombineSelectedAND
isActive() - method in class org.grinvin.gui.components.FilterListComponent.CombineSelectedOR
isActive() - method in class org.grinvin.gui.components.FilterListComponent.NegateSelectedElements
isActive() - method in class org.grinvin.gui.components.FilterListComponent.SplitSelectedElements
isAttached(org.grinvin.graphs.Edge) - method in class org.grinvin.gred.GraphPanel
Checks whether the given edge is still attached to its parent.
isAttached(org.grinvin.graphs.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.OtherTableModel
isCellEditable(int,int) - method in class org.grinvin.about.VersionTableModel
isClasspath(URI) - static method in class org.grinvin.graphs.GraphURI
isCollapsed() - method in class org.grinvin.worksheet.SubwindowModel
isDirty() - method in class org.grinvin.gred.GraphEditor
Check whether the editor is 'dirty'.
isDirty() - method in class org.grinvin.gred.GraphPanel
isDirty() - method in class org.grinvin.gred.MutableGraphPanel
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.graphs.GraphURI
isFile(URI) - static method in class org.grinvin.graphs.GraphURI
isGlobal(URI) - static method in class org.grinvin.graphs.GraphURI
isHelpLoaded() - static method in class org.grinvin.help.HelpManager
returns true if the help files were loaded without errors
isID(URL) - method in class org.grinvin.help.DefaultMap
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?
isLeaf(Object) - method in class org.grinvin.list.graphs.GraphTreeModel
isLocal(URI) - static method in class org.grinvin.graphs.GraphURI
isMultipleSelectionEvent(MouseEvent) - static method in class org.grinvin.util.GrinvinUtilities
Returns true if the mouse event specifies a multiple select.
isNameEditable() - method in class org.grinvin.list.graphs.GraphListElement
Is the name of this graph user editable?
isNameEditable() - method in class org.grinvin.list.HasName
Is the name of this object editable.
isNameEditable() - method in class org.grinvin.worksheet.WorksheetModel
Is the name of this object editable.
isNegated() - method in class org.grinvin.conjecture.filter.AbstractGraphFilter
isNegated() - method in class org.grinvin.conjecture.filter.GraphFilter
isReadOnly() - method in class org.grinvin.gui.components.FilterListComponent
isReadOnly() - method in class org.grinvin.gui.components.GeneratorInstanceListComponent
isReadOnly() - method in class org.grinvin.gui.components.GraphListComponent
isReadOnly() - method in class org.grinvin.gui.dnd.HasAccessControl
isReadOnly() - method in class org.grinvin.gui.components.InvariantListComponent
isReadyForRun() - method in class org.grinvin.conjecture.engine.AbstractInequalityEngine
Returns true if the engine is properly configured and ready to be runned.
isReadyForRun() - method in class org.grinvin.conjecture.engine.Engine
Returns true if the engine is properly configured and ready to be runned.
isRequestedCell(int,int) - method in class org.grinvin.gui.components.GraphPropertiesTableComponent
isRequestedCell(int,int) - method in class org.grinvin.gui.components.GraphTableComponent
isRequestedCell(int,int) - method in class org.grinvin.worksheet.HasRequestedCell
isRollOver(org.grinvin.graphs.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.graphs.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.DefaultMap
isVisible() - method in class org.grinvin.worksheet.SubwindowModel
itemStateChanged(ItemEvent) - method in class org.grinvin.gred.actions.AutoSnapListener
Alter the 'snap to guides' flag of the panel.
itemStateChanged(ItemEvent) - method in class org.grinvin.gred.guides.GuidesButton
itemStateChanged(ItemEvent) - method in class org.grinvin.gred.actions.ShowAdvancedToolbarListener
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.
iv - field in class org.grinvin.list.actions.AbstractInvariantValueAction

J

Join the anchor to the given vertex.
Class that listens to mouse clicks on a JTabbedPane and displays a popup menu corresponding to the clicked tab.
JTabbedPaneMouseListener(JTabbedPane) - constructor for class org.grinvin.gui.JTabbedPaneMouseListener
Creates a new instance of JTabbedPaneMouseListener and registers it as listener with tabbedPane.
JToolTip createToolTip() - method in class org.grinvin.gui.components.GraphCellListComponent

L

LabeledBinaryTree - class org.grinvin.conjecture.engine.apengine.LabeledBinaryTree
A binary tree that can be labeled.
LabeledBinaryTree(int,int) - constructor for class org.grinvin.conjecture.engine.apengine.LabeledBinaryTree
Create a new binary tree with unaryOperators unary operators and binaryOperators binary operators.
LabeledBinaryTreeFactory - class org.grinvin.conjecture.engine.apengine.LabeledBinaryTreeFactory
Factory for creating a LabeledBinaryTree.
LabeledTreeGenerator - class org.grinvin.conjecture.engine.apengine.LabeledTreeGenerator
LabeledTreeGenerator(int,int) - constructor for class org.grinvin.conjecture.engine.apengine.LabeledTreeGenerator
LabeledTreeGenerator(TreeGenerator,int,int) - constructor for class org.grinvin.conjecture.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.graphs.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
LaunchHelp - class org.grinvin.help.actions.LaunchHelp
Opens the help window
LaunchHelp() - constructor for class org.grinvin.help.actions.LaunchHelp
LaunchWebsite - class org.grinvin.help.actions.LaunchWebsite
Opens the help window and displays the website
LaunchWebsite() - constructor for class org.grinvin.help.actions.LaunchWebsite
leftChild(int) - method in class org.grinvin.conjecture.engine.apengine.BinaryTree
Return the left child of the given node.
Lightweight implementation of GraphBundle.
LightweightGraphBundle() - constructor for class org.grinvin.graphs.LightweightGraphBundle
Tree generator that generates trees with at most the given amount of unary and binary operators.
LimitedTreeGenerator(int,int,TreeFactory) - constructor for class org.grinvin.conjecture.engine.apengine.LimitedTreeGenerator<T,extends,BinaryTree>
LineGraph - class org.grinvin.gred.actions.LineGraph
Action 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(org.grinvin.gred.MutableGraphPanel) - constructor for class org.grinvin.gred.actions.LineGraph
Default constructor
list - field in class org.grinvin.factories.AbstractFactory
list - field in class org.grinvin.list.actions.AbstractListAction<E>
listeners - field in class org.grinvin.graphs.DefaultGraphBundle
ListOfIntegersValue - class org.grinvin.invariants.values.ListOfIntegersValue
Represents an invariant which is a list of integers.
ListOfIntegersValueDelegate - class org.grinvin.invariants.values.ListOfIntegersValueDelegate
ListOfRealsValue - class org.grinvin.invariants.values.ListOfRealsValue
Represents an invariant which is a list of reals.
ListOfRealsValueDelegate - class org.grinvin.invariants.values.ListOfRealsValueDelegate
Literal - interface org.grinvin.expr.Literal
Literal expression, i.e., an expression with a fixed value.
load(Element) - method in class org.grinvin.invariants.values.AbstractInvariantValueDelegate<T,extends,InvariantValue>
Initialize the components of this value from a JDOM-element.
load(Element) - method in class org.grinvin.invariants.InvariantValueDelegate<T,extends,InvariantValue>
load(Element,org.grinvin.io.SectionLoader) - method in class org.grinvin.workspace.compat.ConjecturingWindowWrapper
Load the window, its graph list and its invariaht list.
This implementation creates the window using create() and sets window bounds and visibility from the information in the workspace XML-file.
This implementation creates the window using DefaultWindowWrapper.create() and sets window bounds and visibility from the information in the workspace XML-file.
load(Element,org.grinvin.io.SectionLoader) - method in class org.grinvin.io.Subsystem
load(Element,org.grinvin.io.SectionLoader) - method in class org.grinvin.workspace.WindowSubsystem
load(Element,org.grinvin.io.SectionLoader) - method in class org.grinvin.workspace.Wrapper<C>
Load the subcomponent(s) managed by this wrapper from a persistent work space.
Load the settings for this engine from an element.
load(Element,org.grinvin.worksheet.WorksheetModel) - method in class org.grinvin.conjecture.engine.Engine
Load the settings for this engine from an element.
load(InputStream) - method in class org.grinvin.util.InternationalizedProperties
Loads the properties from the given input stream and adds them to this list.
load(org.grinvin.graphs.Annotation,Element) - static method in class org.grinvin.io.graphs.AnnotationLoader
load(org.grinvin.graphs.Annotation,InputStream) - static method in class org.grinvin.io.graphs.AnnotationLoader
Load the annotation from the input stream.
load(org.grinvin.graphs.Embedding,Element) - static method in class org.grinvin.io.graphs.EmbeddingLoader
load(org.grinvin.graphs.Embedding,InputStream) - static method in class org.grinvin.io.graphs.EmbeddingLoader
Load the embedding from the input stream.
load(org.grinvin.graphs.Graph,Element) - static method in class org.grinvin.io.graphs.GraphLoader
load(org.grinvin.graphs.Graph,InputStream) - static method in class org.grinvin.io.graphs.GraphLoader
Load the graph from the input stream.
Load the graph from the input stream.
Load the invariant values from the given InputStream
load(org.grinvin.list.ConjectureList,InputStream) - static method in class org.grinvin.io.list.ConjectureListLoader
load(org.grinvin.list.FilterList,InputStream) - static method in class org.grinvin.io.list.FilterListLoader
Load a graph list from an XML file.
Load a invariant list from an XML file.
load(org.grinvin.workspace.Workspace,File) - static method in class org.grinvin.io.WorkspaceLoader
Load the workspace from the given workspace file.
Load the graph that corresponds to the given URI into the given graph bundle.
load_1_0(Element) - method in class org.grinvin.invariants.values.AbstractInvariantValueDelegate<T,extends,InvariantValue>
Initialize the components of this value from a JDOM-element.
load_1_0(Element,org.grinvin.io.SectionLoader) - method in class org.grinvin.workspace.WindowSubsystem
Load an invariant list from an XML file.
loadClassFromFile(File) - method in class org.grinvin.util.LocalClassLoader
Load a class from a given class file.
loadDocument(InputStream) - static method in class org.grinvin.io.LoaderSaverHelper
loadDocumentFromInputStream(InputStream) - static method in class org.grinvin.xml.XMLUtils
loadElement(InputStream) - static method in class org.grinvin.io.LoaderSaverHelper
loadElementNonValidating(InputStream,String) - static method in class org.grinvin.io.LoaderSaverHelper
LoaderSaverHelper - class org.grinvin.io.LoaderSaverHelper
loadExpression(Element) - static method in class org.grinvin.expr.ExpressionLoader
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.
loadFromDirectory(org.grinvin.graphs.GraphBundle,File) - static method in class org.grinvin.io.graphs.GraphBundleLoader
Load the bundle from the given directory.
Load the workspace from the given workspace directory.
loadFromInputStream(InputStream) - static method in class org.grinvin.xml.XMLUtils
Converts the given XML on the input stream into a JDOM element with all external entities (mainly DTDs) searched for in the package org.grinvin.dtds, but resolved by the class loader of this class.
loadFromInputStreamNonValidating(InputStream) - static method in class org.grinvin.xml.XMLUtils
loadFromZip(org.grinvin.graphs.GraphBundle,File) - static method in class org.grinvin.io.graphs.GraphBundleLoader
Load the bundle from the given file.
loadFromZip(org.grinvin.graphs.GraphBundle,InputStream) - static method in class org.grinvin.io.graphs.GraphBundleLoader
Load the bundle from the given input stream.
Change the embedding and graph to be used by this panel to a copy of the given embedding.
LoadInvariant - class org.grinvin.list.actions.LoadInvariant
Action to load a new invariant computer from file.
loadInvariant(String,String) - method in class org.grinvin.invariants.InvariantManager
Load an invariant and register it with this manager.
LoadInvariant(Window) - constructor for class org.grinvin.list.actions.LoadInvariant
Creates a new instance of LoadInvariant
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.main.actions.LoadWorkspace
Ask the user for a workspace location.
Loads the properties from the given input stream and adds them to this list.
Should be overridden to load the actual value from a JDOM-element.
Should be overridden to load the actual value from a JDOM-element.
Should be overridden to load the actual value from a JDOM-element.
Should be overridden to load the actual value from a JDOM-element.
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.
LoadWorkspace - class org.grinvin.main.actions.LoadWorkspace
LoadWorkspace(Window) - constructor for class org.grinvin.main.actions.LoadWorkspace
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
locationChanged() - method in class org.grinvin.main.GrinvinWindow
This method is called when the location of the workspace is changed.
locationChanged() - method in class org.grinvin.workspace.WorkspaceListener
This method is called when the location of the workspace is changed.
Logging - class org.grinvin.logging.Logging
Installs the main log handler for the application.
LoggingWindow create() - method in class org.grinvin.workspace.LoggingWindowWrapper
LoggingWindow create() - method in class org.grinvin.workspace.compat.LoggingWindowWrapper_1_0
LoggingWindow - class org.grinvin.logging.LoggingWindow
LoggingWindow(Frame,String,boolean) - constructor for class org.grinvin.logging.LoggingWindow
LoggingWindowWrapper - class org.grinvin.workspace.LoggingWindowWrapper
Window wrapper for the factory window.
LoggingWindowWrapper_1_0 - class org.grinvin.workspace.compat.LoggingWindowWrapper_1_0

M

madeError() - method in class org.grinvin.gui.components.MindgameButtonsComponent.MindgameButtonsComponentListener
madeError() - method in class org.grinvin.gui.components.MindgameComponent
main(String[]) - static method in class org.grinvin.util.GaussElimination
main(String[]) - static method in class org.grinvin.Grinvin
main(String[]) - static method in class org.grinvin.Mindgame
main(String[]) - static method in class org.grinvin.install.PostInstall
A standard configuration panel for an InequalityEngine that allows the selection of a main invariant.
Creates a new instance of MainInvariantConfigurationPanel
MergeSelection - class org.grinvin.gred.actions.MergeSelection
Action command which merges the current selected vertices.
mergeSelection() - method in class org.grinvin.gred.MutableGraphPanel
Merges the current selected vertices.
MergeSelection(org.grinvin.gred.MutableGraphPanel) - constructor for class org.grinvin.gred.actions.MergeSelection
Default constructor
Mindgame - class org.grinvin.Mindgame
MindgameButtonsComponent - class org.grinvin.gui.components.MindgameButtonsComponent
MindgameButtonsComponent(Icon[],Icon) - constructor for class org.grinvin.gui.components.MindgameButtonsComponent
Creates a new instance of MindgameButtonsComponent
MindgameComponent - class org.grinvin.gui.components.MindgameComponent
MindgameComponent() - constructor for class org.grinvin.gui.components.MindgameComponent
MindgameWindow - class org.grinvin.gui.windows.MindgameWindow
MindgameWindow() - constructor for class org.grinvin.gui.windows.MindgameWindow
MINUS_ONE - static field in class org.grinvin.expr.IntegerLiteral
MissingGraphIcon - class org.grinvin.gui.icons.MissingGraphIcon
Icon that represents a missing graph that could not be loaded.
MissingGraphIcon(int) - constructor for class org.grinvin.gui.icons.MissingGraphIcon
Creates a new instance of MissingGraphIcon
MissingGraphIconFactory - class org.grinvin.gui.icons.MissingGraphIconFactory
Graph icon factory that uses MissingGraphIcon.
MissingGraphIconFactory() - constructor for class org.grinvin.gui.icons.MissingGraphIconFactory
Default constructor.
model - field in class org.grinvin.gui.components.GraphListComponent
mouseClicked(MouseEvent) - method in class org.grinvin.invariants.details.BarChartPanel
mouseClicked(MouseEvent) - method in class org.grinvin.invariants.details.GradientBarChartPanel
mouseClicked(MouseEvent) - method in class org.grinvin.gui.components.GraphCellListComponent
mouseClicked(MouseEvent) - method in class org.grinvin.gui.components.GraphListComponent
mouseClicked(MouseEvent) - method in class org.grinvin.gui.components.GraphPropertiesTableComponent
mouseClicked(MouseEvent) - method in class org.grinvin.gui.components.GraphTableComponent
mouseClicked(MouseEvent) - method in class org.grinvin.gui.components.GraphTreeComponent
mouseClicked(MouseEvent) - method in class org.grinvin.gui.JTabbedPaneMouseListener
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.invariants.details.BarChartPanel
mouseEntered(MouseEvent) - method in class org.grinvin.invariants.details.GradientBarChartPanel
mouseEntered(MouseEvent) - method in class org.grinvin.gui.components.GraphCellListComponent
mouseEntered(MouseEvent) - method in class org.grinvin.gui.components.GraphListComponent
mouseEntered(MouseEvent) - method in class org.grinvin.gui.components.GraphPropertiesTableComponent
mouseEntered(MouseEvent) - method in class org.grinvin.gui.components.GraphTableComponent
mouseEntered(MouseEvent) - method in class org.grinvin.gui.components.GraphTreeComponent
mouseEntered(MouseEvent) - method in class org.grinvin.gui.JTabbedPaneMouseListener
mouseExited(MouseEvent) - method in class org.grinvin.invariants.details.BarChartPanel
mouseExited(MouseEvent) - method in class org.grinvin.invariants.details.GradientBarChartPanel
mouseExited(MouseEvent) - method in class org.grinvin.gui.components.GraphCellListComponent
mouseExited(MouseEvent) - method in class org.grinvin.gui.components.GraphListComponent
mouseExited(MouseEvent) - method in class org.grinvin.gui.components.GraphPropertiesTableComponent
mouseExited(MouseEvent) - method in class org.grinvin.gui.components.GraphTableComponent
mouseExited(MouseEvent) - method in class org.grinvin.gui.components.GraphTreeComponent
mouseExited(MouseEvent) - method in class org.grinvin.gui.JTabbedPaneMouseListener
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.invariants.details.BarChartPanel
mousePressed(MouseEvent) - method in class org.grinvin.invariants.details.GradientBarChartPanel
mousePressed(MouseEvent) - method in class org.grinvin.gui.components.GraphCellListComponent
mousePressed(MouseEvent) - method in class org.grinvin.gui.components.GraphListComponent
mousePressed(MouseEvent) - method in class org.grinvin.gui.components.GraphPropertiesTableComponent
mousePressed(MouseEvent) - method in class org.grinvin.gui.components.GraphTableComponent
mousePressed(MouseEvent) - method in class org.grinvin.gui.components.GraphTreeComponent
mousePressed(MouseEvent) - method in class org.grinvin.gui.JTabbedPaneMouseListener
mouseReleased(MouseEvent) - method in class org.grinvin.invariants.details.BarChartPanel
mouseReleased(MouseEvent) - method in class org.grinvin.invariants.details.GradientBarChartPanel
mouseReleased(MouseEvent) - method in class org.grinvin.gui.components.GraphCellListComponent
mouseReleased(MouseEvent) - method in class org.grinvin.gui.components.GraphListComponent
mouseReleased(MouseEvent) - method in class org.grinvin.gui.components.GraphPropertiesTableComponent
mouseReleased(MouseEvent) - method in class org.grinvin.gui.components.GraphTableComponent
mouseReleased(MouseEvent) - method in class org.grinvin.gui.components.GraphTreeComponent
mouseReleased(MouseEvent) - method in class org.grinvin.gui.JTabbedPaneMouseListener
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
MutableAnnotationModel - interface org.grinvin.graphs.MutableAnnotationModel
MutableEmbeddingModel - interface org.grinvin.graphs.MutableEmbeddingModel
Interface combining the functionality of EmbeddingModel and Embedding.
MutableGraphModel - interface org.grinvin.graphs.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.
MutableGraphPanelAction - class org.grinvin.gred.actions.MutableGraphPanelAction
Common super class of all action commands that work on a mutable graph panel.
Construct an action command of this type.
MyComponentListener(JFrame) - constructor for class org.grinvin.gui.windows.MindgameWindow.MyComponentListener

N

NamedFactory - interface org.grinvin.factories.NamedFactory
Interface for a Factory which may be displayed as part of a cell list.
NamedGraphComponent - class org.grinvin.gui.components.NamedGraphComponent
Extension of GraphComponent that shows the name of the graph above the icon.
NamedGraphComponent() - constructor for class org.grinvin.gui.components.NamedGraphComponent
negate(boolean) - method in class org.grinvin.conjecture.filter.AbstractGraphFilter
negate(boolean) - method in class org.grinvin.conjecture.filter.GraphFilter
negativeInfinity(org.grinvin.invariants.InvariantComputer) - static method in class org.grinvin.invariants.values.IntegerValue
Return an object of this type representing negative infinity.
negativeInfinity(org.grinvin.invariants.InvariantComputer) - static method in class org.grinvin.invariants.values.RealValue
Return an object of this type representing negative infinity.
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.conjecture.engine.apengine.BinaryTree
Create a new left child for the given node.
newRightChild(int) - method in class org.grinvin.conjecture.engine.apengine.BinaryTree
Create a new right child for the given node.
NewWorksheet - class org.grinvin.main.actions.NewWorksheet
Creates a new worksheet.
NewWorksheet(org.grinvin.main.GrinvinWindow) - constructor for class org.grinvin.main.actions.NewWorksheet
NewWorkspace - class org.grinvin.main.actions.NewWorkspace
newWorkspace(File) - method in class org.grinvin.workspace.Workspace
Initialize all subsystems and perform an initial save into the given workspace directory.
next() - method in class org.grinvin.graphs.DefaultGraph.EdgeIterator
next() - method in class org.grinvin.graphs.DefaultGraph.VertexIterator
next() - method in class org.grinvin.util.IteratorWithoutRemove<T>
nextLabeledTree() - method in class org.grinvin.conjecture.engine.apengine.LabeledTreeGenerator
Return the next LabeledBinaryTree or null when no more tree is available.
nextLevel() - method in class org.grinvin.gui.components.MindgameComponent
nextTree() - method in class org.grinvin.conjecture.engine.apengine.ExactTreeGenerator<T,extends,BinaryTree>
Return the next LabeledBinaryTree or null when no more tree is available.
nextTree() - method in class org.grinvin.conjecture.engine.apengine.LimitedTreeGenerator<T,extends,BinaryTree>
Return the next LabeledBinaryTree or null when no more tree is available.
nextTree() - method in class org.grinvin.conjecture.engine.apengine.TreeGenerator<T,extends,BinaryTree>
Return the next LabeledBinaryTree.
nodesonlevel(int) - method in class org.grinvin.conjecture.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.conjecture.engine.apengine.Operators.Invariant
NumericValue - class org.grinvin.invariants.values.NumericValue
Common superclass of IntegerValue and RealValue.

O

ONE - static field in class org.grinvin.expr.IntegerLiteral
openConnection(URL) - method in class org.grinvin.help.HelpURLStreamHandler
openConnection(URL) - method in class org.grinvin.io.SVGURLStreamHandler
openFile(File) - method in class org.grinvin.list.actions.ImportGraphBundle
openFile(File) - method in class org.grinvin.main.actions.ImportGraphList
openFile(File) - method in class org.grinvin.list.actions.LoadInvariant
openFile(File) - method in class org.grinvin.main.actions.LoadWorkspace
openSection(String) - method in class org.grinvin.io.DirectorySectionLoader
openSection(String) - method in class org.grinvin.io.SectionLoader
Open the section with the given name and return an input stream for that section.
openSection(String) - method in class org.grinvin.io.ZipFileSectionLoader
Open the section with the given name and return an input stream for that section.
openSection(String) - method in class org.grinvin.io.ZipInputStreamSectionLoader
Open the section with the given name and return an input stream for that section.
openSelectedElements() - method in class org.grinvin.gui.components.WorksheetListComponent
open selected elements.
CompoundGraphFilter.Operator - class org.grinvin.conjecture.filter.CompoundGraphFilter.Operator
Operators.Operator - interface org.grinvin.conjecture.engine.apengine.Operators.Operator
Operator - interface org.grinvin.expr.Operator
An operator which is part of a compound expression.
operators - field in class org.grinvin.conjecture.engine.apengine.LabeledBinaryTree
Operators - class org.grinvin.conjecture.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.
OtherTableModel - class org.grinvin.about.OtherTableModel
outputXML(Element,DocType,OutputStream) - static method in class org.grinvin.io.LoaderSaverHelper
outputXML(Element,OutputStream) - static method in class org.grinvin.io.LoaderSaverHelper

P

paint(Component,Graphics) - method in class org.grinvin.gui.WatermarkPainter
Paint the watermark onto the background of the given component.
paint(Graphics2D,double,double,double) - method in class org.grinvin.gred.guides.AbstractGuides
Draw guides onto the panel background.
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.
paintComponent(Graphics) - method in class org.grinvin.invariants.details.BarChartPanel
paintComponent(Graphics) - method in class org.grinvin.gui.components.render.FilteredInvariantValueTableCellRenderer
paintComponent(Graphics) - method in class org.grinvin.invariants.details.GradientBarChartPanel
paintComponent(Graphics) - method in class org.grinvin.gui.components.render.InvariantValueTableCellRenderer
paintDetailsIndicator(Graphics) - method in class org.grinvin.gui.components.render.FilteredInvariantValueTableCellRenderer
paintDetailsIndicator(Graphics) - method in class org.grinvin.gui.components.render.InvariantValueTableCellRenderer
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.
paintRequestedIndicator(Graphics) - method in class org.grinvin.gui.components.render.FilteredInvariantValueTableCellRenderer
paintRequestedIndicator(Graphics) - method in class org.grinvin.gui.components.render.InvariantValueTableCellRenderer
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.actions.GraphPanelAction
Panel onto which this action acts.
panel - field in class org.grinvin.gred.actions.MutableGraphPanelAction
Panel onto which this action 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.conjecture.engine.apengine.StateStack<E>
performAction() - method in class org.grinvin.gui.components.FilterListComponent.CombineSelectedAND
performAction() - method in class org.grinvin.gui.components.FilterListComponent.CombineSelectedOR
performAction() - method in class org.grinvin.gui.components.FilterListComponent.NegateSelectedElements
performAction() - method in class org.grinvin.gui.components.FilterListComponent.SplitSelectedElements
pop() - method in class org.grinvin.conjecture.engine.apengine.StateStack<E>
positiveInfinity(org.grinvin.invariants.InvariantComputer) - static method in class org.grinvin.invariants.values.IntegerValue
Return an object of this type representing positive infinity.
positiveInfinity(org.grinvin.invariants.InvariantComputer) - static method in class org.grinvin.invariants.values.RealValue
Return an object of this type representing positive infinity.
PostInstall - class org.grinvin.install.PostInstall
Class that handles postinstall tasks.
print() - method in class org.grinvin.util.GaussElimination
PrioritizedRunnable - interface org.grinvin.invariants.PrioritizedRunnable
Implementation of a Runnable that includes an integer priority.
The global PrioritizedRunnableExecutor.
processIconGroup(List,JProgressBar,int) - static method in class org.grinvin.install.PostInstall
processIcons() - static method in class org.grinvin.install.PostInstall
properties - field in class org.grinvin.graphs.DefaultGraphBundle
propertyChange(PropertyChangeEvent) - method in class org.grinvin.main.actions.ActivateWindow
propertyChange(PropertyChangeEvent) - method in class org.grinvin.list.actions.GraphBundlePreview
pushNewDepthState(int,int) - method in class org.grinvin.conjecture.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.conjecture.engine.apengine.ExactTreeGenerator<T,extends,BinaryTree>
pushNextOperatorCount() - method in class org.grinvin.conjecture.engine.apengine.LimitedTreeGenerator<T,extends,BinaryTree>
pushNextOperatorCount() - method in class org.grinvin.conjecture.engine.apengine.TreeGenerator<T,extends,BinaryTree>
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.conjecture.engine.apengine.TreeGenerator.TreeGeneratorStateStack
pushRemoveState(int,int,int) - method in class org.grinvin.conjecture.engine.apengine.TreeGenerator.TreeGeneratorStateStack
Push a new state that upon execution will remove the node with the given coordinates.
putId(Component,String) - method in class org.grinvin.help.TabbedPaneHelpManager
Adds the given ID for the given component.

R

readFile(org.grinvin.list.graphs.GraphList,File) - static method in class org.grinvin.io.graphs.Graph6Loader
Reads the entire file and stores all the graphs in a GraphInvariantListModel
readSingleGraph(org.grinvin.graphs.GraphBundle,File) - static method in class org.grinvin.io.graphs.Graph6Loader
Only reads the first graph in the file and stores it in a GraphBundle.
RealValue - class org.grinvin.invariants.values.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.values.RealValue
Create an object of this type with the given value which is computed by the given computer.
RealValueDelegate - class org.grinvin.invariants.values.RealValueDelegate
AcceptsInvariant.Reason - class org.grinvin.gui.components.AcceptsInvariant.Reason
Action which can be used to invalidate an invariant value for the graphbundle in a graph list element.
RecalculateInvariantValueAction() - constructor for class org.grinvin.list.actions.RecalculateInvariantValueAction
Create an action of this type.
Create an action of this type for the given invariant value and graph list element.
receiveGraphBundle(org.grinvin.graphs.GraphBundle) - method in class org.grinvin.generators.graphs.GraphGeneratorSink
Receives the next graph bundle from the generator.
Receives the next graph bundle from the generator.
Receives the next graph bundle from the generator.
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.
registerSubsystem(org.grinvin.io.Subsystem) - method in class org.grinvin.workspace.Workspace
Register (the wrapper) of a subsystem.
registerWindow(String,Window) - method in class org.grinvin.main.GrinvinWindow
Register the application window for the given key.
remove() - method in class org.grinvin.graphs.DefaultGraph.EdgeIterator
remove() - method in class org.grinvin.graphs.DefaultGraph.VertexIterator
remove() - method in class org.grinvin.util.IteratorWithoutRemove<T>
remove(int) - method in class org.grinvin.list.DefaultFilterListModel
remove(int) - method in class org.grinvin.graphs.DefaultGraph
Remove vertex at given index position.
remove(int) - method in class org.grinvin.list.graphs.DefaultGraphListModel
remove(Object) - method in class org.grinvin.list.DefaultFilterListModel
remove(Object) - method in class org.grinvin.list.graphs.DefaultGraphListModel
remove(org.grinvin.graphs.Edge) - method in class org.grinvin.graphs.DefaultGraph
Remove the given edge from the graph.
remove(org.grinvin.graphs.Edge) - method in class org.grinvin.graphs.Graph
Remove the given edge from the graph.
remove(org.grinvin.graphs.Vertex) - method in class org.grinvin.graphs.DefaultGraph
Remove the given vertex from the graph.
remove(org.grinvin.graphs.Vertex) - method in class org.grinvin.graphs.Graph
Remove the given vertex from the graph.
Unregister a previously registered annotation listener.
Unregister a previously registered annotation listener.
removeChangeListener(ChangeListener) - method in class org.grinvin.conjecture.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.gred.undoable.UndoableGraph,List) - constructor for class org.grinvin.gred.undoable.RemoveElements
Create an undoable change object for removing elements from a graph.
Create an undoable object for removing a single element from a graph.
Unregister a previously registered embedding listener.
Unregister a previously registered embedding listener.
Unregister a previously registered embedding listener.
removeFocusListener(FocusListener) - method in class org.grinvin.params.ParameterComponent
Unregister a previously registered graph listener.
Unregister a previously registered graph listener.
removeLeftChild(int) - method in class org.grinvin.conjecture.engine.apengine.BinaryTree
Remove the left child of the given node.
removeOn(int,int,int) - method in class org.grinvin.conjecture.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.DefaultFilterListModel
removeRange(int,int) - method in class org.grinvin.list.graphs.DefaultGraphListModel
removeRightChild(int) - method in class org.grinvin.conjecture.engine.apengine.BinaryTree
Remove the right child of the given node.
removeTabsChangeListener(ChangeListener) - method in class org.grinvin.main.GrinvinWindow
Unregister a previously registered transformation listener.
removeTreeModelListener(TreeModelListener) - method in class org.grinvin.list.graphs.GraphTreeModel
List action which can be used to rename an element that implements the interface HasName.
Create an action of this type for the given TypedListModel with the given ListSelectionModel that uses the given RenamePanel and has the given parent.
Create an action of this type for the given TypedListModel with the given ListSelectionModel that uses the given RenamePanel and has null as parent.
RenameGraphListElementAction - class org.grinvin.worksheet.actions.RenameGraphListElementAction
Action which can be used to rename a certain graph list element.
RenameGraphListElementAction() - constructor for class org.grinvin.worksheet.actions.RenameGraphListElementAction
Create an action of this type.
Create an action of this type for the given graph list element.
Create an action of this type for the given graph list element.
RenamePanel() - constructor for class org.grinvin.list.actions.RenamePanel<T,extends,HasName>
renameSelectedElement() - method in class org.grinvin.gui.components.GraphListComponent
Rename currently selected element.
renderer - field in class org.grinvin.gred.GraphPanel
renderer - field in class org.grinvin.list.GraphViewPanel
Renderer - interface org.grinvin.graphs.render.Renderer
Renders graph elements.
renderString(String[]) - method in class org.grinvin.conjecture.engine.apengine.Operators.Invariant
renderString(String[]) - method in class org.grinvin.conjecture.engine.apengine.Operators.Operator
rescaleColumns() - method in class org.grinvin.gui.components.GraphTableComponent
resolve(String,String) - method in class org.grinvin.help.HelpURIResolver
restore(org.grinvin.graphs.Edge) - method in class org.grinvin.graphs.DefaultGraph
restore(org.grinvin.graphs.Edge) - method in class org.grinvin.gred.undoable.UndoableGraph
Restore a edge which was previously removed from the graph.
restore(org.grinvin.graphs.Vertex) - method in class org.grinvin.graphs.DefaultGraph
restore(org.grinvin.graphs.Vertex) - method in class org.grinvin.gred.undoable.UndoableGraph
Restore a vertex which was previously removed from the graph.
rightChild(int) - method in class org.grinvin.conjecture.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.
run() - method in class org.grinvin.conjecture.engine.EngineRunner
Extract the invariant values from the table and run the engine.
run() - method in class org.grinvin.generators.graphs.GraphListElementGeneratorSink
run(org.grinvin.invariants.InvariantValue[][]) - method in class org.grinvin.conjecture.engine.AbstractInequalityEngine
Run the engine for the given invariant values.
run(org.grinvin.invariants.InvariantValue[][]) - method in class org.grinvin.conjecture.engine.APEngine
Run the engine for the given invariant values.
run(org.grinvin.invariants.InvariantValue[][]) - method in class org.grinvin.conjecture.engine.Engine
Run the engine for the given invariant values.
RunConjecturing - class org.grinvin.list.actions.RunConjecturing
GUI command which runs an engine on the invariant table of a given window and outputs the result to the given text area.
RunConjecturing(org.grinvin.worksheet.WorksheetWindow) - constructor for class org.grinvin.list.actions.RunConjecturing

S

save(C,Element,org.grinvin.io.SectionSaver) - method in class org.grinvin.workspace.Wrapper<C>
Save the given subcomponent.
save(Collection,OutputStream) - static method in class org.grinvin.io.InvariantValuesSaver
save(Element) - method in class org.grinvin.conjecture.engine.AbstractInequalityEngine
Save the settings for this engine to an element.
save(Element) - method in class org.grinvin.conjecture.engine.Engine
Save the settings for this engine to an element.
save(Element,org.grinvin.io.SectionSaver) - method in class org.grinvin.io.Subsystem
save(Element,org.grinvin.io.SectionSaver) - method in class org.grinvin.workspace.WindowSubsystem
save(org.grinvin.expr.Expression,Element) - static method in class org.grinvin.expr.ExpressionSaver
Save the given expression into the given JDOM element.
save(org.grinvin.graphs.AnnotationView,OutputStream) - static method in class org.grinvin.io.graphs.AnnotationSaver
Save the annotation graph onto the output stream.
save(org.grinvin.graphs.EmbeddingView,OutputStream) - static method in class org.grinvin.io.graphs.EmbeddingSaver
Save the embedding graph onto the output stream.
save(org.grinvin.graphs.GraphView,OutputStream) - static method in class org.grinvin.io.graphs.GraphSaver
Save the graph onto the output stream.
Save a list of conjecture history entries as a directory with an XML file.
save(org.grinvin.list.ExpressionList,Element) - static method in class org.grinvin.expr.ExpressionSaver
Save the given list of expressions into the given JDOM element.
save(org.grinvin.list.graphs.GraphList,OutputStream) - static method in class org.grinvin.io.list.GraphListSaver
Save a list of graphs as an XML file.
save(org.grinvin.workspace.Workspace) - static method in class org.grinvin.io.WorkspaceSaver
save(OutputStream) - method in class org.grinvin.util.InternationalizedProperties
Writes this property list to the given output stream.
This implementation saves the information obtained from the method baseElement() and saveWindowProperties(Element,Window) into parent and leaves the directory alone.
saveAs(org.grinvin.workspace.Workspace,File) - static method in class org.grinvin.io.WorkspaceSaver
Save the workspace into a new workspace file.
SaveConjectureHistoryAction - class org.grinvin.worksheet.actions.SaveConjectureHistoryAction
Action to save the conjecture history to file.
Creates a new instance of SaveTestAction
saveFile(File) - method in class org.grinvin.list.actions.ExportGraph
saveFile(File) - method in class org.grinvin.list.actions.ExportGraphImage
saveFile(File) - method in class org.grinvin.list.actions.ExportGraphList
saveFile(File) - method in class org.grinvin.main.actions.SaveWorkspaceAs
saveFile(File) - method in class org.grinvin.main.actions.SaveWorkspaceToDirectory
saveImportedWorkspace() - static method in class org.grinvin.main.actions.LoadWorkspace
Ask the user for a workspace location to save the imported workspace to.
Save a (session) graph list into a (workspace) directory.
Save a (session) graph list element into a (workspace) directory.
Save a (session) invariant list into a (workspace) directory.
Save the bundle onto the output stream.
Should be overridden to save the actual value into a JDOM-element.
saveValue(Element,T) - method in class org.grinvin.invariants.values.NumericValueDelegate<T,extends,NumericValue>
General purpose routine which can be used to save the bounds and visibility of any window.
SaveWorkspace - class org.grinvin.main.actions.SaveWorkspace
Action to save the current workspace to disk.
SaveWorkspaceAs - class org.grinvin.main.actions.SaveWorkspaceAs
Action to save the current workspace to disk.
SaveWorkspaceAs(Window) - constructor for class org.grinvin.main.actions.SaveWorkspaceAs
SaveWorkspaceToDirectory - class org.grinvin.main.actions.SaveWorkspaceToDirectory
Action to save the current workspace to a directory.
SaveWorkspaceToDirectory(Window) - constructor for class org.grinvin.main.actions.SaveWorkspaceToDirectory
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.
SectionSaver - interface org.grinvin.io.SectionSaver
Creates named sections as output streams.
SelectAll - class org.grinvin.gred.actions.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(org.grinvin.gred.GraphPanel) - constructor for class org.grinvin.gred.actions.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.list.actions.AbstractListAction<E>
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.
SelectionDragHandler - class org.grinvin.gui.dnd.SelectionDragHandler
Simple drag handler that allows dragging from any standard component which satisfies the HasSelectableValues interface and exports objects of a single type.
SelectionDragHandler(Class) - constructor for class org.grinvin.gui.dnd.SelectionDragHandler
Create a simple drag handler for objects of the given type.
SelectionDragHandler(Class,int) - constructor for class org.grinvin.gui.dnd.SelectionDragHandler
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.main.actions.NewWorkspace
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.
setAdvancedToolbar(boolean) - method in class org.grinvin.gred.GraphEditor
setAnchorElement(org.grinvin.graphs.Element) - method in class org.grinvin.gred.GraphPanel
Set the 'anchor' element.
setAnnotation(org.grinvin.graphs.Edge,Object) - method in class org.grinvin.graphs.Annotation
Sets the annotation for the given Edge.
Sets the annotation for the given Edge.
setAnnotation(org.grinvin.graphs.Vertex,Object) - method in class org.grinvin.graphs.Annotation
Sets the annotation for the given Vertex.
Sets the annotation for the given Vertex.
setBackgroundColor(String) - method in class org.grinvin.help.InlineGraphViewer
Sets the background Color.
setCaption(String) - method in class org.grinvin.help.InlineGraphViewer
setCollapsed(boolean) - method in class org.grinvin.worksheet.SubwindowModel
setComponent(JComponent) - method in class org.grinvin.list.actions.ShowDetailsAction
Sets the coordinates to the given values.
Perform a bulk change to the coordinates.
Perform a bulk change to the coordinates.
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.
setDefaultPopup(JPopupMenu) - method in class org.grinvin.gui.JTabbedPaneMouseListener
sets the default popup to be shown when the user clicks on a tab with no popup menu or doesn't click on the header of a tab.
setDimension(int) - method in class org.grinvin.graphs.DefaultEmbedding
setDimension(int) - method in class org.grinvin.graphs.Embedding
Set the dimension of the embedding.
setDirty(boolean) - method in class org.grinvin.gred.GraphEditor
Set the 'dirty' flag of the editor.
setDirty(boolean) - method in class org.grinvin.gred.GraphPanel
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.gui.components.GraphPropertiesComponent
setDropTarget(DropTarget) - method in class org.grinvin.gred.GraphPanel
Set the editor for this parameter.
setElement(org.grinvin.list.graphs.GraphListElement) - method in class org.grinvin.gui.components.GraphComponent
Display information for the given element.
Display information for the given element.
Use a different graph list element.
setEnabled() - method in class org.grinvin.worksheet.actions.AbstractGraphListElementAction
setEnabled() - method in class org.grinvin.list.actions.AbstractListAction<E>
Decides the enabled status of this action, based on the selection.
setEnabled() - method in class org.grinvin.worksheet.actions.RenameGraphListElementAction
setEnabled(boolean) - method in class org.grinvin.conjecture.engine.MainInvariantConfigurationPanel
setEnabled(org.grinvin.invariants.InvariantValue) - method in class org.grinvin.list.actions.ShowDetailsAction
setEnabled(Window) - method in class org.grinvin.list.actions.DisposeWindowAction
setExtraInfo(boolean) - method in class org.grinvin.gui.MultilineToolTip
setFilterList(org.grinvin.list.FilterListModel) - method in class org.grinvin.conjecture.filter.CompoundGraphFilter
Change the embedding to be used by this panel.
Load (a copy of) the given embedding into the editor.
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.
Set the graph icon factory used for displaying this graph as an icon.
Set the graph icon factory used for displaying this graph as an icon.
setGraphPropertiesComponentDividerLocation(int) - method in class org.grinvin.worksheet.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
add context-sensitive help for a component.
setIDList(List) - method in class org.grinvin.help.DefaultMap
allows superclasses to set the list of IDs when this can not be done in the constructor.
setIndex(int) - method in class org.grinvin.graphs.DefaultVertex
setIndex(int) - method in class org.grinvin.graphs.Vertex
setIsReadOnly(boolean) - method in class org.grinvin.gui.components.FilterListComponent
setIsReadOnly(boolean) - method in class org.grinvin.gui.components.GeneratorInstanceListComponent
setIsReadOnly(boolean) - method in class org.grinvin.gui.components.GraphListComponent
setIsReadOnly(boolean) - method in class org.grinvin.gui.components.InvariantListComponent
setLaTeX(String) - method in class org.grinvin.help.LaTeXViewer
setListSequenceNumber(int) - method in class org.grinvin.list.DefaultWorksheetListModel
Set the list sequence number.
setListSequenceNumber(int) - method in class org.grinvin.list.WorksheetListModel
setLocation(File) - method in class org.grinvin.workspace.Workspace
setMainInvariant(org.grinvin.invariants.Invariant) - method in class org.grinvin.conjecture.engine.InequalityEngine
setName(String) - method in class org.grinvin.list.graphs.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.
setName(String) - method in class org.grinvin.worksheet.WorksheetModel
Set the name of this object.
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.
setPaintWatermark(boolean) - method in class org.grinvin.gui.components.FilterListComponent
Configure whether to paint the watermark or not.
setPaintWatermark(boolean) - method in class org.grinvin.gui.components.GeneratorInstanceListComponent
Configure whether to paint the watermark or not.
setPaintWatermark(boolean) - method in class org.grinvin.gui.components.GraphCellListComponent
Configure whether to paint the watermark or not.
setPaintWatermark(boolean) - method in class org.grinvin.gui.components.GraphListComponent
Configure whether to paint the watermark or not.
setPaintWatermark(boolean) - method in class org.grinvin.gui.components.InvariantListComponent
Configure whether to paint the watermark or not.
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
Initialize the factory with new parameter values.
setParameterValues(Object[]) - method in class org.grinvin.factories.Factory
Initialize the factory with new parameter values.
setParent(Component) - method in class org.grinvin.list.actions.RenameAction<T,extends,HasName>
Set the parent for the dialog window.
setParent(Component) - method in class org.grinvin.worksheet.actions.RenameGraphListElementAction
Set the parent for the dialog window.
Set the internationalized properties for this graph.
Set the internationalized properties for this graph.
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.
setRequestedCell(int,int) - method in class org.grinvin.gui.components.GraphPropertiesTableComponent
setRequestedCell(int,int) - method in class org.grinvin.gui.components.GraphTableComponent
setRequestedCell(int,int) - method in class org.grinvin.worksheet.HasRequestedCell
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.graphs.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.
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.
setSelectionModel(ListSelectionModel) - method in class org.grinvin.invariants.details.BarChartPanel
Change the reference value which is used to determine the height of the bars.
setSelectionModel(ListSelectionModel) - method in class org.grinvin.invariants.details.GradientBarChartPanel
Change the reference value which is used to determine the height of the bars.
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.
setTempWindowMap(Map) - method in class org.grinvin.workspace.GrinvinWindowWrapper
setTipWidth(int) - method in class org.grinvin.gui.MultilineToolTip
setType(Class) - method in class org.grinvin.params.ParameterInfo
Set the type of this parameter.
setupContents() - method in class org.grinvin.main.GrinvinWindow
Setup the GUI contents of this window.
setURI(URI) - method in class org.grinvin.conjecture.engine.AbstractEngine
setURI(URI) - method in class org.grinvin.list.DefaultConjectureHistoryListModel
setURI(URI) - method in class org.grinvin.list.DefaultConjectureListModel
setURI(URI) - method in class org.grinvin.list.DefaultFilterList
setURI(URI) - method in class org.grinvin.list.DefaultFilterListModel
setURI(URI) - method in class org.grinvin.list.generators.DefaultGraphGeneratorInstanceListModel
setURI(URI) - method in class org.grinvin.list.graphs.DefaultGraphList
setURI(URI) - method in class org.grinvin.list.graphs.DefaultGraphListModel
Set the URI of this GraphListElement.
setURI(URI) - method in class org.grinvin.list.invariants.DefaultInvariantList
setURI(URI) - method in class org.grinvin.list.invariants.DefaultInvariantListModel
setURI(URI) - method in class org.grinvin.gred.GraphEditor
setURI(URI) - method in class org.grinvin.list.graphs.GraphListElement
Set the URI of this GraphListElement.
setURI(URI) - method in class org.grinvin.main.GrinvinWindow
setURI(URI) - method in class org.grinvin.list.HasURI
setURI(URI) - method in class org.grinvin.logging.LoggingWindow
setURI(URI) - method in class org.grinvin.worksheet.WorksheetModel
setURLPrefix(String) - method in class org.grinvin.help.DefaultMap
method for superclasses to set the prefix for URLs.
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
setVisible(boolean) - method in class org.grinvin.worksheet.SubwindowModel
setWindow(Window) - method in class org.grinvin.list.actions.DisposeWindowAction
setX(int) - method in class org.grinvin.list.actions.ShowDetailsAction
setY(int) - method in class org.grinvin.list.actions.ShowDetailsAction
showAdvancedToolbar() - method in class org.grinvin.gred.GraphEditor
showAdvancedToolbar(boolean) - method in class org.grinvin.gred.GraphEditor
Shows/hides the advanced tool bar of the graph editor.
Pops up a dialog with the reals displayed as bar charts.
Pops up a dialog with the reals displayed as bar charts.
Show a 'details window' for this component.
Show a 'details window' for the given invariant value component.
ShowDetailsAction - class org.grinvin.list.actions.ShowDetailsAction
Action which can be used to show details for an invariant value.
ShowDetailsAction() - constructor for class org.grinvin.list.actions.ShowDetailsAction
Create an action of this type.
Create an action of this type for the given invariant value and graph list element.
showDialog(T,Component) - method in class org.grinvin.list.actions.RenamePanel<T,extends,HasName>
Create and activate the dialog for the element of type HasName and uses the icon returned by getIcon().
showDialog(T,Icon,Component) - method in class org.grinvin.list.actions.RenamePanel<T,extends,HasName>
Create and activate the dialog for the element of type HasName.
showFileExistsDialog(File) - method in class org.grinvin.list.actions.ExportGraph
Alert the user that a file with the chosen name already exists.
showFileExistsDialog(File) - method in class org.grinvin.list.actions.ExportGraphImage
Alert the user that a file with the chosen name already exists.
showFileExistsDialog(File) - method in class org.grinvin.list.actions.ExportGraphList
Alert the user that a file with the chosen name already exists.
showFileExistsDialog(File) - method in class org.grinvin.main.actions.SaveWorkspaceAs
showFileExistsDialog(File) - method in class org.grinvin.main.actions.SaveWorkspaceToDirectory
ShowGraphPropertiesAction - class org.grinvin.worksheet.actions.ShowGraphPropertiesAction
Actions which shows the graph properties window of a certain graph list element.
ShowGraphPropertiesAction() - constructor for class org.grinvin.worksheet.actions.ShowGraphPropertiesAction
Create an action of this type.
Create an action of this type for the given graph list element.
showID(String) - static method in class org.grinvin.help.HelpManager
display the given id in the help window.
SingletonBroker<T> - class org.grinvin.util.SingletonBroker<T>
An object of this type keeps track of a set of singleton objects of type T which can be requested by id.
SingletonBroker(String) - constructor for class org.grinvin.util.SingletonBroker<T>
Instantiates a broker object and loads the corresponding objects.
size - field in class org.grinvin.conjecture.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
Adjust the given coordinate array to correspond with 'guide' positions.
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.actions.SnapAll
Action which snaps all the vertices to the current guides.
SnapAll(org.grinvin.gred.MutableGraphPanel) - constructor for class org.grinvin.gred.actions.SnapAll
Default constructor
snapAllToGuides() - method in class org.grinvin.gred.MutableGraphPanel
Snap all the vertices to the current guides.
SnapSelection - class org.grinvin.gred.actions.SnapSelection
Action which snaps the current selection to the current guides.
SnapSelection(org.grinvin.gred.MutableGraphPanel) - constructor for class org.grinvin.gred.actions.SnapSelection
Default constructor
snapSelectionToGuides() - method in class org.grinvin.gred.MutableGraphPanel
Snap the current selection to the current guides.
SnapshotAction - class org.grinvin.gred.actions.SnapshotAction
Action that takes a snapshot of the current graph in a panel and stores it into the given graph list.
Construct an action of this kind.
SplashWindow - class org.grinvin.splash.SplashWindow
SplashWindow() - constructor for class org.grinvin.splash.SplashWindow
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.
splitSelectedElements() - method in class org.grinvin.gui.components.FilterListComponent
Split the selected filters again.
SplitSelection - class org.grinvin.gred.actions.SplitSelection
Action which splits the current selected vertices.
splitSelection() - method in class org.grinvin.gred.MutableGraphPanel
Splits the current selected vertices.
SplitSelection(org.grinvin.gred.MutableGraphPanel) - constructor for class org.grinvin.gred.actions.SplitSelection
Default constructor
SpringEmbedder - class org.grinvin.gred.actions.SpringEmbedder
Action that changes the current embedding by means of a spring embedder algorithm.
SpringEmbedder(org.grinvin.gred.MutableGraphPanel) - constructor for class org.grinvin.gred.actions.SpringEmbedder
Construct an action command of this type.
StandardOperator - class org.grinvin.expr.StandardOperator
Enum to represent operators in formula.
start() - method in class org.grinvin.generators.graphs.GraphListElementGeneratorSink
Start a thread which generates the graph list elements.
startTracking() - static method in class org.grinvin.help.HelpManager
stateChanged(ChangeEvent) - method in class org.grinvin.worksheet.HideSubwindowMenuItem
stateChanged(ChangeEvent) - method in class org.grinvin.list.actions.WorksheetRename
StateEntry - class org.grinvin.conjecture.history.StateEntry
Implementation of ConjectureHistoryEntry that holds the state of the input for a conjecturing engine.
StateEntry() - constructor for class org.grinvin.conjecture.history.StateEntry
Creates a new instance of StateEntry
StateEntryDelegate - class org.grinvin.conjecture.history.StateEntryDelegate
StateStack<E> - class org.grinvin.conjecture.engine.apengine.StateStack<E>
Abstract class for handling state in the tree generators.
stateStack - field in class org.grinvin.conjecture.engine.apengine.TreeGenerator<T,extends,BinaryTree>
StateStack() - constructor for class org.grinvin.conjecture.engine.apengine.StateStack<E>
Create a new StateStack.
EngineRunner.Status - class org.grinvin.conjecture.engine.EngineRunner.Status
String getDescription() - method in class org.grinvin.conjecture.filter.BooleanValueGraphFilter
String getToolTipText(CellList,Object,int) - method in class org.grinvin.gui.components.render.AbstractGrinvinCellListCellRenderer
String toString() - method in class org.grinvin.invariants.AbstractInvariant
Return the localized name of the invariant.
String toString() - method in class org.grinvin.invariants.values.AbstractInvariantValue
Subsystem - interface org.grinvin.io.Subsystem
Interface to be implemented by all subsystems that need to be stored in a workspace.
subsystems - field in class org.grinvin.workspace.Workspace
SubwindowModel - class org.grinvin.worksheet.SubwindowModel
SubwindowModel(boolean,boolean) - constructor for class org.grinvin.worksheet.SubwindowModel
SubwindowModelListener - interface org.grinvin.worksheet.SubwindowModelListener
SVG_FILTER - static field in class org.grinvin.gui.FileFilters
Filter for svg images.
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

Provides dynamic map ID assignment for a JTabbedPane.
TabbedPaneHelpManager(JTabbedPane) - constructor for class org.grinvin.help.TabbedPaneHelpManager
Creates a new instance of FactoryListHelpManager
tipWidth - field in class org.grinvin.gui.MultilineToolTip
toElement() - method in class org.grinvin.conjecture.filter.BooleanValueGraphFilter
toElement() - method in class org.grinvin.conjecture.filter.CompoundGraphFilter
toElement() - method in class org.grinvin.conjecture.filter.GraphFilter
toElement() - method in class org.grinvin.invariants.values.IntegerMatrixValueDelegate
toElement() - method in class org.grinvin.util.InternationalizedProperties
Convert the current list of properties to a JDOM-element with the default name resources.
toElement(org.grinvin.conjecture.history.StateEntry) - method in class org.grinvin.conjecture.history.StateEntryDelegate
toElement(org.grinvin.graphs.AnnotationView) - static method in class org.grinvin.io.graphs.AnnotationSaver
Convert the given annotation to a JDOM-element.
toElement(org.grinvin.graphs.EmbeddingView) - static method in class org.grinvin.io.graphs.EmbeddingSaver
Convert the given embedding to a JDOM-element.
toElement(org.grinvin.graphs.GraphView) - static method in class org.grinvin.io.graphs.GraphSaver
Create a JDOM-element that represents the abstract graph for this initializer.
toElement(String) - method in class org.grinvin.util.InternationalizedProperties
Convert the current list of properties to a JDOM-element of the given name.
toElement(T) - method in class org.grinvin.invariants.values.AbstractInvariantValueDelegate<T,extends,InvariantValue>
Converts this value to a JDOM element.
toElement(T) - method in class org.grinvin.invariants.InvariantValueDelegate<T,extends,InvariantValue>
toExpression(org.grinvin.expr.Expression[]) - method in class org.grinvin.conjecture.engine.apengine.Operators.Invariant
toExpression(org.grinvin.expr.Expression[]) - method in class org.grinvin.conjecture.engine.apengine.Operators.Operator
toggleNegagtionSelectedElements() - method in class org.grinvin.gui.components.FilterListComponent
Toggle the negation of the currently selected filters.
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.
toHtml() - method in class org.grinvin.invariants.values.IntegerMatrixValue
top - field in class org.grinvin.conjecture.engine.apengine.StateStack<E>
toString() - method in class org.grinvin.conjecture.engine.apengine.BinaryTree
toString() - method in class org.grinvin.conjecture.history.ConjectureEntry
toString() - method in class org.grinvin.list.graphs.GraphListElement
toString() - method in class org.grinvin.params.IntegerList
toString() - method in class org.grinvin.expr.IntegerLiteral
toString() - method in class org.grinvin.invariants.InvariantFactory
Should return the same string as getName().
toString() - method in class org.grinvin.conjecture.engine.apengine.Operators.Invariant
toString() - method in class org.grinvin.conjecture.history.StateEntry
toString(int) - method in class org.grinvin.conjecture.engine.apengine.BinaryTree
toString(int) - method in class org.grinvin.conjecture.engine.apengine.LabeledBinaryTree
toText() - method in class org.grinvin.invariants.values.AbstractInvariantValue
Convert this value to a string.
toText() - method in class org.grinvin.invariants.values.BooleanValue
toText() - method in class org.grinvin.invariants.values.IntegerMatrixValue
toText() - method in class org.grinvin.invariants.values.IntegerValue
Return a String representation of this value.
toText() - method in class org.grinvin.invariants.InvariantValue
Return a String representation of this value.
toText() - method in class org.grinvin.invariants.values.ListOfIntegersValue
Return a String representation of this value.
toText() - method in class org.grinvin.invariants.values.ListOfRealsValue
Return a String representation of this value.
toText() - method in class org.grinvin.invariants.values.RealValue
toText() - method in class org.grinvin.invariants.values.UnavailableValue
toText(double) - static method in class org.grinvin.invariants.values.IntegerValue
toText(double) - static method in class org.grinvin.invariants.values.RealValue
Converts a real number to a value with internationalized names for 'undefined' and 'infinity'.
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.gui.components.FilterListComponent
TRANSFER_HANDLER - static field in class org.grinvin.gui.components.GeneratorInstanceListComponent
TRANSFER_HANDLER - static field in class org.grinvin.gui.components.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.
TreeFactory<T,extends,BinaryTree> - interface org.grinvin.conjecture.engine.apengine.TreeFactory<T,extends,BinaryTree>
Interface that needs to be implemented by all factories that create (an extension of) a BinaryTree.
treeFactory - field in class org.grinvin.conjecture.engine.apengine.TreeGenerator<T,extends,BinaryTree>
TreeGenerator<T,extends,BinaryTree> - class org.grinvin.conjecture.engine.apengine.TreeGenerator<T,extends,BinaryTree>
TreeGenerator(int,int,TreeFactory) - constructor for class org.grinvin.conjecture.engine.apengine.TreeGenerator<T,extends,BinaryTree>
TreeGenerator(TreeFactory) - constructor for class org.grinvin.conjecture.engine.apengine.TreeGenerator<T,extends,BinaryTree>
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.
TWO - static field in class org.grinvin.expr.IntegerLiteral
TYPE - static field in class org.grinvin.conjecture.history.ConjectureEntry
TYPE - static field in class org.grinvin.conjecture.history.StateEntry

U

unaryCount - field in class org.grinvin.conjecture.engine.apengine.BinaryTree
Operators.UnaryOperator - class org.grinvin.conjecture.engine.apengine.Operators.UnaryOperator
UnavailableValue - class org.grinvin.invariants.values.UnavailableValue
Invariant value that represents a value that cannot be computed (due to missing graph or invariant computer).
UnavailableValue() - constructor for class org.grinvin.invariants.values.UnavailableValue
UnavailableValueDelegate - class org.grinvin.invariants.values.UnavailableValueDelegate
undefinedValue(org.grinvin.invariants.InvariantComputer) - static method in class org.grinvin.invariants.values.IntegerValue
Return an object of this type representing an undefined value.
undefinedValue(org.grinvin.invariants.InvariantComputer) - static method in class org.grinvin.invariants.values.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.
UndoableGraph getGraph() - method in class org.grinvin.gred.MutableGraphPanel
Returns the (mutable) graph displayed by this panel.
UndoableGraph - interface org.grinvin.gred.undoable.UndoableGraph
An undoable version of Graph.
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
uniqueFileName(String,String) - static method in class org.grinvin.util.IOHelper
Construct an exception of this type
Construct an exception of this type
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

value - field in class org.grinvin.invariants.values.NumericValue
Internal representation of the actual value.
valueChanged(ListSelectionEvent) - method in class org.grinvin.list.actions.AbstractListAction<E>
valueChanged(ListSelectionEvent) - method in class org.grinvin.invariants.details.BarChartPanel
Repaint when selection changes.
valueChanged(ListSelectionEvent) - method in class org.grinvin.list.actions.ExportGraph
valueChanged(ListSelectionEvent) - method in class org.grinvin.list.actions.ExportGraphImage
valueChanged(ListSelectionEvent) - method in class org.grinvin.invariants.details.GradientBarChartPanel
Repaint when selection changes.
valueChanged(ListSelectionEvent) - method in class org.grinvin.list.actions.GraphProperties
valueChanged(ListSelectionEvent) - method in class org.grinvin.list.actions.GraphRename
valueChanged(ListSelectionEvent) - method in class org.grinvin.list.actions.RunConjecturing
valueChanged(ListSelectionEvent) - method in class org.grinvin.list.actions.WorksheetRename
valueChanged(ListSelectionEvent) - method in class org.grinvin.worksheet.WorksheetWindow
valueForPathChanged(TreePath,Object) - method in class org.grinvin.list.graphs.GraphTreeModel
values - field in class org.grinvin.factories.AbstractFactory
valueStrings - field in class org.grinvin.factories.AbstractFactory
version - field in class org.grinvin.invariants.computers.AbstractInvariantComputerFactory.Computer<T,extends,InvariantValue>
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 addNewVertex() - method in class org.grinvin.graphs.DefaultGraphModel
Vertex - interface org.grinvin.graphs.Vertex
Represents a single vertex in a graph.
vertexAdded(org.grinvin.graphs.Vertex) - method in class org.grinvin.graphs.GraphListener
Called after a vertex was added to the graph.
vertexAdded(org.grinvin.graphs.Vertex) - method in class org.grinvin.gred.GraphPanel
Called after a vertex was added to the graph.
vertexAdded(org.grinvin.graphs.Vertex) - method in class org.grinvin.list.GraphViewPanel
Called after a vertex was added to the graph.
vertexChanged(org.grinvin.graphs.Vertex) - method in class org.grinvin.graphs.GraphListener
Called when the annotation of a vertex changes.
vertexChanged(org.grinvin.graphs.Vertex) - method in class org.grinvin.gred.GraphPanel
Called when the annotation of a vertex changes.
vertexChanged(org.grinvin.graphs.Vertex) - method in class org.grinvin.list.GraphViewPanel
Called when the annotation of a vertex changes.
Called after a vertex was given new coordinates.
Called after a vertex was given new coordinates.
Called after a vertex was given new coordinates.
VertexInducedGraph - class org.grinvin.gred.actions.VertexInducedGraph
Action command which replaces the graph with the graph induced by the selected vertices.
VertexInducedGraph(org.grinvin.gred.MutableGraphPanel) - constructor for class org.grinvin.gred.actions.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.graphs.DefaultGraph
vertexIterator() - method in class org.grinvin.graphs.GraphView
Iterator over all vertices of this graph.
vertexRemoved(org.grinvin.graphs.Vertex) - method in class org.grinvin.graphs.GraphListener
Called when a vertex was removed from the graph.
vertexRemoved(org.grinvin.graphs.Vertex) - method in class org.grinvin.gred.GraphPanel
Called when a vertex was removed from the graph.
vertexRemoved(org.grinvin.graphs.Vertex) - method in class org.grinvin.list.GraphViewPanel
Called when a vertex was removed from the graph.
vertexRestored(org.grinvin.graphs.Vertex) - method in class org.grinvin.graphs.GraphListener
Called when a vertex that was previously removed was restored to the graph.
vertexRestored(org.grinvin.graphs.Vertex) - method in class org.grinvin.gred.GraphPanel
Called when a vertex that was previously removed was restored to the graph.
Called when a vertex that was previously removed was restored to the graph.
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.graphs.DefaultGraph
vertices() - method in class org.grinvin.graphs.GraphView
Set of vertices of this graph.
visibleStateChanged() - method in class org.grinvin.worksheet.HideSubwindowMenuItem
visibleStateChanged() - method in class org.grinvin.worksheet.SubwindowModelListener
Expression.Visitor - interface org.grinvin.expr.Expression.Visitor
Interface for visitors to expressions.
InvariantNode.Visitor - interface org.grinvin.invariants.InvariantNode.Visitor
Interface for visitors to these nodes.
void actionPerformed(ActionEvent) - method in class org.grinvin.list.actions.ExportGraph
void actionPerformed(ActionEvent) - method in class org.grinvin.list.actions.ExportGraphImage
void actionPerformed(ActionEvent) - method in class org.grinvin.list.actions.ExportGraphList
void clear() - method in class org.grinvin.graphs.DefaultGraphModel
void close() - method in class org.grinvin.gred.GraphPanel3D
void close() - method in class org.grinvin.gred.MutableGraphPanel
void copy(org.grinvin.graphs.GraphView) - method in class org.grinvin.graphs.DefaultGraphModel
void doLayout() - method in class org.grinvin.gui.components.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 initLabel(JLabel,T) - method in class org.grinvin.invariants.values.NumericValueDelegate<T,extends,NumericValue>
Initialize a label which is used to display this invariant value.
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.components.FilterListComponent
Adds a watermark to the list.
void paintComponent(Graphics) - method in class org.grinvin.gui.components.GeneratorInstanceListComponent
Adds a watermark to the list.
void paintComponent(Graphics) - method in class org.grinvin.gui.components.GraphCellListComponent
Adds a watermark to the list.
void paintComponent(Graphics) - method in class org.grinvin.gui.components.GraphListComponent
Adds a watermark to the list.
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.gui.components.GraphPropertiesTableComponent
Adds a watermark to the list.
void paintComponent(Graphics) - method in class org.grinvin.list.GraphViewPanel
Paints the graph on the panel using the current renderer.
void paintComponent(Graphics) - method in class org.grinvin.gui.components.InvariantListComponent
Adds a watermark to the list.
void paintComponent(Graphics) - method in class org.grinvin.gui.components.ScrollableGraphTableComponent
Adds a watermark to the list.
Paints the rubber band line.
Paints the rubber band rectangle.
void restore(org.grinvin.graphs.Edge) - method in class org.grinvin.graphs.DefaultGraphModel
void restore(org.grinvin.graphs.Vertex) - method in class org.grinvin.graphs.DefaultGraphModel
Save the editor window, its graph list, the graph being edited and the guides tool configuration.
Save this window and all dependent windows.
Save the window, its graph list, list of invariants, configuration info for the engine and list of expressions.
void setDimension(int) - method in class org.grinvin.graphs.DefaultEmbeddingModel
void setEnabled() - method in class org.grinvin.list.actions.RenameAction<T,extends,HasName>
void setValue(Object) - method in class org.grinvin.gui.components.render.FilteredInvariantValueTableCellRenderer
Renders an invariant value.
void setValue(Object) - method in class org.grinvin.gui.components.render.GraphListTableRenderer
Renders a graph list element as a combination of icon and graph name.
void setValue(Object) - method in class org.grinvin.gui.components.render.InvariantTableCellRenderer
Renders an invariant.
void setValue(Object) - method in class org.grinvin.gui.components.render.InvariantValueTableCellRenderer
Renders an invariant value.
Create and activate the dialog for the given graph list element.
void tableChanged(TableModelEvent) - method in class org.grinvin.gui.components.GraphTableComponent

W

WatermarkPainter - class org.grinvin.gui.WatermarkPainter
Paint a 'watermark' onto a component consisting of repeated text slanted at an angle of 45 degrees
WatermarkPainter(int,String,Color) - constructor for class org.grinvin.gui.WatermarkPainter
Create a watermark painter with the given specs.
WindowSubsystem - class org.grinvin.workspace.WindowSubsystem
WindowSubsystem() - constructor for class org.grinvin.workspace.WindowSubsystem
workingTree - field in class org.grinvin.conjecture.engine.apengine.TreeGenerator<T,extends,BinaryTree>
WorksheetListComponent - class org.grinvin.gui.components.WorksheetListComponent
WorksheetListModel - interface org.grinvin.list.WorksheetListModel
Interface that identifies a worksheet list model.
WorksheetModel - class org.grinvin.worksheet.WorksheetModel
Model for the conjecturing window.
WorksheetModel() - constructor for class org.grinvin.worksheet.WorksheetModel
Creates a new instance of WorksheetModel
WorksheetModelListener - interface org.grinvin.worksheet.WorksheetModelListener
worksheetModelNameChanged() - method in class org.grinvin.list.actions.RunConjecturing
worksheetModelNameChanged() - method in class org.grinvin.worksheet.WorksheetModelListener
worksheetModelNameChanged() - method in class org.grinvin.worksheet.WorksheetWindow
WorksheetRename - class org.grinvin.list.actions.WorksheetRename
GUI command which allows the user to rename the currently selected worksheet.
WorksheetRename(org.grinvin.main.GrinvinWindow) - constructor for class org.grinvin.list.actions.WorksheetRename
Construct an action command of this type.
WorksheetRenameOne - class org.grinvin.list.actions.WorksheetRenameOne
GUI command which allows the user to rename the current worksheet.
WorksheetRenameOne(org.grinvin.worksheet.WorksheetModel) - constructor for class org.grinvin.list.actions.WorksheetRenameOne
Construct an action command of this type.
WorksheetRenamePanel - class org.grinvin.list.actions.WorksheetRenamePanel
Dialog panel for renaming a graph list.
WorksheetWindow create() - method in class org.grinvin.workspace.WorksheetWindowWrapper
Load the window, its graph list and its invariaht list.
Load the window, its graph list and its invariant list.
WorksheetWindow - class org.grinvin.worksheet.WorksheetWindow
Window associated to a conjecturing engine.
WorksheetWindowListModel - interface org.grinvin.worksheet.WorksheetWindowListModel
Handles the dynamic menu of currently available worksheet windows
WorksheetWindowMenuHandler(JMenu) - constructor for class org.grinvin.main.WorksheetWindowMenuHandler
WorksheetWindowModel - class org.grinvin.worksheet.WorksheetWindowModel
WorksheetWindowModel() - constructor for class org.grinvin.worksheet.WorksheetWindowModel
WorksheetWindowWrapper - class org.grinvin.workspace.WorksheetWindowWrapper
Wrapper for the conjecturing window.
Workspace - class org.grinvin.workspace.Workspace
Handles session persistence.
WORKSPACE_FILTER - static field in class org.grinvin.gui.FileFilters
Filter for grinvin workspace folders.
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
WorkspaceFileView - class org.grinvin.io.WorkspaceFileView
FileView for a JFileChooser to open workspaces.
WorkspaceListener - interface org.grinvin.workspace.WorkspaceListener
Interface that all elements that listen to Workspaces should implement.
WorkspaceLoader - class org.grinvin.io.WorkspaceLoader
Loads workspaces from disk.
WorkspaceSaver - class org.grinvin.io.WorkspaceSaver
Saves workspaces to disk.
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 .
writeStateToHistory() - method in class org.grinvin.worksheet.WorksheetModel

X

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

Z

Section loader which loads sections from zip files.
ZipFileSectionLoader(ZipFile) - constructor for class org.grinvin.io.ZipFileSectionLoader
Construct a section
Loads sections from a ZipInputStream.
Default constructor.
Saves sections to a ZipOutputStream.
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.