Package sync.pds.solver

Interface SyncPDSUpdateListener<Stmt extends Location,Fact>

public interface SyncPDSUpdateListener<Stmt extends Location,Fact>

Method Summary

Modifier and Type	Method	Description
void	onReachableNodeAdded(Node<Stmt,Fact> reachableNode)

Method Detail

onReachableNodeAdded

void onReachableNodeAdded(Node<Stmt,Fact> reachableNode)