Newer
Older
RDLProofSystem / src / main / java / models / terms / meta / MetaDynamicTerm.java
@Sakoda2269 Sakoda2269 6 hours ago 443 bytes dynamicTermのisMatchedByまで
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);
	
	default MetaRDLTerm generate(int maxIndex, int maxDepth, Map<Variable, Object> context) {
		return generate(1, maxIndex, maxDepth, context);
	}
	
}