wpds.interfaces

Class WPAStateListener<N extends Location,D extends State,W extends Weight>

java.lang.Object

wpds.interfaces.WPAStateListener<N,D,W>

Direct Known Subclasses:

PrefixImport.HasOutTransWithSameLabel, StackListener

public abstract class WPAStateListener<N extends Location,D extends State,W extends Weight>
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected D	state

Constructor Summary

Constructors

Constructor and Description
WPAStateListener(D state)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
D	getState()
int	hashCode()
abstract void	onInTransitionAdded(Transition<N,D> t, W w, WeightedPAutomaton<N,D,W> weightedPAutomaton)
abstract void	onOutTransitionAdded(Transition<N,D> t, W w, WeightedPAutomaton<N,D,W> weightedPAutomaton)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Field Detail

state

protected final D extends State state

Constructor Detail

WPAStateListener

public WPAStateListener(D state)

Method Detail

onOutTransitionAdded

public abstract void onOutTransitionAdded(Transition<N,D> t,
                                          W w,
                                          WeightedPAutomaton<N,D,W> weightedPAutomaton)

onInTransitionAdded

public abstract void onInTransitionAdded(Transition<N,D> t,
                                         W w,
                                         WeightedPAutomaton<N,D,W> weightedPAutomaton)

getState

public D getState()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object