de.up.ling.irtg.automata.coarse_to_fine

Class RuleRefinementTree

java.lang.Object

de.up.ling.irtg.automata.coarse_to_fine.RuleRefinementTree

public class RuleRefinementTree
extends Object

Author:

koller

Constructor Summary

Constructors

Constructor and Description
RuleRefinementTree(List<RuleRefinementNode> toplevel, List<IntSet> finalStatesPerLevel, Function<Rule,RuleRefinementNode> finestNodes)

Method Summary

Modifier and Type	Method and Description
List<RuleRefinementNode>	getCoarsestNodes()
IntTrie<List<RuleRefinementNode>>	getCoarsestTrie()
IntSet	getFinalStatesAtLevel(int level)
RuleRefinementNode	getFinestNodeForRule(Rule rule)
TreeAutomaton	makeCoarsestAutomaton(TreeAutomaton fineAutomaton)
InterpretedTreeAutomaton	makeIrtgWithCoarsestAutomaton(InterpretedTreeAutomaton irtg)
String	toString(TreeAutomaton auto)

Methods inherited from class java.lang.Object

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

Constructor Detail

RuleRefinementTree

public RuleRefinementTree(List<RuleRefinementNode> toplevel,
                          List<IntSet> finalStatesPerLevel,
                          Function<Rule,RuleRefinementNode> finestNodes)

Method Detail

getCoarsestNodes

public List<RuleRefinementNode> getCoarsestNodes()

getFinestNodeForRule

public RuleRefinementNode getFinestNodeForRule(Rule rule)

makeCoarsestAutomaton

public TreeAutomaton makeCoarsestAutomaton(TreeAutomaton fineAutomaton)

makeIrtgWithCoarsestAutomaton

public InterpretedTreeAutomaton makeIrtgWithCoarsestAutomaton(InterpretedTreeAutomaton irtg)

getFinalStatesAtLevel

public IntSet getFinalStatesAtLevel(int level)

getCoarsestTrie

public IntTrie<List<RuleRefinementNode>> getCoarsestTrie()

toString

public String toString(TreeAutomaton auto)