RDLProofSystem / src / main / java / inference / ConclusionSizeCalculator.java

package inference;

import java.util.List;

import models.formulas.Formula;

@FunctionalInterface
public interface ConclusionSizeCalculator {
	
	public int calculate(List<Formula> assumptions);
	
}