Package sync.pds.solver
Interface EmptyStackWitnessListener<Stmt,Fact>
-
public interface EmptyStackWitnessListener<Stmt,Fact>
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description voidwitnessFound(Node<Stmt,Fact> targetFact)
-