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

Example 71 with RealValue

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

the class RINT method executeFunction.

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

Example 72 with RealValue

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

the class SIN method executeFunction.

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

Example 73 with RealValue

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

the class TANH method executeFunction.

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

Example 74 with RealValue

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

the class ToRadians method executeFunction.

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

Example 75 with RealValue

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

the class EXPM1 method executeFunction.

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