protected final class PrefixImport.HasOutTransWithSameLabel extends WPAStateListener<N,D,W>
state| 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) |
getStatepublic void onOutTransitionAdded(Transition<N,D> flowT, W w, WeightedPAutomaton<N,D,W> weightedPAutomaton)
onOutTransitionAdded in class WPAStateListener<N extends Location,D extends State,W extends Weight>public void onInTransitionAdded(Transition<N,D> t, W w, WeightedPAutomaton<N,D,W> weightedPAutomaton)
onInTransitionAdded in class WPAStateListener<N extends Location,D extends State,W extends Weight>public int hashCode()
Copyright © 2023. All rights reserved.