Examples with SummationOnLinearRealArithmeticAndPolynomialStepSolver com.sri.ai.grinder.theory.linearrealarithmetic.SummationOnLinearRealArithmeticAndPolynomialStepSolver used on opensource projects

Example 1 with SummationOnLinearRealArithmeticAndPolynomialStepSolver

use of com.sri.ai.grinder.theory.linearrealarithmetic.SummationOnLinearRealArithmeticAndPolynomialStepSolver in project aic-expresso by aic-sri-international.

the class LinearRealArithmeticTheoryTest method runSummationTest.

private void runSummationTest(Expression variable, String constraintString, String bodyString, Expression expected, Simplifier simplifier, Context context) {
    Expression typeExpression = context.getTypeExpressionOfRegisteredSymbol(variable);
    runQuantifierTest(variable, constraintString, bodyString, expected, "summation for " + bodyString, (SingleVariableConstraint c, Expression b) -> new SummationOnLinearRealArithmeticAndPolynomialStepSolver(new DefaultSingleQuantifierEliminationProblem(new Sum(), variable, typeExpression, c, b)), context);
}