Main Page Packages Class Hierarchy Alphabetical List Compound List File List Compound Members

iHeuristic.java

00001 package gov.nasa.arc.ase.jpf.heuristic;
00002 
00003 public interface iHeuristic {
00004   public int heuristicValue();  
00005   public void processParent();  
00006 }

Generated at Thu Feb 7 06:46:32 2002 for Bandera by