wpds.impl

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

java.lang.Object

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

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

Constructor Summary

Constructors

Constructor and Description
PostStar()

Method Summary

Modifier and Type	Method and Description
abstract WeightedPAutomaton<N,D,W>	getSummaryAutomaton(D target)
void	poststar(IPushdownSystem<N,D,W> pds, WeightedPAutomaton<N,D,W> initialAutomaton)
abstract void	putSummaryAutomaton(D target, WeightedPAutomaton<N,D,W> aut)

Methods inherited from class java.lang.Object

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

Constructor Detail

PostStar

public PostStar()

Method Detail

poststar

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

putSummaryAutomaton

public abstract void putSummaryAutomaton(D target,
                                         WeightedPAutomaton<N,D,W> aut)

getSummaryAutomaton

public abstract WeightedPAutomaton<N,D,W> getSummaryAutomaton(D target)