Searched defs:remtmp (Results 1 – 6 of 6) sorted by relevance
873 bdd remtmp = bdd_addref( bdd_ite(divLteRem, in bvec_div() local
1185 remtmp(int fatal) in remtmp() function