Resetable.java

package gov.nasa.jpf;

/**
 * Interface to reset elements registered at {@link JPF}.
 * 
 * @author Jens Meinicke
 *
 */
public interface Resetable {

	void reset();
}