Home
last modified time | relevance | path

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

/dports/math/teyjus/teyjus-2.1-7-ge63f40a/source/simulator/
H A Dhnormlocal.c167 case DF_TM_TAG_CONS: in HNL_renumberAsEnv()
237 case DF_TM_TAG_CONS: in HNL_renumberAsArg()
368 case DF_TM_TAG_CONS: in HNL_suspAsEnv()
418 case DF_TM_TAG_CONS: in HNL_suspAsArg()
H A Dhnorm.c419 case DF_TM_TAG_CONS: { return HN_hnormCons(tmPtr, whnf); } in HN_hnormDispatch()
685 case DF_TM_TAG_CONS: { return HN_hnormConsOcc(tmPtr, whnf); } in HN_hnormDispatchOcc()
1096 case DF_TM_TAG_CONS: { return HN_lnormCons(tmPtr, whnf); } in HN_lnormDispatch()
H A Ddataformats.h70 DF_TM_TAG_CONS, // list constructors enumerator
H A Dprintterm.c413 if (DF_termTag(tmPtr) != DF_TM_TAG_CONS) break; in PRINT_writeCons()
678 case DF_TM_TAG_CONS: in PRINT_writeTerm()
H A Ddataformats.c372 { return (tmPtr -> tag.categoryTag == DF_TM_TAG_CONS); } in DF_isCons()
594 ((DF_ConsTerm*)loc) -> tag.categoryTag = DF_TM_TAG_CONS; in DF_mkCons()
H A Dsiminstr.c121 case DF_TM_TAG_CONS: in SINSTR_put_unsafe_value()
604 case DF_TM_TAG_CONS: {AM_sreg=DF_consArgs(tmPtr); AM_writeFlag=OFF; return; } in SINSTR_get_list()
1721 case DF_TM_TAG_CONS: { in SINSTR_switch_on_term()
H A Dsiminstrlocal.c560 case DF_TM_TAG_CONS: { EM_THROW(EM_FAIL);} in SINSTRL_unifyNil()
H A Dhopu.c1466 case DF_TM_TAG_CONS: { in HOPU_matchHeads()