Home
last modified time | relevance | path

Searched refs:DF_isLam (Results 1 – 6 of 6) sorted by relevance

/dports/math/teyjus/teyjus-2.1-7-ge63f40a/source/simulator/
H A Dhnorm.c309 while ((arity > 0) && (DF_isLam(funPtr))) { in HN_hnormApp()
579 while ((arity > 0) && (DF_isLam(funPtr))) { in HN_hnormAppOcc()
984 while ((arity > 0) && (DF_isLam(funPtr))) { in HN_lnormApp()
H A Ddataformats.h287 Boolean DF_isLam(DF_TermPtr); // is abstraction?
H A Dprintterm.c494 while (DF_isLam(tmPtr)){ in PRINT_writeAbst()
H A Ddataformats.c373 Boolean DF_isLam(DF_TermPtr tmPtr) in DF_isLam() function
H A Dsiminstr.c1676 while (DF_isLam(tmPtr)) { in SINSTR_switch_on_term()
H A Dhopu.c54 while (DF_isLam(tmPtr)) tmPtr = DF_termDeref(DF_lamBody(tmPtr)); in HOPU_lamBody()