- maxNextCharInd - Variable in class de.uni_due.inf.ti.graph.io.SimpleCharStream
-
- mergeNodes(Collection<Node>) - Method in class de.uni_due.inf.ti.graph.Graph
-
Merge a number of nodes in the graph.
- mergeNodes(Collection<Node>, Node) - Method in class de.uni_due.inf.ti.graph.Graph
-
Merges a number of nodes in the graph.
- mergeNodes(Node...) - Method in class de.uni_due.inf.ti.graph.Graph
-
Merge nodes in this graph.
- mergeNodes(Collection<Node>, Node) - Method in class de.uni_due.inf.ti.graph.InterfaceGraph
-
Merges a number of nodes in the graph.
- Misc - Class in de.uni_due.inf.ti.graph.util
-
Class containing some miscellaneous static utility functions.
- Morphism - Class in de.uni_due.inf.ti.graph
-
This class represents a (partial) morphism.
- Morphism(Morphism) - Constructor for class de.uni_due.inf.ti.graph.Morphism
-
Creates a new Morphism which is a copy of another one.
- Morphism(Graph, Graph) - Constructor for class de.uni_due.inf.ti.graph.Morphism
-
Creates a new empty Morphism.
- Morphism.MorphismCollection - Class in de.uni_due.inf.ti.graph
-
This class is a collection of morphisms.
- Morphism.MorphismCollection() - Constructor for class de.uni_due.inf.ti.graph.Morphism.MorphismCollection
-
- Morphism.MorphismResult - Class in de.uni_due.inf.ti.graph
-
This class is returned by methods that need to return a new morphism
and information about how the nodes and edges of the domain and codomain
of the new morphism correspond to the nodes and edges of the domain and
codomain of this morphism.
- Morphism.MorphismResult() - Constructor for class de.uni_due.inf.ti.graph.Morphism.MorphismResult
-
- morphismStyleName - Static variable in class de.uni_due.inf.ti.graph.visual.GraphVisualizer
-