Package | Description |
---|---|
de.uni_due.inf.ti.dragom.gui |
Modifier and Type | Method and Description |
---|---|
AnnotatedTypeGraphVisualizer.MorphismVisi |
AnnotatedTypeGraphVisualizer.visualizeMorphism(de.uni_due.inf.ti.graph.Morphism morph,
boolean leftMulti,
boolean rightMulti)
Creates a VxGraph which visualizes a morphism.
|
AnnotatedTypeGraphVisualizer.MorphismVisi |
AnnotatedTypeGraphVisualizer.visualizePostconditionMatch(de.uni_due.inf.ti.graph.Morphism morph,
java.util.Set<de.uni_due.inf.ti.graph.Node> coloredNodes,
java.util.Set<de.uni_due.inf.ti.graph.Edge> coloredEdges,
AnnotatedTypeGraphVisualizer.GraphColor color,
boolean simplified) |