| Package | Description |
|---|---|
| wpds.impl | |
| wpds.interfaces | |
| wpds.wildcard |
| Modifier and Type | Class and Description |
|---|---|
class |
NormalRule<N extends Location,D extends State,W extends Weight> |
class |
PopRule<N extends Location,D extends State,W extends Weight> |
class |
PushRule<N extends Location,D extends State,W extends Weight> |
class |
UNormalRule<N extends Location,D extends State> |
class |
UPopRule<N extends Location,D extends State> |
class |
UPushRule<N extends Location,D extends State> |
| Modifier and Type | Method and Description |
|---|---|
Set<Rule<N,D,W>> |
WeightedPushdownSystem.getAllRules() |
Set<Rule<N,D,W>> |
WeightedPushdownSystem.getRulesStarting(D start,
N string) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
WeightedPushdownSystem.addRule(Rule<N,D,W> rule) |
boolean |
PushdownSystem.addRule(Rule<N,D,Weight.NoWeight> rule) |
| Modifier and Type | Method and Description |
|---|---|
Set<Rule<N,D,W>> |
IPushdownSystem.getAllRules() |
Set<Rule<N,D,W>> |
IPushdownSystem.getRulesStarting(D start,
N string) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
IPushdownSystem.addRule(Rule<N,D,W> rule) |
void |
WPDSUpdateListener.onRuleAdded(Rule<N,D,W> rule) |
| Modifier and Type | Method and Description |
|---|---|
Set<Rule<N,D,Weight.NoWeight>> |
WildcardPushdownSystem.getRulesStarting(D start,
N string) |
Copyright © 2023. All rights reserved.