A C D E G H I L N O P R S T U V W Z
All Classes All Packages

A

addFinalState(S) - Method in class de.breakpointsec.pushdown.fsm.WeightedAutomaton

addRule(Rule<L, S, W>) - Method in class de.breakpointsec.pushdown.WPDS

addTransition(Transition<L, S>) - Method in class de.breakpointsec.pushdown.fsm.WeightedAutomaton

addTransition(Transition<L, S>, W) - Method in class de.breakpointsec.pushdown.fsm.WeightedAutomaton

addUnbalancedState(S) - Method in class de.breakpointsec.pushdown.fsm.WeightedAutomaton

C

callSite - Variable in class de.breakpointsec.pushdown.rules.PushRule

combineWeightForTransition(Transition<L, S>, W) - Method in class de.breakpointsec.pushdown.fsm.WeightedAutomaton

combineWith(Semiring) - Method in class de.breakpointsec.pushdown.weights.DataFlowPathSemiring

combineWith(Semiring) - Method in class de.breakpointsec.pushdown.weights.NoSemiring

combineWith(Semiring) - Method in class de.breakpointsec.pushdown.weights.NumSemiring

combineWith(Semiring) - Method in class de.breakpointsec.pushdown.weights.Semiring

Configuration<Location,State> - Class in de.breakpointsec.pushdown

Configuration(Location, State) - Constructor for class de.breakpointsec.pushdown.Configuration

containsLoop() - Method in class de.breakpointsec.pushdown.fsm.WeightedAutomaton

createState(S, L) - Method in class de.breakpointsec.pushdown.fsm.WeightedAutomaton

Implement this with specific instances of S and L.

D

DataFlowPathSemiring<Statement> - Class in de.breakpointsec.pushdown.weights

DataFlowPathSemiring(Statement) - Constructor for class de.breakpointsec.pushdown.weights.DataFlowPathSemiring

de.breakpointsec.pushdown - package de.breakpointsec.pushdown

de.breakpointsec.pushdown.fsm - package de.breakpointsec.pushdown.fsm

de.breakpointsec.pushdown.rules - package de.breakpointsec.pushdown.rules

de.breakpointsec.pushdown.weights - package de.breakpointsec.pushdown.weights

E

epsilon() - Method in class de.breakpointsec.pushdown.fsm.WeightedAutomaton

Implement this for a specific L.

epsilon() - Method in class de.breakpointsec.pushdown.WPDS

equals(Object) - Method in class de.breakpointsec.pushdown.Configuration

equals(Object) - Method in class de.breakpointsec.pushdown.fsm.Transition

equals(Object) - Method in class de.breakpointsec.pushdown.rules.PushRule

equals(Object) - Method in class de.breakpointsec.pushdown.rules.Rule

equals(Object) - Method in class de.breakpointsec.pushdown.weights.DataFlowPathSemiring

equals(Object) - Method in class de.breakpointsec.pushdown.weights.NoSemiring

equals(Object) - Method in class de.breakpointsec.pushdown.weights.NumSemiring

extendWith(Semiring) - Method in class de.breakpointsec.pushdown.weights.DataFlowPathSemiring

extendWith(Semiring) - Method in class de.breakpointsec.pushdown.weights.NoSemiring

extendWith(Semiring) - Method in class de.breakpointsec.pushdown.weights.NumSemiring

extendWith(Semiring) - Method in class de.breakpointsec.pushdown.weights.Semiring

G

getAllRules() - Method in class de.breakpointsec.pushdown.WPDS

getCallSite() - Method in class de.breakpointsec.pushdown.rules.PushRule

getEdges() - Method in class de.breakpointsec.pushdown.fsm.WeightedAutomaton

getFinalState() - Method in class de.breakpointsec.pushdown.fsm.WeightedAutomaton

getInitialState() - Method in class de.breakpointsec.pushdown.fsm.WeightedAutomaton

getL1() - Method in class de.breakpointsec.pushdown.rules.Rule

getL2() - Method in class de.breakpointsec.pushdown.rules.Rule

getLabel() - Method in class de.breakpointsec.pushdown.fsm.Transition

getLongestPath() - Method in class de.breakpointsec.pushdown.fsm.WeightedAutomaton

getNodes() - Method in class de.breakpointsec.pushdown.fsm.WeightedAutomaton

getNormalRules() - Method in class de.breakpointsec.pushdown.WPDS

getNormalRulesEnding(S, L) - Method in class de.breakpointsec.pushdown.WPDS

getOne() - Method in class de.breakpointsec.pushdown.fsm.WeightedAutomaton

getPopRules() - Method in class de.breakpointsec.pushdown.WPDS

getPushRules() - Method in class de.breakpointsec.pushdown.WPDS

getPushRulesEnding(S, L) - Method in class de.breakpointsec.pushdown.WPDS

getRulesStarting(S, L) - Method in class de.breakpointsec.pushdown.WPDS

Deprecated.

getS1() - Method in class de.breakpointsec.pushdown.rules.Rule

getS2() - Method in class de.breakpointsec.pushdown.rules.Rule

getStart() - Method in class de.breakpointsec.pushdown.fsm.Transition

getStartConfig() - Method in class de.breakpointsec.pushdown.fsm.Transition

getStartConfig() - Method in class de.breakpointsec.pushdown.rules.Rule

getStates() - Method in class de.breakpointsec.pushdown.fsm.WeightedAutomaton

getStates() - Method in class de.breakpointsec.pushdown.WPDS

Deprecated.

getString() - Method in class de.breakpointsec.pushdown.fsm.Transition

getTarget() - Method in class de.breakpointsec.pushdown.fsm.Transition

getTargetConfig() - Method in class de.breakpointsec.pushdown.rules.Rule

getTransitions() - Method in class de.breakpointsec.pushdown.fsm.WeightedAutomaton

getTransitionsInto(S) - Method in class de.breakpointsec.pushdown.fsm.WeightedAutomaton

getTransitionsOutOf(S) - Method in class de.breakpointsec.pushdown.fsm.WeightedAutomaton

getTransitionsToFinalWeights() - Method in class de.breakpointsec.pushdown.fsm.WeightedAutomaton

getTransitionTargetsIgnoringEpsilon(S, L) - Method in class de.breakpointsec.pushdown.fsm.WeightedAutomaton

Gets targets q of the relation p~γ~>q.

getWeight() - Method in class de.breakpointsec.pushdown.rules.Rule

getWeightFor(Transition<L, S>) - Method in class de.breakpointsec.pushdown.fsm.WeightedAutomaton

getZero() - Method in class de.breakpointsec.pushdown.fsm.WeightedAutomaton

H

hashCode() - Method in class de.breakpointsec.pushdown.Configuration

hashCode() - Method in class de.breakpointsec.pushdown.fsm.Transition

hashCode() - Method in class de.breakpointsec.pushdown.rules.PushRule

hashCode() - Method in class de.breakpointsec.pushdown.rules.Rule

hashCode() - Method in class de.breakpointsec.pushdown.weights.DataFlowPathSemiring

hashCode() - Method in class de.breakpointsec.pushdown.weights.NumSemiring

I

IllegalTransitionException - Exception in de.breakpointsec.pushdown

IllegalTransitionException(String) - Constructor for exception de.breakpointsec.pushdown.IllegalTransitionException

isGeneratedState(S) - Method in class de.breakpointsec.pushdown.fsm.WeightedAutomaton

Implement this for a specific S.

L

l1 - Variable in class de.breakpointsec.pushdown.rules.Rule

l2 - Variable in class de.breakpointsec.pushdown.rules.Rule

N

NO_WEIGHT_ONE - Static variable in class de.breakpointsec.pushdown.weights.NoSemiring

NO_WEIGHT_ZERO - Static variable in class de.breakpointsec.pushdown.weights.NoSemiring

NormalRule<Location,State,W> - Class in de.breakpointsec.pushdown.rules

NormalRule(State, Location, State, Location, W) - Constructor for class de.breakpointsec.pushdown.rules.NormalRule

normalRules - Variable in class de.breakpointsec.pushdown.WPDS

NoSemiring - Class in de.breakpointsec.pushdown.weights

NoSemiring() - Constructor for class de.breakpointsec.pushdown.weights.NoSemiring

NumSemiring - Class in de.breakpointsec.pushdown.weights

NumSemiring(int) - Constructor for class de.breakpointsec.pushdown.weights.NumSemiring

O

one() - Static method in class de.breakpointsec.pushdown.weights.DataFlowPathSemiring

one() - Static method in class de.breakpointsec.pushdown.weights.NumSemiring

P

PopRule<Location,State,Weight> - Class in de.breakpointsec.pushdown.rules

PopRule(State, Location, State, Weight) - Constructor for class de.breakpointsec.pushdown.rules.PopRule

popRules - Variable in class de.breakpointsec.pushdown.WPDS

poststar(WeightedAutomaton<L, S, W>) - Method in class de.breakpointsec.pushdown.WPDS

Implementation of post*, according to Reps, T., Schwoon, S., Jha, S., & Melski, D.

prestar(WeightedAutomaton<L, S, W>) - Method in class de.breakpointsec.pushdown.WPDS

pre*-saturation algorithm returns a finite automaton representing the backwards reachable set of the configuration represented by the initial automaton.

PushRule<Location,State,Weight> - Class in de.breakpointsec.pushdown.rules

PushRule(State, Location, State, Location, Location, Weight) - Constructor for class de.breakpointsec.pushdown.rules.PushRule

pushRules - Variable in class de.breakpointsec.pushdown.WPDS

R

Rule<Location,State,Weight> - Class in de.breakpointsec.pushdown.rules

Rule(State, Location, State, Location, Weight) - Constructor for class de.breakpointsec.pushdown.rules.Rule

S

s1 - Variable in class de.breakpointsec.pushdown.rules.Rule

s2 - Variable in class de.breakpointsec.pushdown.rules.Rule

Semiring<T> - Class in de.breakpointsec.pushdown.weights

A bounded idempotent semi-ring.

Semiring() - Constructor for class de.breakpointsec.pushdown.weights.Semiring

setS1(State) - Method in class de.breakpointsec.pushdown.rules.Rule

setWeightForTransition(Transition<L, S>, W) - Method in class de.breakpointsec.pushdown.fsm.WeightedAutomaton

states - Variable in class de.breakpointsec.pushdown.fsm.WeightedAutomaton

states - Variable in class de.breakpointsec.pushdown.WPDS

T

toDotString() - Method in class de.breakpointsec.pushdown.fsm.WeightedAutomaton

toLabelGroupedDotString() - Method in class de.breakpointsec.pushdown.fsm.WeightedAutomaton

toString() - Method in class de.breakpointsec.pushdown.fsm.Transition

toString() - Method in class de.breakpointsec.pushdown.fsm.WeightedAutomaton

toString() - Method in class de.breakpointsec.pushdown.rules.NormalRule

toString() - Method in class de.breakpointsec.pushdown.rules.PopRule

toString() - Method in class de.breakpointsec.pushdown.rules.PushRule

toString() - Method in class de.breakpointsec.pushdown.weights.DataFlowPathSemiring

toString() - Method in class de.breakpointsec.pushdown.weights.NumSemiring

toString() - Method in class de.breakpointsec.pushdown.WPDS

Transition<Loc,State> - Class in de.breakpointsec.pushdown.fsm

Transition(State, Loc, State) - Constructor for class de.breakpointsec.pushdown.fsm.Transition

U

updatePostStar(Transition<L, S>, W, Rule, WeightedAutomaton<L, S, W>, LinkedList<Transition<L, S>>) - Method in class de.breakpointsec.pushdown.WPDS

updatePrestar(LinkedList<Transition<L, S>>, Transition<L, S>, W, WeightedAutomaton<L, S, W>) - Method in class de.breakpointsec.pushdown.WPDS

Add transition trans to fa, assign a weight to it that is computed of the rule's weight with that of the previous transitions.

V

value() - Method in class de.breakpointsec.pushdown.weights.DataFlowPathSemiring

value() - Method in class de.breakpointsec.pushdown.weights.NoSemiring

value() - Method in class de.breakpointsec.pushdown.weights.NumSemiring

value() - Method in class de.breakpointsec.pushdown.weights.Semiring

W

w - Variable in class de.breakpointsec.pushdown.rules.Rule

WeightedAutomaton<L,S,W extends Semiring> - Class in de.breakpointsec.pushdown.fsm

A P-automaton that represents accepts a given configuration c = (L, S, W).

WeightedAutomaton(S) - Constructor for class de.breakpointsec.pushdown.fsm.WeightedAutomaton

WPDS<L,S,W extends Semiring> - Class in de.breakpointsec.pushdown

Implementation of a Weighted Pushdown System.

WPDS() - Constructor for class de.breakpointsec.pushdown.WPDS

Z

zero() - Static method in class de.breakpointsec.pushdown.weights.DataFlowPathSemiring

zero() - Static method in class de.breakpointsec.pushdown.weights.NumSemiring

A C D E G H I L N O P R S T U V W Z
All Classes All Packages