Uses of Interface
sync.pds.solver.SyncPDSSolver.OnAddedSummaryListener

Packages that use SyncPDSSolver.OnAddedSummaryListener

Package	Description
sync.pds.solver

Uses of SyncPDSSolver.OnAddedSummaryListener in sync.pds.solver

Methods in sync.pds.solver with parameters of type SyncPDSSolver.OnAddedSummaryListener

Modifier and Type	Method	Description
void	SyncPDSSolver.addApplySummaryListener(SyncPDSSolver.OnAddedSummaryListener l)