use of com.sri.ai.expresso.core.DefaultLambdaExpression in project aic-expresso by aic-sri-international.
the class TupleQuantifierSimplifier method rewriteLambdaExpression.
private static Expression rewriteLambdaExpression(LambdaExpression lambdaExpression, Map<Expression, Expression> indexToTypeMap, Map<Expression, Expression> indexToTupleOfVars, Context context) {
Pair<IndexExpressionsSet, Expression> updatePair = update(lambdaExpression.getBody(), indexToTypeMap, indexToTupleOfVars, context);
Expression result = new DefaultLambdaExpression(updatePair.first, updatePair.second);
return result;
}
use of com.sri.ai.expresso.core.DefaultLambdaExpression in project aic-expresso by aic-sri-international.
the class Expressions method makeDefaultLambdaExpressionFromLabelAndSubTrees.
private static Expression makeDefaultLambdaExpressionFromLabelAndSubTrees(Object label, Object[] subTreeObjects) {
ArrayList<Expression> subTreeExpressions = Util.mapIntoArrayList(subTreeObjects, Expressions::makeFromObject);
Expression indexExpressionsKleeneList = subTreeExpressions.get(0);
IndexExpressionsSet indexExpressions = new ExtensionalIndexExpressionsSet(ensureListFromKleeneList(indexExpressionsKleeneList));
Expression body = subTreeExpressions.get(1);
Expression result = new DefaultLambdaExpression(indexExpressions, body);
return result;
}
use of com.sri.ai.expresso.core.DefaultLambdaExpression in project aic-expresso by aic-sri-international.
the class TupleQuantifierSimplifier method rewriteLambdaExpression.
private static Expression rewriteLambdaExpression(LambdaExpression lambdaExpression, Map<Expression, Expression> indexToTypeMap, Map<Expression, Expression> indexToTupleOfVars, Context context) {
Pair<IndexExpressionsSet, Expression> updatePair = update(lambdaExpression.getBody(), indexToTypeMap, indexToTupleOfVars, context);
Expression result = new DefaultLambdaExpression(updatePair.first, updatePair.second);
return result;
}
Aggregations