Uses of Class
wpds.impl.WeightedPAutomaton

Packages that use WeightedPAutomaton

Package	Description
wpds.impl
wpds.interfaces

Uses of WeightedPAutomaton in wpds.impl

Subclasses of WeightedPAutomaton in wpds.impl

Modifier and Type	Class and Description
class	PAutomaton<N extends Location,D extends State>

Methods in wpds.impl that return WeightedPAutomaton

Modifier and Type	Method and Description
WeightedPAutomaton<N,D,W>	WeightedPAutomaton.createNestedAutomaton(D initialState)
WeightedPAutomaton<N,D,W>	SummaryNestedWeightedPAutomatons.getSummaryAutomaton(D target)
WeightedPAutomaton<N,D,W>	NestedWeightedPAutomatons.getSummaryAutomaton(D target)
abstract WeightedPAutomaton<N,D,W>	PostStar.getSummaryAutomaton(D target)
WeightedPAutomaton<N,D,W>	PreStar.prestar(IPushdownSystem<N,D,W> pds, WeightedPAutomaton<N,D,W> initialAutomaton)

Methods in wpds.impl with parameters of type WeightedPAutomaton

Modifier and Type	Method and Description
void	WeightedPAutomaton.addNestedAutomaton(WeightedPAutomaton<N,D,W> nested)
boolean	WeightedPAutomaton.isInitialAutomaton(WeightedPAutomaton<N,D,W> aut)
void	NestedAutomatonListener.nestedAutomaton(WeightedPAutomaton<N,D,W> parent, WeightedPAutomaton<N,D,W> child)
void	NestedAutomatonListener.nestedAutomaton(WeightedPAutomaton<N,D,W> parent, WeightedPAutomaton<N,D,W> child)
void	PrefixImport.HasOutTransWithSameLabel.onInTransitionAdded(Transition<N,D> t, W w, WeightedPAutomaton<N,D,W> weightedPAutomaton)
void	StackListener.onInTransitionAdded(Transition<N,D> t, W w, WeightedPAutomaton<N,D,W> weightedPAutomaton)
void	PrefixImport.HasOutTransWithSameLabel.onOutTransitionAdded(Transition<N,D> flowT, W w, WeightedPAutomaton<N,D,W> weightedPAutomaton)
void	StackListener.onOutTransitionAdded(Transition<N,D> t, W w, WeightedPAutomaton<N,D,W> weightedPAutomaton)
void	PostStar.poststar(IPushdownSystem<N,D,W> pds, WeightedPAutomaton<N,D,W> initialAutomaton)
void	WeightedPushdownSystem.poststar(WeightedPAutomaton<N,D,W> initialAutomaton)
void	WeightedPushdownSystem.poststar(WeightedPAutomaton<N,D,W> initialAutomaton, NestedWeightedPAutomatons<N,D,W> summaries)
WeightedPAutomaton<N,D,W>	PreStar.prestar(IPushdownSystem<N,D,W> pds, WeightedPAutomaton<N,D,W> initialAutomaton)
void	WeightedPushdownSystem.prestar(WeightedPAutomaton<N,D,W> initialAutomaton)
void	SummaryNestedWeightedPAutomatons.putSummaryAutomaton(D target, WeightedPAutomaton<N,D,W> aut)
void	NestedWeightedPAutomatons.putSummaryAutomaton(D target, WeightedPAutomaton<N,D,W> aut)
abstract void	PostStar.putSummaryAutomaton(D target, WeightedPAutomaton<N,D,W> aut)
void	WeightedPAutomaton.setInitialAutomaton(WeightedPAutomaton<N,D,W> aut)

Constructors in wpds.impl with parameters of type WeightedPAutomaton

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

Uses of WeightedPAutomaton in wpds.interfaces

Fields in wpds.interfaces declared as WeightedPAutomaton

Modifier and Type	Field and Description
protected WeightedPAutomaton<N,D,W>	ForwardDFSVisitor.aut

Methods in wpds.interfaces with parameters of type WeightedPAutomaton

Modifier and Type	Method and Description
abstract void	WPAStateListener.onInTransitionAdded(Transition<N,D> t, W w, WeightedPAutomaton<N,D,W> weightedPAutomaton)
abstract void	WPAStateListener.onOutTransitionAdded(Transition<N,D> t, W w, WeightedPAutomaton<N,D,W> weightedPAutomaton)
void	ForwardDFSVisitor.onWeightAdded(Transition<N,D> t, W w, WeightedPAutomaton<N,D,W> aut)
void	WPAUpdateListener.onWeightAdded(Transition<N,D> t, W w, WeightedPAutomaton<N,D,W> aut)
void	IPushdownSystem.poststar(WeightedPAutomaton<N,D,W> initialAutomaton)
void	IPushdownSystem.poststar(WeightedPAutomaton<N,D,W> initialAutomaton, NestedWeightedPAutomatons<N,D,W> summaries)
void	IPushdownSystem.prestar(WeightedPAutomaton<N,D,W> initialAutomaton)

Constructors in wpds.interfaces with parameters of type WeightedPAutomaton

Constructor and Description
ForwardDFSEpsilonVisitor(WeightedPAutomaton<N,D,W> aut)
ForwardDFSVisitor(WeightedPAutomaton<N,D,W> aut)