de.up.ling.irtg.automata.condensed

Class PMFactoryRestrictive<State>

java.lang.Object

de.up.ling.irtg.automata.condensed.PatternMatchingInvhomAutomatonFactory<String,State>

de.up.ling.irtg.automata.condensed.PMFactoryRestrictive<State>

Type Parameters:

State -

public class PMFactoryRestrictive<State>
extends PatternMatchingInvhomAutomatonFactory<String,State>

Produces pattern matcher automata to compute the inverse of decomposition automata under homomorphism.

Author:

groschwitz

Field Summary

Fields inherited from class de.up.ling.irtg.automata.condensed.PatternMatchingInvhomAutomatonFactory

logTitle, logWriter

Constructor Summary

Constructors

Constructor and Description
PMFactoryRestrictive(Homomorphism hom)

Method Summary

Modifier and Type	Method and Description
static CondensedTreeAutomaton	invhomWithNewFactory(TreeAutomaton rhs, Homomorphism hom)

Methods inherited from class de.up.ling.irtg.automata.condensed.PatternMatchingInvhomAutomatonFactory

invhom

Methods inherited from class java.lang.Object

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

Constructor Detail

PMFactoryRestrictive

public PMFactoryRestrictive(Homomorphism hom)

Method Detail

invhomWithNewFactory

public static CondensedTreeAutomaton invhomWithNewFactory(TreeAutomaton rhs,
                                                          Homomorphism hom)