Examples with Exhaustive com.sri.ai.grinder.rewriter.core.Exhaustive used on opensource projects

Example 6 with Exhaustive

use of com.sri.ai.grinder.rewriter.core.Exhaustive 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);
}

Example 7 with Exhaustive

use of com.sri.ai.grinder.rewriter.core.Exhaustive in project aic-expresso by aic-sri-international.

the class AssignmentsSamplingIteratorTest method setUp.

@Before
public void setUp() {
    // Make tests repeatable
    random = new Random(1);
    conditionRewriter = new Recursive(new Exhaustive(new BruteForceCommonInterpreter()));
    context = new TrueContext(new CompoundTheory(new DifferenceArithmeticTheory(false, false), new LinearRealArithmeticTheory(false, false), new EqualityTheory(false, false), new PropositionalTheory()));
}