Searched refs:unbind_tr (Results 1 – 1 of 1) sorted by relevance
489 while (unbind_tr != end_tr) { in unbind_variables()499 unbind_tr = (tr_fr_ptr) ref; in unbind_variables()506 --unbind_tr; in unbind_variables()507 Term aux_val = TrailVal(unbind_tr); in unbind_variables()556 while (unbind_tr != end_tr) { in restore_bindings()558 while (unbind_tr > end_tr) { in restore_bindings()559 ref = (CELL) TrailTerm(--unbind_tr); in restore_bindings()566 unbind_tr = (tr_fr_ptr) ref; in restore_bindings()576 --unbind_tr; in restore_bindings()578 pt[0] = TrailVal(unbind_tr); in restore_bindings()[all …]