|
Functions |
| | XSB_Start_Instr (trie_no_cp_str, _trie_no_cp_str) TRIE_R_LOCK() |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_no_cp_str")) |
| | XSB_End_Instr () XSB_Start_Instr(trie_try_str |
| | TRIE_R_LOCK () |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_try_str")) |
| | save_find_locx (ereg) |
| | save_trie_registers (tbreg) |
| | save_choicepoint (tbreg, ereg,(byte *) opfail, breg) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_retry_str")) |
| | restore_regs_and_vars (tbreg, CP_SIZE) |
| | cp_pcreg (breg) = (byte *) opfail |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_trust_str")) |
| | restore_trail_condition_registers (breg) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_no_cp_numcon:")) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_try_numcon")) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_retry_numcon")) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_trust_numcon")) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_no_cp_numcon_succ")) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_try_numcon_succ")) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_retry_numcon_succ")) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_trust_numcon_succ")) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_no_cp_var")) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"symbol number is %d\n", num_vars_in_var_regs)) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_try_var")) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_retry_var")) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_trust_var")) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_no_cp_val")) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_try_val")) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_retry_val")) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_trust_val")) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_no_cp_list")) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_try_list")) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_retry_list:")) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_trust_list")) |
| _trie_no_cp_fail | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_no_cp_fail")) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_trust_fail")) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_try_fail")) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_retry_fail")) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"hash_opcode")) |
| | XSB_CptrDeref (temp_ptr_for_hash) |
| | if (!isref(temp_ptr_for_hash)&&(*hash_base==NULL)) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"hash_handle")) |
| | if (int_val(cell(breg+CP_SIZE+2))==HASH_IS_NOT_FREE) |
| _trie_root | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_root:")) |
| _trie_fail_unlock | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_fail_unlock")) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_assert")) |
| | if (Child(NodePtr)!=NULL) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_no_cp_attv")) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_try_attv")) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_retry_attv:")) |
| | xsb_dbgmsg ((LOG_TRIE_INSTR,"trie_trust_attv")) |
Variables |
| | NodePtr = (BTNptr) lpcreg |
| | unify_with_trie_str |
| | non_ftag_lpcreg |
| _trie_try_str CPtr | tbreg = top_of_cpstack |
| | breg = tbreg |
| | hbreg = hreg |
| | unify_with_trie_numcon |
| | reg_arrayptr |
| | proceed_lpcreg |
| | num_vars_in_var_regs = DecodeTrieVar(opatom) |
| | var_regs [num_vars_in_var_regs] = (CPtr) *reg_arrayptr |
| | next_lpcreg |
| | unify_with_trie_val |
| | unify_with_trie_list |
| | lpcreg = (byte *) & fail_inst |
| _hash_opcode CPtr | temp_ptr_for_hash = (CPtr)*reg_arrayptr |
| BTHTptr | hash_header = (BTHTptr) lpcreg |
| BTHTptr * | hash_base = (BTHTptr *) BTHT_BucketArray(hash_header) |
| int | hashed_hash_offset |
| BTHTptr | hash_hdr = (BTHTptr) string_val(cell(breg+CP_SIZE+1)) |
| int | hash_offset = int_val(cell(breg+CP_SIZE)) |
| _trie_assert_inst Psc | psc_ptr |
| int | i |
| | unify_with_trie_attv |
