wpds.interfaces

Interface IPushdownSystem<N extends Location,D extends State,W extends Weight>

All Known Implementing Classes:

PushdownSystem, WeightedPushdownSystem, WildcardPushdownSystem

public interface IPushdownSystem<N extends Location,D extends State,W extends Weight>

Method Summary

Modifier and Type	Method and Description
boolean	addRule(Rule<N,D,W> rule)
Set<Rule<N,D,W>>	getAllRules()
Set<NormalRule<N,D,W>>	getNormalRules()
Set<NormalRule<N,D,W>>	getNormalRulesEnding(D start, N string)
Set<PopRule<N,D,W>>	getPopRules()
Set<PushRule<N,D,W>>	getPushRules()
Set<PushRule<N,D,W>>	getPushRulesEnding(D start, N string)
Set<Rule<N,D,W>>	getRulesStarting(D start, N string)
Set<D>	getStates()
void	poststar(WeightedPAutomaton<N,D,W> initialAutomaton)
void	poststar(WeightedPAutomaton<N,D,W> initialAutomaton, NestedWeightedPAutomatons<N,D,W> summaries)
void	prestar(WeightedPAutomaton<N,D,W> initialAutomaton)
void	registerUpdateListener(WPDSUpdateListener<N,D,W> listener)

Method Detail

addRule

boolean addRule(Rule<N,D,W> rule)

getStates

Set<D> getStates()

getNormalRules

Set<NormalRule<N,D,W>> getNormalRules()

getPopRules

Set<PopRule<N,D,W>> getPopRules()

getPushRules

Set<PushRule<N,D,W>> getPushRules()

getAllRules

Set<Rule<N,D,W>> getAllRules()

getRulesStarting

Set<Rule<N,D,W>> getRulesStarting(D start,
                                  N string)

getNormalRulesEnding

Set<NormalRule<N,D,W>> getNormalRulesEnding(D start,
                                            N string)

getPushRulesEnding

Set<PushRule<N,D,W>> getPushRulesEnding(D start,
                                        N string)

prestar

void prestar(WeightedPAutomaton<N,D,W> initialAutomaton)

poststar

void poststar(WeightedPAutomaton<N,D,W> initialAutomaton)

poststar

void poststar(WeightedPAutomaton<N,D,W> initialAutomaton,
              NestedWeightedPAutomatons<N,D,W> summaries)

registerUpdateListener

void registerUpdateListener(WPDSUpdateListener<N,D,W> listener)