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

Partition.java

00001 package gov.nasa.arc.ase.jpf.partition;
00002 
00003 public interface Partition {
00004   boolean init(String[] argNames, String[] argValues);  
00005   int partition(Object state);  
00006 }

Generated at Thu Feb 7 06:51:38 2002 for Bandera by