Package de.breakpointsec.pushdown.fsm
-
Class Summary Class Description Transition<Loc,State> WeightedAutomaton<L,S,W extends Semiring> A P-automaton that represents accepts a given configuration c = (L, S, W).
| Class | Description |
|---|---|
| Transition<Loc,State> | |
| WeightedAutomaton<L,S,W extends Semiring> |
A P-automaton that represents accepts a given configuration c = (L, S, W).
|