RDLProofSystem / src / main / java / inference / AssumptionSizeCalculator.java

package inference;

import models.terms.RDLTerm;

@FunctionalInterface
public interface AssumptionSizeCalculator {

	public int calculate(RDLTerm rightSideHand);
	
}