Examples with CompoundTheory com.sri.ai.grinder.theory.compound.CompoundTheory used on opensource projects

Example 36 with CompoundTheory

use of com.sri.ai.grinder.theory.compound.CompoundTheory in project aic-expresso by aic-sri-international.

the class SetDNFRewriterTest method setUp.

@Before
public void setUp() {
    context = new TrueContext(new CompoundTheory(new DifferenceArithmeticTheory(false, false), new TupleTheory()));
    IntegerInterval intType = new IntegerInterval(1, 10);
    context = (Context) GrinderUtil.extendRegistryWith(map("M", intType.toString(), "N", intType.toString()), Arrays.asList(intType), context);
    rewriter = new SetDNFRewriter();
}

Example 37 with CompoundTheory

use of com.sri.ai.grinder.theory.compound.CompoundTheory in project aic-expresso by aic-sri-international.

the class SetExpressionIsEqualToEmptySetTest method setUp.

@Before
public void setUp() {
    context = new TrueContext(new CompoundTheory(new DifferenceArithmeticTheory(false, false), new TupleTheory()));
    IntegerInterval intType = new IntegerInterval(1, 10);
    context = (Context) GrinderUtil.extendRegistryWith(map("M", intType.toString(), "N", intType.toString(), "X'", intType.toString(), "X''", intType.toString(), "Y", intType.toString()), Arrays.asList(intType), context);
    rewriter = new SetExpressionIsEqualToEmptySet();
}