Home
last modified time | relevance | path

Searched refs:DF_sameStrs (Results 1 – 3 of 3) sorted by relevance

/dports/math/teyjus/teyjus-2.1-7-ge63f40a/source/simulator/
H A Ddataformats.h373 Boolean DF_sameStrs(DF_TermPtr str1, DF_TermPtr str2); //same string?
H A Ddataformats.c649 Boolean DF_sameStrs(DF_TermPtr str1, DF_TermPtr str2) //same string? in DF_sameStrs() function
H A Dhopu.c1462 if (!(DF_isStr(hPtr2) && (DF_sameStrs(hPtr1, hPtr2)))) in HOPU_matchHeads()