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

package inference;

import java.util.Map;

import models.formulas.meta.MetaFormula;

@FunctionalInterface
public interface AssumptionGenerator {

	MetaFormula generate(int i, Map<String, Object> context);
	
}