| Package | Description |
|---|---|
| de.rwth.i2.attestor.graph.heap.internal |
All the messy details to implement a
HeapConfiguration
as a bipartite directed labeled graph. |
| de.rwth.i2.attestor.graph.morphism |
This package implements algorithms to compute various kinds of graph morphisms.
|
| de.rwth.i2.attestor.graph.morphism.checkers |
Specialized wrappers to compute frequently used morphisms such as
isomorphisms and embeddings.
|
| Constructor and Description |
|---|
InternalMatching(HeapConfiguration pattern,
Morphism morphism,
HeapConfiguration target)
Initializes a new InternalMatching.
|
| Modifier and Type | Method and Description |
|---|---|
Morphism |
MorphismChecker.getMorphism() |
Morphism |
VF2Algorithm.getMorphism() |
| Modifier and Type | Method and Description |
|---|---|
Morphism |
AbstractVF2MorphismChecker.getMorphism() |
Copyright © 2019. All rights reserved.