Searched refs:DF_isBV (Results 1 – 3 of 3) sorted by relevance
174 if (DF_isBV(tPtr) && (bvInd == DF_bvIndex(tPtr))) return FALSE; in HOPU_uniqueBV()225 match = ((AM_numArgs == 0) && DF_isBV(AM_head) && in HOPU_isEtaExpArgs()252 if (DF_isBV(AM_head)) { //bound variable in HOPU_isLLambda()260 if (DF_isBV(AM_head)) { //bound variable head in HOPU_isLLambda()459 if (DF_isBV(tmPtr)){ in HOPU_pruneAndRaise()521 if (DF_isBV(tPtr1)){ in HOPU_pruneSameVar()523 if (DF_isBV(tPtr2) && (ind == DF_bvIndex(tPtr2))){ in HOPU_pruneSameVar()554 if (DF_isBV(tPtr2) && (DF_bvIndex(tPtr2) == nargs2)){ in HOPU_pruneSameVar()759 if (DF_isBV(AM_head)) { in HOPU_flexCheck()787 if (DF_isBV(AM_head)) { in HOPU_flexCheckC()[all …]
283 Boolean DF_isBV(DF_TermPtr); // is de Bruijn index?
365 Boolean DF_isBV(DF_TermPtr tmPtr) in DF_isBV() function