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

Packages that use WeightedAutomaton

Package	Description
de.breakpointsec.pushdown

Uses of WeightedAutomaton in de.breakpointsec.pushdown

Methods in de.breakpointsec.pushdown that return WeightedAutomaton

Modifier and Type	Method	Description
WeightedAutomaton<L,S,W>	WPDS.prestar(WeightedAutomaton<L,S,W> fa)	pre*-saturation algorithm returns a finite automaton representing the backwards reachable set of the configuration represented by the initial automaton.

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

Modifier and Type	Method	Description
void	WPDS.poststar(WeightedAutomaton<L,S,W> fa)	Implementation of post*, according to Reps, T., Schwoon, S., Jha, S., & Melski, D.
WeightedAutomaton<L,S,W>	WPDS.prestar(WeightedAutomaton<L,S,W> fa)	pre*-saturation algorithm returns a finite automaton representing the backwards reachable set of the configuration represented by the initial automaton.
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.