de.rwth.i2.attestor.refinement.grammarRefinement

Class GrammarRefinement

java.lang.Object

de.rwth.i2.attestor.refinement.grammarRefinement.GrammarRefinement

public class GrammarRefinement
extends Object

Constructor Summary

Constructors

Constructor and Description
GrammarRefinement(Grammar grammar, HeapAutomaton heapAutomaton)

Method Summary

Modifier and Type	Method and Description
Grammar	getRefinedGrammar()

Methods inherited from class java.lang.Object

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

Constructor Detail

GrammarRefinement

public GrammarRefinement(Grammar grammar,
                         HeapAutomaton heapAutomaton)

Method Detail

getRefinedGrammar

public Grammar getRefinedGrammar()