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

Example 16 with RealUnaryExpression

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

the class ACOS method executeFunction.

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

Example 17 with RealUnaryExpression

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

the class ATAN method executeFunction.

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

Example 18 with RealUnaryExpression

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

the class LOG1P method executeFunction.

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

Example 19 with RealUnaryExpression

use of org.evosuite.symbolic.expr.fp.RealUnaryExpression 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 20 with RealUnaryExpression

use of org.evosuite.symbolic.expr.fp.RealUnaryExpression 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;
}