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

Example 31 with Operator

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

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

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

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

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