use of com.sri.ai.expresso.type.FunctionType 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.expresso.type.FunctionType in project aic-expresso by aic-sri-international.
the class SetOfArgumentTuplesForFunctionOccurringInExpressionTest method setUp.
@Before
public void setUp() {
fName = parse("f");
fType = new FunctionType(new IntegerInterval("1..5"), new IntegerInterval("1..10"), new IntegerInterval("11..20"));
}
Aggregations