| Package | Description |
|---|---|
| wpds.impl | |
| wpds.wildcard |
| Modifier and Type | Field and Description |
|---|---|
static Weight.NoWeight |
Weight.NO_WEIGHT_ONE |
static Weight.NoWeight |
Weight.NO_WEIGHT_ZERO |
| Modifier and Type | Method and Description |
|---|---|
Weight.NoWeight |
PAutomaton.getOne() |
Weight.NoWeight |
PAutomaton.getZero() |
| Modifier and Type | Method and Description |
|---|---|
boolean |
PushdownSystem.addRule(Rule<N,D,Weight.NoWeight> rule) |
| Modifier and Type | Method and Description |
|---|---|
Set<NormalRule<N,D,Weight.NoWeight>> |
WildcardPushdownSystem.getNormalRulesEnding(D start,
N string) |
Set<PushRule<N,D,Weight.NoWeight>> |
WildcardPushdownSystem.getPushRulesEnding(D start,
N string) |
Set<Rule<N,D,Weight.NoWeight>> |
WildcardPushdownSystem.getRulesStarting(D start,
N string) |
Copyright © 2023. All rights reserved.