Home
last modified time | relevance | path

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

/dports/math/teyjus/teyjus-2.1-7-ge63f40a/source/simulator/
H A Dhnorm.c270 DF_TermPtr argvec = DF_consArgs(consPtr), in HN_hnormCons()
542 DF_TermPtr argvec = DF_consArgs(consPtr), in HN_hnormConsOcc()
943 DF_TermPtr argvec = DF_consArgs(consPtr), in HN_lnormCons()
H A Ddataformats.h319 DF_TermPtr DF_consArgs(DF_TermPtr); // arg vector
H A Dprintterm.c401 DF_TermPtr args = DF_consArgs(tmPtr); in PRINT_writeCons()
414 args = DF_consArgs(tmPtr); in PRINT_writeCons()
H A Ddataformats.c450 DF_TermPtr DF_consArgs(DF_TermPtr tmPtr) //arg vector in DF_consArgs() function
H A Dsiminstr.c604 case DF_TM_TAG_CONS: {AM_sreg=DF_consArgs(tmPtr); AM_writeFlag=OFF; return; } in SINSTR_get_list()