iSearch.java Source File

00001 package gov.nasa.arc.ase.jpf;
00002 
00003 public interface iSearch {
00004    public void Deadlock();   
00005    public ErrorTrailInterface getError();   
00006    public Path getErrorPath();   
00007    public boolean getResult();   
00008    public void Invariant(iProperty p);   
00009 }