Package de.breakpointsec.pushdown.fsm

Class WeightedAutomaton<L,S,W extends Semiring>

java.lang.Object

de.breakpointsec.pushdown.fsm.WeightedAutomaton<L,S,W>

Type Parameters:

L -

S -

W -

public abstract class WeightedAutomaton<L,S,W extends Semiring>
extends Object

A P-automaton that represents accepts a given configuration c = (L, S, W). The automaton is initially created by WPDS.waccept() and can be saturated using post* or pre*. Generic L refers to control locations of WPDS. Generic S refers to stack symbols of WPDS. Generic W refers to weights.

Field Summary

Fields

Modifier and Type	Field	Description
protected Set<S>	states

Constructor Summary

Constructors

Constructor	Description
WeightedAutomaton(S initialState)

Method Summary

Modifier and Type	Method	Description
void	addFinalState(S state)
boolean	addTransition(Transition<L,S> trans)
void	addTransition(Transition<L,S> trans, W weight)
void	addUnbalancedState(S state)
boolean	combineWeightForTransition(Transition<L,S> trans, W weight)
boolean	containsLoop()
abstract S	createState(S d, L loc)	Implement this with specific instances of S and L.
abstract L	epsilon()	Implement this for a specific L.
Set<Transition<L,S>>	getEdges()
Set<S>	getFinalState()
S	getInitialState()
Set<L>	getLongestPath()
Set<S>	getNodes()
abstract W	getOne()
Set<S>	getStates()
Collection<Transition<L,S>>	getTransitions()
Collection<Transition<L,S>>	getTransitionsInto(S s)
Collection<Transition<L,S>>	getTransitionsOutOf(S s)
Map<Transition<L,S>,W>	getTransitionsToFinalWeights()
Collection<S>	getTransitionTargetsIgnoringEpsilon(S start, L label)	Gets targets q of the relation p~γ~>q.
W	getWeightFor(Transition<L,S> trans)
abstract W	getZero()
abstract boolean	isGeneratedState(S d)	Implement this for a specific S.
void	setWeightForTransition(Transition<L,S> trans, W weight)
String	toDotString()
String	toLabelGroupedDotString()
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

states

protected Set<S> states

Constructor Detail

WeightedAutomaton

public WeightedAutomaton(S initialState)

Method Detail

createState

public abstract S createState(S d,
                              L loc)

Implement this with specific instances of S and L.

Parameters:

d -

loc -

Returns:

isGeneratedState

public abstract boolean isGeneratedState(S d)

Implement this for a specific S.

Parameters:

d -

Returns:

epsilon

public abstract L epsilon()

Implement this for a specific L.

Returns:

getTransitions

public Collection<Transition<L,S>> getTransitions()

addTransition

public void addTransition(Transition<L,S> trans,
                          W weight)

addTransition

public boolean addTransition(Transition<L,S> trans)

getInitialState

public S getInitialState()

getFinalState

public Set<S> getFinalState()

toString

public String toString()

Overrides:

toString in class Object

toDotString

public String toDotString()

toLabelGroupedDotString

public String toLabelGroupedDotString()

getStates

public Set<S> getStates()

getEdges

public Set<Transition<L,S>> getEdges()

getNodes

public Set<S> getNodes()

setWeightForTransition

public void setWeightForTransition(Transition<L,S> trans,
                                   W weight)
                            throws IllegalTransitionException

Throws:

IllegalTransitionException

combineWeightForTransition

public boolean combineWeightForTransition(Transition<L,S> trans,
                                          W weight)

getWeightFor

public W getWeightFor(Transition<L,S> trans)

addFinalState

public void addFinalState(S state)

getZero

public abstract W getZero()

getOne

public abstract W getOne()

getTransitionsOutOf

public Collection<Transition<L,S>> getTransitionsOutOf(S s)

getTransitionsInto

public Collection<Transition<L,S>> getTransitionsInto(S s)

getTransitionTargetsIgnoringEpsilon

public Collection<S> getTransitionTargetsIgnoringEpsilon(S start,
                                                         L label)

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

Parameters:

start -

label -

Returns:

addUnbalancedState

public void addUnbalancedState(S state)

getTransitionsToFinalWeights

public Map<Transition<L,S>,W> getTransitionsToFinalWeights()

containsLoop

public boolean containsLoop()

getLongestPath

public Set<L> getLongestPath()