![JAR search and dependency download from the Maven repository](/logo.png)
com.sri.ai.grinder.sgdpllt.interpreter.TopRewriterUsingContextAssignmentsReceivingBaseTopRewriterAtConstruction Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of aic-expresso Show documentation
Show all versions of aic-expresso Show documentation
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