Uses of Class
de.breakpointsec.pushdown.fsm.Transition

Packages that use Transition

Package	Description
de.breakpointsec.pushdown
de.breakpointsec.pushdown.fsm

Uses of Transition in de.breakpointsec.pushdown

Methods in de.breakpointsec.pushdown with parameters of type Transition

Modifier and Type	Method	Description
protected boolean	WPDS.updatePostStar(Transition<L,S> t, W w, Rule rule, WeightedAutomaton<L,S,W> fa, LinkedList<Transition<L,S>> worklist)
protected void	WPDS.updatePrestar(LinkedList<Transition<L,S>> worklist, Transition<L,S> t, W w, WeightedAutomaton<L,S,W> fa)	Add transition trans to fa, assign a weight to it that is computed of the rule's weight with that of the previous transitions.

Method parameters in de.breakpointsec.pushdown with type arguments of type Transition

Modifier and Type	Method	Description
protected boolean	WPDS.updatePostStar(Transition<L,S> t, W w, Rule rule, WeightedAutomaton<L,S,W> fa, LinkedList<Transition<L,S>> worklist)
protected void	WPDS.updatePrestar(LinkedList<Transition<L,S>> worklist, Transition<L,S> t, W w, WeightedAutomaton<L,S,W> fa)	Add transition trans to fa, assign a weight to it that is computed of the rule's weight with that of the previous transitions.

Uses of Transition in de.breakpointsec.pushdown.fsm

Methods in de.breakpointsec.pushdown.fsm that return types with arguments of type Transition

Modifier and Type	Method	Description
Set<Transition<L,S>>	WeightedAutomaton.getEdges()
Collection<Transition<L,S>>	WeightedAutomaton.getTransitions()
Collection<Transition<L,S>>	WeightedAutomaton.getTransitionsInto(S s)
Collection<Transition<L,S>>	WeightedAutomaton.getTransitionsOutOf(S s)
Map<Transition<L,S>,W>	WeightedAutomaton.getTransitionsToFinalWeights()

Methods in de.breakpointsec.pushdown.fsm with parameters of type Transition

Modifier and Type	Method	Description
boolean	WeightedAutomaton.addTransition(Transition<L,S> trans)
void	WeightedAutomaton.addTransition(Transition<L,S> trans, W weight)
boolean	WeightedAutomaton.combineWeightForTransition(Transition<L,S> trans, W weight)
W	WeightedAutomaton.getWeightFor(Transition<L,S> trans)
void	WeightedAutomaton.setWeightForTransition(Transition<L,S> trans, W weight)