Searched refs:pairsid (Results 1 – 3 of 3) sorted by relevance
43 static int pairsid; /* Pair identifier */ variable52 pairsid = 0; in bdd_pairs_init()76 pairsid++; in update_pairsid()78 if (pairsid == (INT_MAX >> 2)) in update_pairsid()81 pairsid = 0; in update_pairsid()83 p->id = pairsid++; in update_pairsid()87 return pairsid; in update_pairsid()