public class Materialization
extends java.lang.Object
Constructor and Description |
---|
Materialization(de.uni_due.inf.ti.graph.Morphism leftEmbedding,
de.uni_due.inf.ti.graph.Morphism rightEmbedding)
Constructor for a new Materialization
|
Modifier and Type | Method and Description |
---|---|
AnnotatedTypeGraph |
getAbstractGraph()
Gets the multiply annotated type graph of this materialization
|
de.uni_due.inf.ti.graph.Morphism |
getBaseMorphism()
Gets the base morphisms from the left-hand side graph into the multiply annotated type graph
|
de.uni_due.inf.ti.graph.Morphism |
getLeftEmbedding()
Gets the morphism from the left-hand side graph into the materialization graph
|
java.util.Set<de.uni_due.inf.ti.graph.Edge> |
getLeftEmbeddingEdgeImage()
Gets the edge images of the left-hand side embedding
|
java.util.Set<de.uni_due.inf.ti.graph.Node> |
getLeftEmbeddingNodeImage()
Gets the node images of the left-hand side embedding
|
AnnotatedTypeGraph |
getLeftHandSideGraph()
Gets the left-hand side graph of this materialization
|
AnnotatedTypeGraph |
getMaterialization()
Gets the materialization graph of this materialization
|
de.uni_due.inf.ti.graph.Morphism |
getRightEmbedding()
Gets the morphism from the materialization graph into the multiply annotated type graph
|
public Materialization(de.uni_due.inf.ti.graph.Morphism leftEmbedding, de.uni_due.inf.ti.graph.Morphism rightEmbedding)
leftEmbedding
- The embedding of the left-hand side into the materialization graphrightEmbedding
- The embedding of the materialization graph into the multiply annotated type graphpublic de.uni_due.inf.ti.graph.Morphism getBaseMorphism()
public de.uni_due.inf.ti.graph.Morphism getLeftEmbedding()
public de.uni_due.inf.ti.graph.Morphism getRightEmbedding()
public AnnotatedTypeGraph getLeftHandSideGraph()
public AnnotatedTypeGraph getMaterialization()
public AnnotatedTypeGraph getAbstractGraph()
public java.util.Set<de.uni_due.inf.ti.graph.Node> getLeftEmbeddingNodeImage()
public java.util.Set<de.uni_due.inf.ti.graph.Edge> getLeftEmbeddingEdgeImage()