Home
last modified time | relevance | path

Searched refs:DF_isNil (Results 1 – 4 of 4) sorted by relevance

/dports/math/teyjus/teyjus-2.1-7-ge63f40a/source/simulator/
H A Ddataformats.h281 Boolean DF_isNil(DF_TermPtr); // is list nil?
H A Dsiminstrlocal.c570 if (DF_isNil(AM_head)) return; in SINSTRL_unifyNil()
H A Ddataformats.c361 Boolean DF_isNil(DF_TermPtr tmPtr) in DF_isNil() function
H A Dhopu.c1450 case DF_TM_TAG_NIL: { if (!DF_isNil(hPtr2)) EM_THROW(EM_FAIL); break;} in HOPU_matchHeads()