de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar

Class IndexEmbeddingResult

java.lang.Object

de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar.IndexEmbeddingResult

public class IndexEmbeddingResult
extends Object

Data class holding the result of a index matching between two graphs (embedding of one graph in another).

Author:

Hannah

Constructor Summary

Constructors

Constructor and Description
IndexEmbeddingResult(HeapConfiguration materializedToAbstract, Nonterminal instantiatedLhs)

Method Summary

Modifier and Type	Method and Description
Nonterminal	getInstantiatedLhs()
HeapConfiguration	getMaterializedToAbstract()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

IndexEmbeddingResult

public IndexEmbeddingResult(HeapConfiguration materializedToAbstract,
                            Nonterminal instantiatedLhs)

Method Detail

getMaterializedToAbstract

public HeapConfiguration getMaterializedToAbstract()

getInstantiatedLhs

public Nonterminal getInstantiatedLhs()