Search in sources :

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();
}
Also used : DifferenceArithmeticTheory(com.sri.ai.grinder.theory.differencearithmetic.DifferenceArithmeticTheory) IntegerInterval(com.sri.ai.expresso.type.IntegerInterval) CompoundTheory(com.sri.ai.grinder.theory.compound.CompoundTheory) TrueContext(com.sri.ai.grinder.core.TrueContext) TupleTheory(com.sri.ai.grinder.theory.tuple.TupleTheory) SetDNFRewriter(com.sri.ai.grinder.library.set.invsupport.SetDNFRewriter) Before(org.junit.Before)

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();
}
Also used : SetExpressionIsEqualToEmptySet(com.sri.ai.grinder.library.set.invsupport.SetExpressionIsEqualToEmptySet) DifferenceArithmeticTheory(com.sri.ai.grinder.theory.differencearithmetic.DifferenceArithmeticTheory) IntegerInterval(com.sri.ai.expresso.type.IntegerInterval) CompoundTheory(com.sri.ai.grinder.theory.compound.CompoundTheory) TrueContext(com.sri.ai.grinder.core.TrueContext) TupleTheory(com.sri.ai.grinder.theory.tuple.TupleTheory) Before(org.junit.Before)

Aggregations

CompoundTheory (com.sri.ai.grinder.theory.compound.CompoundTheory)37 DifferenceArithmeticTheory (com.sri.ai.grinder.theory.differencearithmetic.DifferenceArithmeticTheory)36 PropositionalTheory (com.sri.ai.grinder.theory.propositional.PropositionalTheory)27 TrueContext (com.sri.ai.grinder.core.TrueContext)25 EqualityTheory (com.sri.ai.grinder.theory.equality.EqualityTheory)23 TupleTheory (com.sri.ai.grinder.theory.tuple.TupleTheory)19 Context (com.sri.ai.grinder.api.Context)18 Expression (com.sri.ai.expresso.api.Expression)16 IntegerInterval (com.sri.ai.expresso.type.IntegerInterval)12 LinearRealArithmeticTheory (com.sri.ai.grinder.theory.linearrealarithmetic.LinearRealArithmeticTheory)12 Before (org.junit.Before)12 Test (org.junit.Test)12 TheoryTestingSupport (com.sri.ai.grinder.tester.TheoryTestingSupport)11 Type (com.sri.ai.expresso.api.Type)8 Theory (com.sri.ai.grinder.api.Theory)6 LinkedHashMap (java.util.LinkedHashMap)5 Rewriter (com.sri.ai.grinder.rewriter.api.Rewriter)4 FunctionType (com.sri.ai.expresso.type.FunctionType)3 Recursive (com.sri.ai.grinder.rewriter.core.Recursive)3 BruteForceFunctionTheory (com.sri.ai.grinder.theory.function.BruteForceFunctionTheory)3