Exemplos de bdd_fprintstat em C++ (Cpp)

Exemplo n.º 1

Arquivo: kernel.c Projeto: RCambier/EmbeddedAndVerification

void bdd_printstat(void)
{
   bdd_fprintstat(stdout);
}

Exemplo n.º 2

Arquivo: kernel.c Projeto: UGent-HES/javabdd

void bdd_printstat(void)
{
   BUDDY_PROLOGUE;
   bdd_fprintstat(stdout);
   RETURN();
}