Examples with SingleVariableConstraint com.sri.ai.grinder.api.SingleVariableConstraint used on opensource projects

Example 21 with SingleVariableConstraint

use of com.sri.ai.grinder.api.SingleVariableConstraint in project aic-expresso by aic-sri-international.

the class LinearRealArithmeticTheoryTest method runQuantifierTest.

private void runQuantifierTest(Expression variable, String constraintString, String bodyString, Expression expected, String computedFunction, BinaryFunction<SingleVariableConstraint, Expression, ExpressionStepSolver> stepSolverMaker, Context context) {
    Expression body = parse(bodyString);
    Function<SingleVariableConstraint, ExpressionStepSolver> stepSolverMakerFromConstraint = c -> stepSolverMaker.apply(c, body);
    runTest(variable, constraintString, expected, computedFunction, stepSolverMakerFromConstraint, context);
}

Example 22 with SingleVariableConstraint

use of com.sri.ai.grinder.api.SingleVariableConstraint in project aic-expresso by aic-sri-international.

the class SingleQuantifierEliminationForIndexFreeBody method computerConstraintSatisfiability.

private Expression computerConstraintSatisfiability() {
    SingleVariableConstraint singleVariableConstraint = (SingleVariableConstraint) getConstraint();
    Expression conditionForSatisfiability = singleVariableConstraint.satisfiability(context);
    checkWeCanSolveSatisfiabilityOfConstraint(conditionForSatisfiability);
    return conditionForSatisfiability;
}