Search in sources :

Example 1 with RealUnaryExpression

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

the class SINH method executeFunction.

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

Example 2 with RealUnaryExpression

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

the class TAN method executeFunction.

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

Example 3 with RealUnaryExpression

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

the class ToDegrees method executeFunction.

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

Example 4 with RealUnaryExpression

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

Example 5 with RealUnaryExpression

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