All Classes Class Summary Exception Summary
| Class |
Description |
| Configuration<Location,State> |
|
| DataFlowPathSemiring<Statement> |
|
| IllegalTransitionException |
|
| NormalRule<Location,State,W> |
|
| NoSemiring |
|
| NumSemiring |
|
| PopRule<Location,State,Weight> |
|
| PushRule<Location,State,Weight> |
|
| Rule<Location,State,Weight> |
|
| Semiring<T> |
A bounded idempotent semi-ring.
|
| Transition<Loc,State> |
|
| WeightedAutomaton<L,S,W extends Semiring> |
A P-automaton that represents accepts a given configuration c = (L, S, W).
|
| WPDS<L,S,W extends Semiring> |
Implementation of a Weighted Pushdown System.
|