Examples with RealValue org.evosuite.symbolic.expr.fp.RealValue used on opensource projects

Example 11 with RealValue

use of org.evosuite.symbolic.expr.fp.RealValue in project evosuite by EvoSuite.

the class CBRT method executeFunction.

@Override
public Object executeFunction() {
    double res = this.getConcDoubleRetVal();
    RealValue realExpression = this.getSymbRealArgument(0);
    RealValue cbrtExpr;
    if (realExpression.containsSymbolicVariable()) {
        Operator op = Operator.CBRT;
        cbrtExpr = new RealUnaryExpression(realExpression, op, res);
    } else {
        cbrtExpr = this.getSymbRealRetVal();
    }
    return cbrtExpr;
}

Example 12 with RealValue

use of org.evosuite.symbolic.expr.fp.RealValue in project evosuite by EvoSuite.

the class COS method executeFunction.

@Override
public Object executeFunction() {
    double res = this.getConcDoubleRetVal();
    RealValue realExpression = this.getSymbRealArgument(0);
    RealValue cosExpr;
    if (realExpression.containsSymbolicVariable()) {
        Operator op = Operator.COS;
        cosExpr = new RealUnaryExpression(realExpression, op, res);
    } else {
        cosExpr = this.getSymbRealRetVal();
    }
    return cosExpr;
}

Example 13 with RealValue

use of org.evosuite.symbolic.expr.fp.RealValue in project evosuite by EvoSuite.

the class ASIN method executeFunction.

@Override
public Object executeFunction() {
    double res = this.getConcDoubleRetVal();
    RealValue realExpression = this.getSymbRealArgument(0);
    RealValue asinExpr;
    if (realExpression.containsSymbolicVariable()) {
        Operator op = Operator.ASIN;
        asinExpr = new RealUnaryExpression(realExpression, op, res);
    } else {
        asinExpr = this.getSymbRealRetVal();
    }
    return asinExpr;
}

Example 14 with RealValue

use of org.evosuite.symbolic.expr.fp.RealValue in project evosuite by EvoSuite.

the class ATAN2 method executeFunction.

@Override
public Object executeFunction() {
    double res = this.getConcDoubleRetVal();
    RealValue left = this.getSymbRealArgument(0);
    RealValue right = this.getSymbRealArgument(1);
    RealValue atan2Expr;
    if (left.containsSymbolicVariable() || right.containsSymbolicVariable()) {
        Operator op = Operator.ATAN2;
        atan2Expr = new RealBinaryExpression(left, op, right, res);
    } else {
        atan2Expr = this.getSymbRealRetVal();
    }
    return atan2Expr;
}

Example 15 with RealValue

use of org.evosuite.symbolic.expr.fp.RealValue in project evosuite by EvoSuite.

the class COSH method executeFunction.

@Override
public Object executeFunction() {
    double res = this.getConcDoubleRetVal();
    RealValue realExpression = this.getSymbRealArgument(0);
    RealValue coshExpr;
    if (realExpression.containsSymbolicVariable()) {
        Operator op = Operator.COSH;
        coshExpr = new RealUnaryExpression(realExpression, op, res);
    } else {
        coshExpr = this.getSymbRealRetVal();
    }
    return coshExpr;
}