Examples with CompleteRewriter com.sri.ai.grinder.rewriter.help.CompleteRewriter used on opensource projects

Example 1 with CompleteRewriter

use of com.sri.ai.grinder.rewriter.help.CompleteRewriter in project aic-expresso by aic-sri-international.

the class AbstractTheory method setAllRewriters.

private void setAllRewriters(TopRewriter topRewriter) {
    this.topRewriter = topRewriter;
    this.rewriter = new Recursive(new Exhaustive(topRewriter));
    this.completeRewriter = new CompleteRewriter(topRewriter);
}