Home
last modified time | relevance | path

Searched refs:gbc_handler (Results 1 – 5 of 5) sorted by relevance

/dports/science/buddy/buddy-2.4/src/
H A Dkernel.c116 static bddgbchandler gbc_handler; /* Garbage collection handler */ variable
277 gbc_handler = NULL; in bdd_done()
490 bddgbchandler tmp = gbc_handler; in bdd_gbc_hook()
491 gbc_handler = handler; in bdd_gbc_hook()
1037 if (gbc_handler != NULL) in bdd_gbc()
1045 gbc_handler(1, &s); in bdd_gbc()
1089 if (gbc_handler != NULL) in bdd_gbc()
1097 gbc_handler(0, &s); in bdd_gbc()
/dports/math/spot/spot-2.10.2/buddy/src/
H A Dkernel.c118 static bddgbchandler gbc_handler; /* Garbage collection handler */ variable
297 gbc_handler = NULL; in bdd_done()
527 bddgbchandler tmp = gbc_handler; in bdd_gbc_hook()
528 gbc_handler = handler; in bdd_gbc_hook()
1100 if (gbc_handler != NULL) in bdd_gbc()
1108 gbc_handler(1, &s); in bdd_gbc()
1153 if (gbc_handler != NULL) in bdd_gbc()
1161 gbc_handler(0, &s); in bdd_gbc()
/dports/math/py-spot/spot-2.10.2/buddy/src/
H A Dkernel.c118 static bddgbchandler gbc_handler; /* Garbage collection handler */ variable
297 gbc_handler = NULL; in bdd_done()
527 bddgbchandler tmp = gbc_handler; in bdd_gbc_hook()
528 gbc_handler = handler; in bdd_gbc_hook()
1100 if (gbc_handler != NULL) in bdd_gbc()
1108 gbc_handler(1, &s); in bdd_gbc()
1153 if (gbc_handler != NULL) in bdd_gbc()
1161 gbc_handler(0, &s); in bdd_gbc()
/dports/math/spot/spot-2.10.2/spot/priv/
H A Dbddalloc.cc57 static void gbc_handler(int pre, bddGbcStat *s) in gbc_handler() function
96 bdd_gbc_hook(gbc_handler); in initialize()
/dports/math/py-spot/spot-2.10.2/spot/priv/
H A Dbddalloc.cc57 static void gbc_handler(int pre, bddGbcStat *s) in gbc_handler() function
96 bdd_gbc_hook(gbc_handler); in initialize()