Examples with PrettySimplifier com.sri.ai.grinder.library.pretty.PrettySimplifier used on opensource projects

Example 1 with PrettySimplifier

use of com.sri.ai.grinder.library.pretty.PrettySimplifier in project aic-expresso by aic-sri-international.

the class SymbolicShell method evaluate.

private static void evaluate(Expression input, ConsoleIterator consoleIterator, Theory theory, Context context) {
    Rewriter prettyRewriter = new Exhaustive(new Recursive(new FirstOf(theory.getTopRewriter(), new PrettySimplifier())));
    Expression result = theory.evaluate(input, context);
    result = prettyRewriter.apply(result, context);
    consoleIterator.getOutputWriter().println(result + "\n");
}