void flow_insensitive_analysis_baset::operator()(
const goto_programt &goto_program)
{
initialize(goto_program);
goto_functionst goto_functions;
fixedpoint(goto_program, goto_functions);
}
void static_analysis_baset::operator()(
const goto_programt &goto_program)
{
initialize(goto_program);
goto_functionst goto_functions;
fixedpoint(goto_program, goto_functions);
}
int main() {
const double tol = 5e-10;
double root;
int its, success;
root = fixedpoint(&funct, 1.0, tol, 50, &its, &success);
if (success == 2) {
printf("The root is %.12f\n",root);
printf("%u iterations were used to find the root\n",its);
}
else if (success == 0) {
printf("The maximum number of iterations has been reached\n");
}
}
void static_analysis_baset::operator()(
const goto_functionst &goto_functions)
{
initialize(goto_functions);
fixedpoint(goto_functions);
}
