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;
}
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;
}
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;
}
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;
}
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;
}
Aggregations