use of com.sri.ai.grinder.core.TrueContext in project aic-expresso by aic-sri-international.
the class InversionPerformanceEvaluationTest method setUp.
@Before
public void setUp() {
context = new TrueContext(new CompoundTheory(new DifferenceArithmeticTheory(false, false), new EqualityTheory(false, false), new PropositionalTheory(), new TupleTheory()));
updateContextWithIndexAndType("R", GrinderUtil.INTEGER_TYPE);
context.conjoin(parse("R = 1"), context);
}
use of com.sri.ai.grinder.core.TrueContext in project aic-expresso by aic-sri-international.
the class InversionSimplifierTest method setUp.
@Before
public void setUp() {
context = new TrueContext(new CompoundTheory(new DifferenceArithmeticTheory(false, false), new TupleTheory()));
FunctionType gFunctionType = new FunctionType(new IntegerInterval("1..10"), new IntegerInterval("1..10"));
context = (Context) GrinderUtil.extendRegistryWith(map("g", gFunctionType.toString()), Arrays.asList(gFunctionType), context);
simplifier = new InversionSimplifier();
}
use of com.sri.ai.grinder.core.TrueContext 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();
}
use of com.sri.ai.grinder.core.TrueContext 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();
}
Aggregations