de.up.ling.irtg.automata.condensed

Class PatternMatchingInvhomAutomatonFactory<MatcherState,State>

java.lang.Object

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

Type Parameters:

MatcherState -

State -

Direct Known Subclasses:

PMFactoryRestrictive

public abstract class PatternMatchingInvhomAutomatonFactory<MatcherState,State>
extends Object

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

Author:

koller

Field Summary

Fields

Modifier and Type	Field and Description
String	logTitle
Writer	logWriter

Constructor Summary

Constructors

Constructor and Description
PatternMatchingInvhomAutomatonFactory(Homomorphism hom) Initializes a new PatternMatchingInvhomAutomatonFactory with respect to the homomorphism hom.

Method Summary

Modifier and Type	Method and Description
CondensedTreeAutomaton<State>	invhom(TreeAutomaton<State> rhs) Computes the image under inverse homomorphism of the decomposition automaton rhs.

Methods inherited from class java.lang.Object

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

Field Detail

logWriter

public Writer logWriter

logTitle

public String logTitle

Constructor Detail

PatternMatchingInvhomAutomatonFactory

public PatternMatchingInvhomAutomatonFactory(Homomorphism hom)

Initializes a new PatternMatchingInvhomAutomatonFactory with respect to the homomorphism hom.

Parameters:

hom -

Method Detail

invhom

public CondensedTreeAutomaton<State> invhom(TreeAutomaton<State> rhs)

Computes the image under inverse homomorphism of the decomposition automaton rhs.

Parameters:

rhs -

Returns: