Examples with InversionSimplifier com.sri.ai.grinder.library.set.invsupport.InversionSimplifier used on opensource projects

Example 1 with InversionSimplifier

use of com.sri.ai.grinder.library.set.invsupport.InversionSimplifier 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();
}