- valueOf(String) - Static method in enum de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphEditor.EditMode
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphVisualizer.AddMode
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphVisualizer.GraphColor
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum de.uni_due.inf.ti.dragom.gui.FileTypes.FileType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum de.uni_due.inf.ti.dragom.gui.GuiOptions.Layouter
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum de.uni_due.inf.ti.dragom.gui.GuiOptions.LogCloseBehaviour
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum de.uni_due.inf.ti.dragom.gui.GuiOptions.RuleStyle
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum de.uni_due.inf.ti.dragom.gui.RuleInterfaceGraphEditor.EditMode
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum de.uni_due.inf.ti.dragom.gui.RuleLeftGraphEditor.EditMode
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum de.uni_due.inf.ti.dragom.gui.RuleRightGraphEditor.EditMode
-
Returns the enum constant of this type with the specified name.
- values() - Static method in enum de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphEditor.EditMode
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphVisualizer.AddMode
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphVisualizer.GraphColor
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum de.uni_due.inf.ti.dragom.gui.FileTypes.FileType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum de.uni_due.inf.ti.dragom.gui.GuiOptions.Layouter
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum de.uni_due.inf.ti.dragom.gui.GuiOptions.LogCloseBehaviour
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum de.uni_due.inf.ti.dragom.gui.GuiOptions.RuleStyle
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum de.uni_due.inf.ti.dragom.gui.RuleInterfaceGraphEditor.EditMode
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum de.uni_due.inf.ti.dragom.gui.RuleLeftGraphEditor.EditMode
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum de.uni_due.inf.ti.dragom.gui.RuleRightGraphEditor.EditMode
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- VERSION_ID - Static variable in class de.uni_due.inf.ti.dragom.main.Main
-
- visualizeColoredGraph(AnnotatedTypeGraph, Set<Node>, Set<Edge>, AnnotatedTypeGraphVisualizer.GraphColor, boolean) - Method in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphVisualizer
-
Creates a VxGraph which visualizes a graph.
- visualizeDPO(Morphism, Morphism) - Method in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphVisualizer
-
Creates a VxGraph which visualizes a morphism.
- visualizeFlatMorphism(Morphism) - Method in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphVisualizer
-
Creates a VxGraph which visualizes a rule, where the rule is displayed
as a single graph with different style for deleted and created parts.
- visualizeGraph(AnnotatedTypeGraph) - Method in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphVisualizer
-
Creates a VxGraph which visualizes a graph.
- visualizeMorphism(Morphism, boolean, boolean) - Method in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphVisualizer
-
Creates a VxGraph which visualizes a morphism.
- visualizePostconditionMatch(Morphism, Set<Node>, Set<Edge>, AnnotatedTypeGraphVisualizer.GraphColor, boolean) - Method in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphVisualizer
-
- visualizeSystem(ExplicitTransitionSystem) - Method in class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphVisualizer
-
Visualizes a transition system.
- VisualSynchronizer() - Constructor for class de.uni_due.inf.ti.dragom.gui.AnnotatedTypeGraphVisualizer.VisualSynchronizer
-