A C D E F G H I L N O P R S T U W

A

addFinalState(D) - Method in class wpds.impl.WeightedPAutomaton

addNestedAutomaton(WeightedPAutomaton<N, D, W>) - Method in class wpds.impl.WeightedPAutomaton

addRule(Rule<N, D, Weight.NoWeight>) - Method in class wpds.impl.PushdownSystem

addRule(Rule<N, D, W>) - Method in class wpds.impl.WeightedPushdownSystem

addRule(Rule<N, D, W>) - Method in interface wpds.interfaces.IPushdownSystem

addTransition(Transition<N, D>) - Method in class wpds.impl.WeightedPAutomaton

addUnbalancedState(D) - Method in class wpds.impl.WeightedPAutomaton

addWeightForTransition(Transition<N, D>, W) - Method in class wpds.impl.WeightedPAutomaton

anyContext(N) - Method in class wpds.impl.StackListener

anyTransition() - Method in class wpds.wildcard.WildcardPushdownSystem

aut - Variable in class wpds.interfaces.ForwardDFSVisitor

C

callSite - Variable in class wpds.impl.PushRule

canBeApplied(Transition<N, D>, W) - Method in class wpds.impl.NormalRule

clearListener() - Method in class wpds.impl.WeightedPAutomaton

combineWith(Weight) - Method in class wpds.impl.Weight

combineWith(Weight) - Method in class wpds.impl.Weight.NoWeight

Configuration<N extends Location,D extends State> - Class in wpds.impl

Configuration(N, D) - Constructor for class wpds.impl.Configuration

connect(N, N, D, W) - Method in interface wpds.impl.ConnectPushListener

ConnectPushListener<N extends Location,D extends State,W extends Weight> - Interface in wpds.impl

containsLoop() - Method in class wpds.impl.WeightedPAutomaton

continueWith(Transition<N, D>) - Method in class wpds.interfaces.ForwardDFSEpsilonVisitor

continueWith(Transition<N, D>) - Method in class wpds.interfaces.ForwardDFSVisitor

createNestedAutomaton(D) - Method in class wpds.impl.WeightedPAutomaton

createState(D, N) - Method in class wpds.impl.WeightedPAutomaton

D

Debugger<N extends Location,D extends State,W extends Weight> - Interface in wpds.debug

E

Empty - Interface in wpds.interfaces

epsilon() - Method in class wpds.impl.WeightedPAutomaton

equals(Object) - Method in class wpds.impl.Configuration

equals(Object) - Method in class wpds.impl.PrefixImport.HasOutTransWithSameLabel

equals(Object) - Method in class wpds.impl.PushRule

equals(Object) - Method in class wpds.impl.Rule

equals(Object) - Method in class wpds.impl.StackListener

equals(Object) - Method in class wpds.impl.Transition

equals(Object) - Method in class wpds.interfaces.ForwardDFSVisitor

equals(Object) - Method in class wpds.interfaces.WPAStateListener

excludes() - Method in interface wpds.wildcard.ExclusionWildcard

ExclusionWildcard<Location> - Interface in wpds.wildcard

extendWith(Weight) - Method in class wpds.impl.Weight

extendWith(Weight) - Method in class wpds.impl.Weight.NoWeight

extractLanguage(D) - Method in class wpds.impl.WeightedPAutomaton

extractLanguage(D, D) - Method in class wpds.impl.WeightedPAutomaton

F

failedAdditions - Variable in class wpds.impl.WeightedPAutomaton

failedDirectAdditions - Variable in class wpds.impl.WeightedPAutomaton

finalState - Variable in class wpds.impl.WeightedPAutomaton

ForwardDFSEpsilonVisitor<N extends Location,D extends State,W extends Weight> - Class in wpds.interfaces

ForwardDFSEpsilonVisitor(WeightedPAutomaton<N, D, W>) - Constructor for class wpds.interfaces.ForwardDFSEpsilonVisitor

ForwardDFSVisitor<N extends Location,D extends State,W extends Weight> - Class in wpds.interfaces

ForwardDFSVisitor(WeightedPAutomaton<N, D, W>) - Constructor for class wpds.interfaces.ForwardDFSVisitor

G

getAllRules() - Method in class wpds.impl.WeightedPushdownSystem

getAllRules() - Method in interface wpds.interfaces.IPushdownSystem

getCallSite() - Method in class wpds.impl.PushRule

getEdges() - Method in class wpds.impl.WeightedPAutomaton

getFinalState() - Method in class wpds.impl.WeightedPAutomaton

getInitialState() - Method in class wpds.impl.WeightedPAutomaton

getL1() - Method in class wpds.impl.Rule

getL2() - Method in class wpds.impl.Rule

getLabel() - Method in class wpds.impl.Transition

getLongestPath() - Method in class wpds.impl.WeightedPAutomaton

getNodes() - Method in class wpds.impl.WeightedPAutomaton

getNormalRules() - Method in class wpds.impl.WeightedPushdownSystem

getNormalRules() - Method in interface wpds.interfaces.IPushdownSystem

getNormalRulesEnding(D, N) - Method in class wpds.impl.WeightedPushdownSystem

getNormalRulesEnding(D, N) - Method in interface wpds.interfaces.IPushdownSystem

getNormalRulesEnding(D, N) - Method in class wpds.wildcard.WildcardPushdownSystem

getOne() - Method in class wpds.impl.PAutomaton

getOne() - Method in class wpds.impl.WeightedPAutomaton

getPopRules() - Method in class wpds.impl.WeightedPushdownSystem

getPopRules() - Method in interface wpds.interfaces.IPushdownSystem

getPushRules() - Method in class wpds.impl.WeightedPushdownSystem

getPushRules() - Method in interface wpds.interfaces.IPushdownSystem

getPushRulesEnding(D, N) - Method in class wpds.impl.WeightedPushdownSystem

getPushRulesEnding(D, N) - Method in interface wpds.interfaces.IPushdownSystem

getPushRulesEnding(D, N) - Method in class wpds.wildcard.WildcardPushdownSystem

getRulesStarting(D, N) - Method in class wpds.impl.WeightedPushdownSystem

getRulesStarting(D, N) - Method in interface wpds.interfaces.IPushdownSystem

getRulesStarting(D, N) - Method in class wpds.wildcard.WildcardPushdownSystem

getS1() - Method in class wpds.impl.Rule

getS2() - Method in class wpds.impl.Rule

getStart() - Method in class wpds.impl.Transition

getStartConfig() - Method in class wpds.impl.Rule

getStartConfig() - Method in class wpds.impl.Transition

getState() - Method in class wpds.interfaces.WPAStateListener

getStates() - Method in class wpds.impl.WeightedPAutomaton

getStates() - Method in class wpds.impl.WeightedPushdownSystem

getStates() - Method in interface wpds.interfaces.IPushdownSystem

getStateToDFS() - Method in class wpds.impl.WeightedPAutomaton

getStateToEpsilonDFS() - Method in class wpds.impl.WeightedPAutomaton

getString() - Method in class wpds.impl.Transition

getSummaryAutomaton(D) - Method in interface wpds.impl.NestedWeightedPAutomatons

getSummaryAutomaton(D) - Method in class wpds.impl.PostStar

getSummaryAutomaton(D) - Method in class wpds.impl.SummaryNestedWeightedPAutomatons

getTarget() - Method in class wpds.impl.Transition

getTargetConfig() - Method in class wpds.impl.Rule

getTransitions() - Method in class wpds.impl.WeightedPAutomaton

getTransitionsToFinalWeights() - Method in class wpds.impl.WeightedPAutomaton

getWeight() - Method in class wpds.impl.Rule

getWeightFor(Transition<N, D>) - Method in class wpds.impl.WeightedPAutomaton

getZero() - Method in class wpds.impl.PAutomaton

getZero() - Method in class wpds.impl.WeightedPAutomaton

H

hashCode() - Method in class wpds.impl.Configuration

hashCode() - Method in class wpds.impl.PrefixImport.HasOutTransWithSameLabel

hashCode() - Method in class wpds.impl.PushRule

hashCode() - Method in class wpds.impl.Rule

hashCode() - Method in class wpds.impl.StackListener

hashCode() - Method in class wpds.impl.Transition

hashCode() - Method in class wpds.interfaces.ForwardDFSVisitor

hashCode() - Method in class wpds.interfaces.WPAStateListener

I

initialState - Variable in class wpds.impl.WeightedPAutomaton

IPushdownSystem<N extends Location,D extends State,W extends Weight> - Interface in wpds.interfaces

isGeneratedState(D) - Method in class wpds.impl.WeightedPAutomaton

isInitialAutomaton(WeightedPAutomaton<N, D, W>) - Method in class wpds.impl.WeightedPAutomaton

isUnbalancedState(D) - Method in class wpds.impl.WeightedPAutomaton

L

l1 - Variable in class wpds.impl.Rule

l2 - Variable in class wpds.impl.Rule

listeners - Variable in class wpds.impl.WeightedPushdownSystem

Location - Interface in wpds.interfaces

N

nested() - Method in class wpds.impl.WeightedPAutomaton

nestedAutomaton(WeightedPAutomaton<N, D, W>, WeightedPAutomaton<N, D, W>) - Method in interface wpds.impl.NestedAutomatonListener

NestedAutomatonListener<N extends Location,D extends State,W extends Weight> - Interface in wpds.impl

NestedWeightedPAutomatons<N extends Location,D extends State,W extends Weight> - Interface in wpds.impl

NO_WEIGHT_ONE - Static variable in class wpds.impl.Weight

NO_WEIGHT_ZERO - Static variable in class wpds.impl.Weight

NormalRule<N extends Location,D extends State,W extends Weight> - Class in wpds.impl

NormalRule(D, N, D, N, W) - Constructor for class wpds.impl.NormalRule

normalRules - Variable in class wpds.impl.WeightedPushdownSystem

NoWeight() - Constructor for class wpds.impl.Weight.NoWeight

O

onInTransitionAdded(Transition<N, D>, W, WeightedPAutomaton<N, D, W>) - Method in class wpds.impl.PrefixImport.HasOutTransWithSameLabel

onInTransitionAdded(Transition<N, D>, W, WeightedPAutomaton<N, D, W>) - Method in class wpds.impl.StackListener

onInTransitionAdded(Transition<N, D>, W, WeightedPAutomaton<N, D, W>) - Method in class wpds.interfaces.WPAStateListener

onManyStateListenerRegister() - Method in class wpds.impl.WeightedPAutomaton

onOutTransitionAdded(Transition<N, D>, W, WeightedPAutomaton<N, D, W>) - Method in class wpds.impl.PrefixImport.HasOutTransWithSameLabel

onOutTransitionAdded(Transition<N, D>, W, WeightedPAutomaton<N, D, W>) - Method in class wpds.impl.StackListener

onOutTransitionAdded(Transition<N, D>, W, WeightedPAutomaton<N, D, W>) - Method in class wpds.interfaces.WPAStateListener

onRuleAdded(Rule<N, D, W>) - Method in interface wpds.interfaces.WPDSUpdateListener

onWeightAdded(Transition<N, D>, W, WeightedPAutomaton<N, D, W>) - Method in class wpds.interfaces.ForwardDFSVisitor

onWeightAdded(Transition<N, D>, W, WeightedPAutomaton<N, D, W>) - Method in interface wpds.interfaces.WPAUpdateListener

P

PAutomaton<N extends Location,D extends State> - Class in wpds.impl

PAutomaton(D) - Constructor for class wpds.impl.PAutomaton

PopRule<N extends Location,D extends State,W extends Weight> - Class in wpds.impl

PopRule(D, N, D, W) - Constructor for class wpds.impl.PopRule

popRules - Variable in class wpds.impl.WeightedPushdownSystem

PostStar<N extends Location,D extends State,W extends Weight> - Class in wpds.impl

PostStar() - Constructor for class wpds.impl.PostStar

poststar(IPushdownSystem<N, D, W>, WeightedPAutomaton<N, D, W>) - Method in class wpds.impl.PostStar

poststar(WeightedPAutomaton<N, D, W>, NestedWeightedPAutomatons<N, D, W>) - Method in class wpds.impl.WeightedPushdownSystem

poststar(WeightedPAutomaton<N, D, W>) - Method in class wpds.impl.WeightedPushdownSystem

poststar(WeightedPAutomaton<N, D, W>) - Method in interface wpds.interfaces.IPushdownSystem

poststar(WeightedPAutomaton<N, D, W>, NestedWeightedPAutomatons<N, D, W>) - Method in interface wpds.interfaces.IPushdownSystem

PrefixImport<N extends Location,D extends State,W extends Weight> - Class in wpds.impl

PrefixImport(WeightedPAutomaton<N, D, W>, WeightedPAutomaton<N, D, W>, Transition<N, D>) - Constructor for class wpds.impl.PrefixImport

PrefixImport.HasOutTransWithSameLabel - Class in wpds.impl

PreStar<N extends Location,D extends State,W extends Weight> - Class in wpds.impl

PreStar() - Constructor for class wpds.impl.PreStar

prestar(IPushdownSystem<N, D, W>, WeightedPAutomaton<N, D, W>) - Method in class wpds.impl.PreStar

prestar(WeightedPAutomaton<N, D, W>) - Method in class wpds.impl.WeightedPushdownSystem

prestar(WeightedPAutomaton<N, D, W>) - Method in interface wpds.interfaces.IPushdownSystem

PushdownSystem<N extends Location,D extends State> - Class in wpds.impl

PushdownSystem() - Constructor for class wpds.impl.PushdownSystem

PushRule<N extends Location,D extends State,W extends Weight> - Class in wpds.impl

PushRule(D, N, D, N, N, W) - Constructor for class wpds.impl.PushRule

pushRules - Variable in class wpds.impl.WeightedPushdownSystem

putSummaryAutomaton(D, WeightedPAutomaton<N, D, W>) - Method in interface wpds.impl.NestedWeightedPAutomatons

putSummaryAutomaton(D, WeightedPAutomaton<N, D, W>) - Method in class wpds.impl.PostStar

putSummaryAutomaton(D, WeightedPAutomaton<N, D, W>) - Method in class wpds.impl.SummaryNestedWeightedPAutomatons

R

ReachabilityListener<N extends Location,D extends State> - Interface in wpds.interfaces

reachable(Transition<N, D>) - Method in interface wpds.interfaces.ReachabilityListener

reconnectPush(N, N, D, W) - Method in class wpds.impl.WeightedPAutomaton

registerConnectPushListener(ConnectPushListener<N, D, W>) - Method in class wpds.impl.WeightedPAutomaton

registerDFSEpsilonListener(D, ReachabilityListener<N, D>) - Method in class wpds.impl.WeightedPAutomaton

registerDFSListener(D, ReachabilityListener<N, D>) - Method in class wpds.impl.WeightedPAutomaton

registerListener(WPAUpdateListener<N, D, W>) - Method in class wpds.impl.WeightedPAutomaton

registerListener(WPAStateListener<N, D, W>) - Method in class wpds.impl.WeightedPAutomaton

registerListener(D, ReachabilityListener<N, D>) - Method in class wpds.interfaces.ForwardDFSVisitor

registerNestedAutomatonListener(NestedAutomatonListener<N, D, W>) - Method in class wpds.impl.WeightedPAutomaton

registerUnbalancedPopListener(UnbalancedPopListener<N, D, W>) - Method in class wpds.impl.WeightedPAutomaton

registerUpdateListener(WPDSUpdateListener<N, D, W>) - Method in class wpds.impl.WeightedPushdownSystem

registerUpdateListener(WPDSUpdateListener<N, D, W>) - Method in interface wpds.interfaces.IPushdownSystem

Rule<N extends Location,D extends State,W extends Weight> - Class in wpds.impl

Rule(D, N, D, N, W) - Constructor for class wpds.impl.Rule

S

s1 - Variable in class wpds.impl.Rule

s2 - Variable in class wpds.impl.Rule

setInitialAutomaton(WeightedPAutomaton<N, D, W>) - Method in class wpds.impl.WeightedPAutomaton

setS1(D) - Method in class wpds.impl.Rule

stackElement(N) - Method in class wpds.impl.StackListener

StackListener<N extends Location,D extends State,W extends Weight> - Class in wpds.impl

StackListener(WeightedPAutomaton<N, D, W>, D, N) - Constructor for class wpds.impl.StackListener

State - Interface in wpds.interfaces

state - Variable in class wpds.interfaces.WPAStateListener

states - Variable in class wpds.impl.WeightedPAutomaton

SummaryNestedWeightedPAutomatons<N extends Location,D extends State,W extends Weight> - Class in wpds.impl

SummaryNestedWeightedPAutomatons() - Constructor for class wpds.impl.SummaryNestedWeightedPAutomatons

T

toDotString() - Method in class wpds.impl.WeightedPAutomaton

toLabelGroupedDotString() - Method in class wpds.impl.WeightedPAutomaton

toRegEx(D, D) - Method in class wpds.impl.WeightedPAutomaton

toString() - Method in class wpds.impl.NormalRule

toString() - Method in class wpds.impl.PopRule

toString() - Method in class wpds.impl.PushRule

toString() - Method in class wpds.impl.Transition

toString() - Method in class wpds.impl.UNormalRule

toString() - Method in class wpds.impl.UPopRule

toString() - Method in class wpds.impl.UPushRule

toString() - Method in class wpds.impl.Weight.NoWeight

toString() - Method in class wpds.impl.WeightedPAutomaton

toString() - Method in class wpds.impl.WeightedPushdownSystem

Transition<N extends Location,D extends State> - Class in wpds.impl

Transition(D, N, D) - Constructor for class wpds.impl.Transition

transitions - Variable in class wpds.impl.WeightedPAutomaton

U

unbalancedPop(D, Transition<N, D>, W) - Method in interface wpds.impl.UnbalancedPopListener

unbalancedPop(D, Transition<N, D>, W) - Method in class wpds.impl.WeightedPAutomaton

UnbalancedPopListener<N extends Location,D extends State,W extends Weight> - Interface in wpds.impl

unbalancedStates - Variable in class wpds.impl.WeightedPAutomaton

UNormalRule<N extends Location,D extends State> - Class in wpds.impl

UNormalRule(D, N, D, N) - Constructor for class wpds.impl.UNormalRule

UPopRule<N extends Location,D extends State> - Class in wpds.impl

UPopRule(D, N, D) - Constructor for class wpds.impl.UPopRule

UPushRule<N extends Location,D extends State> - Class in wpds.impl

UPushRule(D, N, D, N, N) - Constructor for class wpds.impl.UPushRule

W

w - Variable in class wpds.impl.Rule

Weight - Class in wpds.impl

Weight() - Constructor for class wpds.impl.Weight

Weight.NoWeight - Class in wpds.impl

WeightedPAutomaton<N extends Location,D extends State,W extends Weight> - Class in wpds.impl

WeightedPAutomaton(D) - Constructor for class wpds.impl.WeightedPAutomaton

WeightedPushdownSystem<N extends Location,D extends State,W extends Weight> - Class in wpds.impl

WeightedPushdownSystem() - Constructor for class wpds.impl.WeightedPushdownSystem

Wildcard - Interface in wpds.wildcard

WildcardPushdownSystem<N extends Location,D extends State> - Class in wpds.wildcard

WildcardPushdownSystem() - Constructor for class wpds.wildcard.WildcardPushdownSystem

WPAStateListener<N extends Location,D extends State,W extends Weight> - Class in wpds.interfaces

WPAStateListener(D) - Constructor for class wpds.interfaces.WPAStateListener

WPAUpdateListener<N extends Location,D extends State,W extends Weight> - Interface in wpds.interfaces

wpds.debug - package wpds.debug

wpds.impl - package wpds.impl

wpds.interfaces - package wpds.interfaces

wpds.wildcard - package wpds.wildcard

WPDSUpdateListener<N extends Location,D extends State,W extends Weight> - Interface in wpds.interfaces

A C D E F G H I L N O P R S T U W