Newer
Older
RDLProofSystem / src / main / java / models / terms / meta / MetaDynamicTerm.java
@Sakoda2269 Sakoda2269 6 days ago 513 bytes isMatchedByにPositionを追加
package models.terms.meta;

import java.util.Map;

public interface MetaDynamicTerm {

	public MetaRDLTerm generate(int depth, Map<String, Object> context);
	public MetaRDLTerm generate(int depth, int maxIndex, int maxDepth, Map<String, Object> context);
	
	public MetaRDLTerm allGenerate(int depht, int maxIndex, int maxDepth, Map<String, Object> context);
	
	default MetaRDLTerm allGenerate(int maxIndex, int maxDepth, Map<String, Object> context) {
		return allGenerate(1, maxIndex, maxDepth, context);
	}
	
}