wpds.interfaces

Interface WPAUpdateListener<N extends Location,D extends State,W extends Weight>

All Known Implementing Classes:

ForwardDFSEpsilonVisitor, ForwardDFSVisitor

public interface WPAUpdateListener<N extends Location,D extends State,W extends Weight>

Method Summary

Modifier and Type	Method and Description
void	onWeightAdded(Transition<N,D> t, W w, WeightedPAutomaton<N,D,W> aut)

Method Detail

onWeightAdded

void onWeightAdded(Transition<N,D> t,
                   W w,
                   WeightedPAutomaton<N,D,W> aut)