public abstract class AbstractMatchingChecker extends Object
Matching between two HeapConfigurations.
The exact matching to be computed has to be determined by subclasses.MorphismChecker| Modifier and Type | Method and Description |
|---|---|
Matching |
getMatching() |
HeapConfiguration |
getPattern() |
HeapConfiguration |
getTarget() |
boolean |
hasMatching() |
public HeapConfiguration getPattern()
public HeapConfiguration getTarget()
public boolean hasMatching()
public Matching getMatching()
Copyright © 2019. All rights reserved.