wpds.impl

Class PrefixImport.HasOutTransWithSameLabel

java.lang.Object

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

wpds.impl.PrefixImport.HasOutTransWithSameLabel

Enclosing class:

PrefixImport<N extends Location,D extends State,W extends Weight>

protected final class PrefixImport.HasOutTransWithSameLabel
extends WPAStateListener<N,D,W>

Field Summary

Fields inherited from class wpds.interfaces.WPAStateListener

state

Method Summary

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

Methods inherited from class wpds.interfaces.WPAStateListener

getState

Methods inherited from class java.lang.Object

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

Method Detail

onOutTransitionAdded

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

Specified by:

onOutTransitionAdded in class WPAStateListener<N extends Location,D extends State,W extends Weight>

onInTransitionAdded

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

Specified by:

onInTransitionAdded in class WPAStateListener<N extends Location,D extends State,W extends Weight>

hashCode

public int hashCode()

Overrides:

hashCode in class WPAStateListener<N extends Location,D extends State,W extends Weight>

equals

public boolean equals(Object obj)

Overrides:

equals in class WPAStateListener<N extends Location,D extends State,W extends Weight>