public abstract class StatementBasedCallTransitionListener<W extends Weight> extends Object implements WPAUpdateListener<Statement,INode<Val>,W>
| Constructor and Description |
|---|
StatementBasedCallTransitionListener(Statement stmt) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(Object obj) |
Statement |
getStmt() |
int |
hashCode() |
abstract void |
onAddedTransition(Transition<Statement,INode<Val>> t,
W w) |
void |
onWeightAdded(Transition<Statement,INode<Val>> t,
W w,
WeightedPAutomaton<Statement,INode<Val>,W> aut) |
public StatementBasedCallTransitionListener(Statement stmt)
public Statement getStmt()
public void onWeightAdded(Transition<Statement,INode<Val>> t, W w, WeightedPAutomaton<Statement,INode<Val>,W> aut)
onWeightAdded in interface WPAUpdateListener<Statement,INode<Val>,W extends Weight>public abstract void onAddedTransition(Transition<Statement,INode<Val>> t, W w)
Copyright © 2023. All rights reserved.