Home
last modified time | relevance | path

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

/dports/math/teyjus/teyjus-2.1-7-ge63f40a/source/simulator/
H A Ddataformats.c311 } DF_SuspTerm; typedef
479 return ((DF_SuspTerm*)tmPtr)->ol; in DF_suspOL()
483 return ((DF_SuspTerm*)tmPtr)->nl; in DF_suspNL()
487 return ((DF_SuspTerm*)tmPtr)->termSkel; in DF_suspTermSkel()
491 return ((DF_SuspTerm*)tmPtr)->envList; in DF_suspEnv()
526 *((DF_SuspTerm*)dest) = *((DF_SuspTerm*)src); in DF_copySusp()
613 ((DF_SuspTerm*)loc) -> tag.categoryTag = DF_TM_TAG_SUSP; in DF_mkSusp()
614 ((DF_SuspTerm*)loc) -> ol = ol; in DF_mkSusp()
615 ((DF_SuspTerm*)loc) -> nl = nl; in DF_mkSusp()
616 ((DF_SuspTerm*)loc) -> termSkel = tmPtr; in DF_mkSusp()
[all …]