// Path: src/main/java/org/avmframework/TerminationException.java
// public class TerminationException extends Exception {}


import org.avmframework.TerminationException;
package org.avmframework.localsearch;


public abstract class PatternThenEliminationSearch extends PatternSearch {

  public PatternThenEliminationSearch() {}

  public PatternThenEliminationSearch(int accelerationFactor) {
    super(accelerationFactor);
  }

// Path: src/main/java/org/avmframework/TerminationException.java
// public class TerminationException extends Exception {}


// Path: src/main/java/org/avmframework/localsearch/PatternThenEliminationSearch.java
import org.avmframework.TerminationException;

package org.avmframework.localsearch;


public abstract class PatternThenEliminationSearch extends PatternSearch {

  public PatternThenEliminationSearch() {}

  public PatternThenEliminationSearch(int accelerationFactor) {
    super(accelerationFactor);
  }

  protected void performSearch() throws TerminationException {