RDLProofSystem / src / main / java / inference / AssumptionGenerator.java

package inference;

import models.formulas.meta.MetaFormula;

@FunctionalInterface
public interface AssumptionGenerator {

	MetaFormula generate(int i);
	
}