Search in sources :

Example 6 with RealUnaryExpression

use of org.evosuite.symbolic.expr.fp.RealUnaryExpression 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;
}
Also used : RealValue(org.evosuite.symbolic.expr.fp.RealValue) Operator(org.evosuite.symbolic.expr.Operator) RealUnaryExpression(org.evosuite.symbolic.expr.fp.RealUnaryExpression)

Example 7 with RealUnaryExpression

use of org.evosuite.symbolic.expr.fp.RealUnaryExpression 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;
}
Also used : RealValue(org.evosuite.symbolic.expr.fp.RealValue) Operator(org.evosuite.symbolic.expr.Operator) RealUnaryExpression(org.evosuite.symbolic.expr.fp.RealUnaryExpression)

Example 8 with RealUnaryExpression

use of org.evosuite.symbolic.expr.fp.RealUnaryExpression 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;
}
Also used : RealValue(org.evosuite.symbolic.expr.fp.RealValue) Operator(org.evosuite.symbolic.expr.Operator) RealUnaryExpression(org.evosuite.symbolic.expr.fp.RealUnaryExpression)

Example 9 with RealUnaryExpression

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

the class LOG10 method executeFunction.

@Override
public Object executeFunction() {
    double res = this.getConcDoubleRetVal();
    RealValue realExpression = this.getSymbRealArgument(0);
    RealValue log10Expr;
    if (realExpression.containsSymbolicVariable()) {
        Operator op = Operator.LOG10;
        log10Expr = new RealUnaryExpression(realExpression, op, res);
    } else {
        log10Expr = this.getSymbRealRetVal();
    }
    return log10Expr;
}
Also used : RealValue(org.evosuite.symbolic.expr.fp.RealValue) Operator(org.evosuite.symbolic.expr.Operator) RealUnaryExpression(org.evosuite.symbolic.expr.fp.RealUnaryExpression)

Example 10 with RealUnaryExpression

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

the class SQRT method executeFunction.

@Override
public Object executeFunction() {
    double res = this.getConcDoubleRetVal();
    RealValue realExpression = this.getSymbRealArgument(0);
    RealValue sqrtExpr;
    if (realExpression.containsSymbolicVariable()) {
        Operator op = Operator.SQRT;
        sqrtExpr = new RealUnaryExpression(realExpression, op, res);
    } else {
        sqrtExpr = this.getSymbRealRetVal();
    }
    return sqrtExpr;
}
Also used : RealValue(org.evosuite.symbolic.expr.fp.RealValue) Operator(org.evosuite.symbolic.expr.Operator) RealUnaryExpression(org.evosuite.symbolic.expr.fp.RealUnaryExpression)

Aggregations

RealUnaryExpression (org.evosuite.symbolic.expr.fp.RealUnaryExpression)23 RealValue (org.evosuite.symbolic.expr.fp.RealValue)23 Operator (org.evosuite.symbolic.expr.Operator)21