Uses of Class
wpds.impl.Transition

Packages that use Transition

Package	Description
wpds.impl
wpds.interfaces

Uses of Transition in wpds.impl

Fields in wpds.impl with type parameters of type Transition

Modifier and Type	Field and Description
protected Set<Transition<N,D>>	WeightedPAutomaton.transitions

Methods in wpds.impl that return types with arguments of type Transition

Modifier and Type	Method and Description
Collection<Transition<N,D>>	WeightedPAutomaton.getTransitions()
Map<Transition<N,D>,W>	WeightedPAutomaton.getTransitionsToFinalWeights()

Methods in wpds.impl with parameters of type Transition

Modifier and Type	Method and Description
boolean	WeightedPAutomaton.addTransition(Transition<N,D> trans)
boolean	WeightedPAutomaton.addWeightForTransition(Transition<N,D> trans, W weight)
boolean	NormalRule.canBeApplied(Transition<N,D> t, W weight)
W	WeightedPAutomaton.getWeightFor(Transition<N,D> trans)
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	UnbalancedPopListener.unbalancedPop(D returningFact, Transition<N,D> trans, W weight)
void	WeightedPAutomaton.unbalancedPop(D targetState, Transition<N,D> trans, W weight)

Constructors in wpds.impl with parameters of type Transition

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

Uses of Transition in wpds.interfaces

Methods in wpds.interfaces with parameters of type Transition

Modifier and Type	Method and Description
protected boolean	ForwardDFSVisitor.continueWith(Transition<N,D> t)
protected boolean	ForwardDFSEpsilonVisitor.continueWith(Transition<N,D> t)
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	ReachabilityListener.reachable(Transition<N,D> t)