Package sync.pds.solver

Interface EmptyStackWitnessListener<Stmt,Fact>

public interface EmptyStackWitnessListener<Stmt,Fact>

Method Summary

Modifier and Type	Method	Description
void	witnessFound(Node<Stmt,Fact> targetFact)

Method Detail

witnessFound

void witnessFound(Node<Stmt,Fact> targetFact)