de.rwth.i2.attestor.grammar.canonicalization

Interface CanonicalizationHelper

All Known Implementing Classes:

DefaultCanonicalizationHelper, IndexedCanonicalizationHelper

public interface CanonicalizationHelper

Method Summary

Modifier and Type	Method and Description
HeapConfiguration	prepareHeapForCanonicalization(HeapConfiguration toAbstract) If the grammar type requires a modification of the graph before it can be abstracted, it is done with this method.
HeapConfiguration	tryReplaceMatching(HeapConfiguration toAbstract, CollapsedHeapConfiguration rhs, Nonterminal lhs) If an embedding of rhs in toAbstract can be found it computes it and replaces it with a nonterminal edge labeled with lhs.
HeapConfiguration	tryReplaceMatching(HeapConfiguration toAbstract, HeapConfiguration rhs, Nonterminal lhs) If an embedding of rhs in toAbstract can be found it computes it and replaces it with a nonterminal edge labeled with lhs.

Method Detail

tryReplaceMatching

HeapConfiguration tryReplaceMatching(HeapConfiguration toAbstract,
                                     HeapConfiguration rhs,
                                     Nonterminal lhs)

If an embedding of rhs in toAbstract can be found it computes it and replaces it with a nonterminal edge labeled with lhs.

Parameters:

toAbstract - the target graph

rhs - the pattern graph

lhs - the label of the replacing nonterminal edge

Returns:

the abstracted graph if an embedding of rhs can be found, null otherwise.

prepareHeapForCanonicalization

HeapConfiguration prepareHeapForCanonicalization(HeapConfiguration toAbstract)

If the grammar type requires a modification of the graph before it can be abstracted, it is done with this method.

Parameters:

toAbstract - the graph which shall be abstracted

Returns:

the modified graph (or the graph itself if no modification is necessary)

tryReplaceMatching

HeapConfiguration tryReplaceMatching(HeapConfiguration toAbstract,
                                     CollapsedHeapConfiguration rhs,
                                     Nonterminal lhs)

If an embedding of rhs in toAbstract can be found it computes it and replaces it with a nonterminal edge labeled with lhs.

Parameters:

toAbstract - the target graph

rhs - the pattern graph

lhs - the label of the replacing nonterminal edge

Returns:

the abstracted graph if an embedding of rhs can be found, null otherwise.