Searched refs:DF_termDeref (Results 1 – 10 of 10) sorted by relevance
108 tmPtr = DF_termDeref((DF_TermPtr)envY); in SINSTR_put_value_p()118 tmPtr = DF_termDeref((DF_TermPtr)envY); in SINSTR_put_unsafe_value()153 tmPtr = DF_termDeref((DF_TermPtr)envY); in SINSTR_copy_value()295 tmPtr = DF_termDeref((DF_TermPtr)envY); in SINSTR_set_value_p()306 tmPtr = DF_termDeref((DF_TermPtr)envY); in SINSTR_globalize_pt()771 tmPtr = DF_termDeref(AM_sreg); in SINSTR_unify_m_constant()790 tmPtr = DF_termDeref(AM_sreg); in SINSTR_unify_p_constant()801 tmPtr = DF_termDeref(AM_sreg); in SINSTR_unify_integer()812 tmPtr = DF_termDeref(AM_sreg); in SINSTR_unify_float()823 tmPtr = DF_termDeref(AM_sreg); in SINSTR_unify_string()[all …]
53 tmPtr = DF_termDeref(tmPtr); in HOPU_lamBody()173 tPtr = DF_termDeref(args); in HOPU_uniqueBV()190 tPtr = DF_termDeref(args); in HOPU_uniqueConst()304 DF_TermPtr tPtr = DF_termDeref(args); in HOPU_bvIndex()321 DF_TermPtr tPtr = DF_termDeref(args); in HOPU_constIndex()368 DF_TermPtr tmPtr = DF_termDeref(args); in HOPU_raise()402 DF_TermPtr tmPtr = DF_termDeref(args2); in HOPU_prune()458 DF_TermPtr tmPtr = DF_termDeref(args2); in HOPU_pruneAndRaise()520 tPtr2 = DF_termDeref(args2); in HOPU_pruneSameVar()553 tPtr2 = DF_termDeref(args2); in HOPU_pruneSameVar()[all …]
181 DF_TermPtr myskPtr = DF_termDeref(DF_suspTermSkel(skPtr)); in HNL_renumberAsEnv()201 case DF_TM_TAG_REF:{skPtr=DF_termDeref(skPtr); goto restart_renumberAsEnv; } in HNL_renumberAsEnv()251 DF_TermPtr myskPtr = DF_termDeref(DF_suspTermSkel(skPtr)); in HNL_renumberAsArg()269 case DF_TM_TAG_REF:{skPtr=DF_termDeref(skPtr); goto restart_renumberAsArg;} in HNL_renumberAsArg()382 case DF_TM_TAG_REF: { skPtr = DF_termDeref(skPtr); goto restart_suspAsEnv; } in HNL_suspAsEnv()434 case DF_TM_TAG_REF: { skPtr = DF_termDeref(skPtr); goto restart_suspAsArg; } in HNL_suspAsArg()
392 if (DF_isConst(DF_termDeref(DF_appFunc(tmPtr)))) EM_THROW(EM_FAIL); in SINSTRL_unifyConst()428 if (DF_isConst(DF_termDeref(DF_appFunc(tmPtr)))) EM_THROW(EM_FAIL); in SINSTRL_unifyInt()459 if (DF_isConst(DF_termDeref(DF_appFunc(tmPtr)))) EM_THROW(EM_FAIL); in SINSTRL_unifyFloat()491 if (DF_isConst(DF_termDeref(DF_appFunc(tmPtr)))) EM_THROW(EM_FAIL); in SINSTRL_unifyString()529 if (DF_isConst(DF_termDeref(DF_appFunc(tmPtr)))) EM_THROW(EM_FAIL); in SINSTRL_unifyTConst()563 if (DF_isConst(DF_termDeref(DF_appFunc(tmPtr)))) EM_THROW(EM_FAIL); in SINSTRL_unifyNil()
212 DF_TermPtr tmPtr = DF_termDeref(DF_envPairTerm(envitem)); in HN_hnormBV()423 case DF_TM_TAG_REF: { tmPtr = DF_termDeref(tmPtr); goto restart;} in HN_hnormDispatch()437 HN_hnormDispatch(DF_termDeref(tmPtr), FALSE); in HN_hnorm()489 DF_TermPtr tmPtr = DF_termDeref(DF_envPairTerm(envitem)); in HN_hnormBVOcc()691 case DF_TM_TAG_REF: {tmPtr=DF_termDeref(tmPtr); goto restart_hnormOcc;} in HN_hnormDispatchOcc()705 tmPtr = HN_hnormDispatchOcc(DF_termDeref(tmPtr), FALSE); in HN_hnormOcc()887 DF_TermPtr tmPtr = DF_termDeref(DF_envPairTerm(envitem)); in HN_lnormBV()1100 case DF_TM_TAG_REF: { tmPtr = DF_termDeref(tmPtr); goto restart_lnorm;} in HN_lnormDispatch()1114 tmPtr = HN_lnormDispatch(DF_termDeref(tmPtr), FALSE); in HN_lnorm()
412 tmPtr = DF_termDeref(args); in PRINT_writeCons()496 tmPtr = DF_termDeref(DF_lamBody(tmPtr)); in PRINT_writeAbst()594 DF_TermPtr head = DF_termDeref(DF_appFunc(tmPtr)); in PRINT_writeApp()668 tmPtr = DF_termDeref(tmPtr); in PRINT_writeTerm()
270 DF_TermPtr DF_termDeref(DF_TermPtr); // term dereference
338 DF_TermPtr DF_termDeref(DF_TermPtr tmPtr) in DF_termDeref() function
59 tmPtr = DF_termDeref(tmPtr); in BIIO_getStringFromTerm()69 tmPtr = DF_termDeref(tmPtr); in BIIO_getStreamFromTerm()94 tmPtr = DF_termDeref(tmPtr); in BIIO_getIntegerFromTerm()109 varPtr = DF_termDeref(varPtr); in BIIO_bindVarToStream()131 varPtr = DF_termDeref(varPtr); in BIIO_bindVarToInt()155 varPtr = DF_termDeref(varPtr); in BIIO_bindVarToString()167 tmPtr = DF_termDeref(tmPtr); in BIIO_closeStreamTerm()
93 mytmPtr = DF_termDeref(tmPtr); in BIEVAL_evalInt()159 mytmPtr = DF_termDeref(tmPtr); in BIEVAL_evalFloat()330 mytmPtr = DF_termDeref(tmPtr); in BIEVAL_evalStr()