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

package models.terms.meta;

import java.util.Map;

import models.algebra.Variable;

public interface MetaDynamicTerm {

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