package inference;

import models.terms.RDLTerm;

@FunctionalInterface
public interface AssumptionSizeCalculator {

	public int calculate(RDLTerm rightSideHand);
	
}