wpds.impl

Class PrefixImport<N extends Location,D extends State,W extends Weight>

java.lang.Object

wpds.impl.PrefixImport<N,D,W>

public class PrefixImport<N extends Location,D extends State,W extends Weight>
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	PrefixImport.HasOutTransWithSameLabel

Constructor Summary

Constructors

Constructor and Description
PrefixImport(WeightedPAutomaton<N,D,W> autA, WeightedPAutomaton<N,D,W> autB, Transition<N,D> t)

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

PrefixImport

public PrefixImport(WeightedPAutomaton<N,D,W> autA,
                    WeightedPAutomaton<N,D,W> autB,
                    Transition<N,D> t)