wpds.impl

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

java.lang.Object

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

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

Constructor Summary

Constructors

Constructor and Description
PreStar()

Method Summary

Modifier and Type	Method and Description
WeightedPAutomaton<N,D,W>	prestar(IPushdownSystem<N,D,W> pds, WeightedPAutomaton<N,D,W> initialAutomaton)

Methods inherited from class java.lang.Object

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

Constructor Detail

PreStar

public PreStar()

Method Detail

prestar

public WeightedPAutomaton<N,D,W> prestar(IPushdownSystem<N,D,W> pds,
                                         WeightedPAutomaton<N,D,W> initialAutomaton)