Uses of Interface
wpds.interfaces.WPDSUpdateListener

Packages that use WPDSUpdateListener

Package	Description
wpds.impl
wpds.interfaces

Uses of WPDSUpdateListener in wpds.impl

Fields in wpds.impl with type parameters of type WPDSUpdateListener

Modifier and Type	Field and Description
protected Set<WPDSUpdateListener<N,D,W>>	WeightedPushdownSystem.listeners

Methods in wpds.impl with parameters of type WPDSUpdateListener

Modifier and Type	Method and Description
void	WeightedPushdownSystem.registerUpdateListener(WPDSUpdateListener<N,D,W> listener)

Uses of WPDSUpdateListener in wpds.interfaces

Methods in wpds.interfaces with parameters of type WPDSUpdateListener

Modifier and Type	Method and Description
void	IPushdownSystem.registerUpdateListener(WPDSUpdateListener<N,D,W> listener)