public class GrammarRefinement extends Object
| Constructor and Description |
|---|
GrammarRefinement(Grammar grammar,
HeapAutomaton heapAutomaton) |
public GrammarRefinement(Grammar grammar, HeapAutomaton heapAutomaton)
public Grammar getRefinedGrammar()
Copyright © 2018. All rights reserved.