Uses of Class
de.breakpointsec.pushdown.IllegalTransitionException

Packages that use IllegalTransitionException

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

Uses of IllegalTransitionException in de.breakpointsec.pushdown

Methods in de.breakpointsec.pushdown that throw IllegalTransitionException

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.

Uses of IllegalTransitionException in de.breakpointsec.pushdown.fsm

Methods in de.breakpointsec.pushdown.fsm that throw IllegalTransitionException

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