wpds.wildcard

Class WildcardPushdownSystem<N extends Location,D extends State>

java.lang.Object

wpds.impl.WeightedPushdownSystem<N,D,Weight.NoWeight>

wpds.impl.PushdownSystem<N,D>

wpds.wildcard.WildcardPushdownSystem<N,D>

All Implemented Interfaces:

IPushdownSystem<N,D,Weight.NoWeight>

public abstract class WildcardPushdownSystem<N extends Location,D extends State>
extends PushdownSystem<N,D>

Field Summary

Fields inherited from class wpds.impl.WeightedPushdownSystem

listeners, normalRules, popRules, pushRules

Constructor Summary

Constructors

Constructor and Description
WildcardPushdownSystem()

Method Summary

Modifier and Type	Method and Description
abstract Wildcard	anyTransition()
Set<NormalRule<N,D,Weight.NoWeight>>	getNormalRulesEnding(D start, N string)
Set<PushRule<N,D,Weight.NoWeight>>	getPushRulesEnding(D start, N string)
Set<Rule<N,D,Weight.NoWeight>>	getRulesStarting(D start, N string)

Methods inherited from class wpds.impl.PushdownSystem

addRule

Methods inherited from class wpds.impl.WeightedPushdownSystem

getAllRules, getNormalRules, getPopRules, getPushRules, getStates, poststar, poststar, prestar, registerUpdateListener, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

WildcardPushdownSystem

public WildcardPushdownSystem()

Method Detail

getRulesStarting

public Set<Rule<N,D,Weight.NoWeight>> getRulesStarting(D start,
                                                       N string)

Specified by:

getRulesStarting in interface IPushdownSystem<N extends Location,D extends State,Weight.NoWeight>

Overrides:

getRulesStarting in class WeightedPushdownSystem<N extends Location,D extends State,Weight.NoWeight>

getNormalRulesEnding

public Set<NormalRule<N,D,Weight.NoWeight>> getNormalRulesEnding(D start,
                                                                 N string)

Specified by:

getNormalRulesEnding in interface IPushdownSystem<N extends Location,D extends State,Weight.NoWeight>

Overrides:

getNormalRulesEnding in class WeightedPushdownSystem<N extends Location,D extends State,Weight.NoWeight>

getPushRulesEnding

public Set<PushRule<N,D,Weight.NoWeight>> getPushRulesEnding(D start,
                                                             N string)

Specified by:

getPushRulesEnding in interface IPushdownSystem<N extends Location,D extends State,Weight.NoWeight>

Overrides:

getPushRulesEnding in class WeightedPushdownSystem<N extends Location,D extends State,Weight.NoWeight>

anyTransition

public abstract Wildcard anyTransition()