Ejemplos de fixedpoint en C++ (Cpp)

Ejemplo n.º 1

Archivo: flow_insensitive_analysis.cpp Proyecto: danpoe/cbmc

void flow_insensitive_analysis_baset::operator()(
  const goto_programt &goto_program)
{
  initialize(goto_program);
  goto_functionst goto_functions;
  fixedpoint(goto_program, goto_functions);
}

Ejemplo n.º 2

void static_analysis_baset::operator()(
  const goto_programt &goto_program)
{
  initialize(goto_program);
  goto_functionst goto_functions;
  fixedpoint(goto_program, goto_functions);
}

Ejemplo n.º 3

Archivo: fixedpoint.c Proyecto: 8l/rose

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");
}
}

Ejemplo n.º 4

void static_analysis_baset::operator()(
  const goto_functionst &goto_functions)
{
  initialize(goto_functions);
  fixedpoint(goto_functions);
}