All Downloads are FREE. Search and download functionalities are using the official Maven repository.

com.sri.ai.grinder.sgdpllt.interpreter.TopRewriterUsingContextAssignmentsReceivingBaseTopRewriterAtConstruction Maven / Gradle / Ivy

Go to download

SRI International's AIC Symbolic Manipulation and Evaluation Library (for Java 1.8+)

The newest version!
package com.sri.ai.grinder.sgdpllt.interpreter;

import com.sri.ai.grinder.sgdpllt.rewriter.api.TopRewriter;

/**
 * A convenience variant of {@link TopRewriterUsingContextAssignments} that takes its base top rewriter at construction time.
 * 
 * @author braz
 *
 */
public class TopRewriterUsingContextAssignmentsReceivingBaseTopRewriterAtConstruction extends TopRewriterUsingContextAssignments {

	public TopRewriterUsingContextAssignmentsReceivingBaseTopRewriterAtConstruction(TopRewriter baseTopRewriter) {
		super();
		setBaseRewriter(baseTopRewriter);
	}
}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy