Examples with Operator org.evosuite.symbolic.expr.Operator used on opensource projects

Example 6 with Operator

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

use of org.evosuite.symbolic.expr.Operator 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 8 with Operator

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

Example 9 with Operator

use of org.evosuite.symbolic.expr.Operator in project evosuite by EvoSuite.

the class FLOOR method executeFunction.

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

Example 10 with Operator

use of org.evosuite.symbolic.expr.Operator in project evosuite by EvoSuite.

the class HYPOT method executeFunction.

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