• Alexandre Duret-Lutz's avatar
    [buddy] · d462f50b
    Alexandre Duret-Lutz authored
    Inline bdd_addref() and bdd_delref() to speedup BDD operations.
    
    * src/kernel.c, src/kernel.h (bdd_addref, bdd_delref): Move these
    functions and there associated global variables...
    * src/bdd.c (bdd_error): ... and this function ...
    * src/bdd.h (bdd_addref, bdd_delref, bdd_error): ...here so that
    they can be inlined.
    d462f50b
kernel.h 6.59 KB