RDLProofSystem / src / main / java / models / terms / meta / MetaTermGenerator.java

package models.terms.meta;

import java.util.Map;

import models.algebra.Variable;

@FunctionalInterface
public interface MetaTermGenerator {

	MetaRDLTerm generate(int curIndex, int curDepth, int maxIndex, int maxDepth, Map<Variable, Object> context);
	
}