package inference;

import models.formulas.meta.MetaFormula;

@FunctionalInterface
public interface AssumptionGenerator {

	MetaFormula generate(int i);
	
}