wpds.impl

Class PushdownSystem<N extends Location,D extends State>

java.lang.Object

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

wpds.impl.PushdownSystem<N,D>

All Implemented Interfaces:

IPushdownSystem<N,D,Weight.NoWeight>

Direct Known Subclasses:

WildcardPushdownSystem

public class PushdownSystem<N extends Location,D extends State>
extends WeightedPushdownSystem<N,D,Weight.NoWeight>

Field Summary

Fields inherited from class wpds.impl.WeightedPushdownSystem

listeners, normalRules, popRules, pushRules

Constructor Summary

Constructors

Constructor and Description
PushdownSystem()

Method Summary

Modifier and Type	Method and Description
boolean	addRule(Rule<N,D,Weight.NoWeight> rule)

Methods inherited from class wpds.impl.WeightedPushdownSystem

getAllRules, getNormalRules, getNormalRulesEnding, getPopRules, getPushRules, getPushRulesEnding, getRulesStarting, 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

PushdownSystem

public PushdownSystem()

Method Detail

addRule

public boolean addRule(Rule<N,D,Weight.NoWeight> rule)

Specified by:

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

Overrides:

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