xsb_inst_list.h File Reference


Functions

 XSB_INST (0x00, getpvar, _getpvar, P, V, R, X)
 XSB_INST (0x01, getpval, _getpval, P, V, R, X)
 XSB_INST (0x02, getstrv, _getstrv, PP, V, S, X)
 XSB_INST (0x03, gettval, _gettval, P, R, R, X)
 XSB_INST (0x04, getcon, _getcon, PP, R, C, X)
 XSB_INST (0x05, getnil, _getnil, PP, R, X, X)
 XSB_INST (0x06, getstr, _getstr, PP, R, S, X)
 XSB_INST (0x07, getlist, _getlist, PP, R, X, X)
 XSB_INST (0x08, unipvar, _unipvar, PP, V, X, X)
 XSB_INST (0x09, unipval, _unipval, PP, V, X, X)
 XSB_INST (0x0a, unitvar, _unitvar, PP, R, X, X)
 XSB_INST (0x0b, unitval, _unitval, PP, R, X, X)
 XSB_INST (0x0c, unicon, _unicon, PPP, C, X, X)
 XSB_INST (0x0d, uninil, _uninil, PPP, X, X, X)
 XSB_INST (0x0e, getnumcon, _getnumcon, PP, R, B, X)
 XSB_INST (0x0f, putnumcon, _putnumcon, PP, R, B, X)
 XSB_INST (0x10, putpvar, _putpvar, P, V, R, X)
 XSB_INST (0x11, putpval, _putpval, P, V, R, X)
 XSB_INST (0x12, puttvar, _puttvar, P, R, R, X)
 XSB_INST (0x13, putstrv, _putstrv, PP, V, S, X)
 XSB_INST (0x14, putcon, _putcon, PP, R, C, X)
 XSB_INST (0x15, putnil, _putnil, PP, R, X, X)
 XSB_INST (0x16, putstr, _putstr, PP, R, S, X)
 XSB_INST (0x17, putlist, _putlist, PP, R, X, X)
 XSB_INST (0x18, bldpvar, _bldpvar, PP, V, X, X)
 XSB_INST (0x19, bldpval, _bldpval, PP, V, X, X)
 XSB_INST (0x1a, bldtvar, _bldtvar, PP, R, X, X)
 XSB_INST (0x1b, bldtval, _bldtval, PP, R, X, X)
 XSB_INST (0x1c, bldcon, _bldcon, PPP, C, X, X)
 XSB_INST (0x1d, bldnil, _bldnil, PPP, X, X, X)
 XSB_INST (0x1e, uninumcon, _uninumcon, PPP, B, X, X)
 XSB_INST (0x1f, bldnumcon, _bldnumcon, PPP, B, X, X)
 XSB_INST (0x20, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x21, uniavar, _uniavar, PPP, X, X, X)
 XSB_INST (0x22, bldavar, _bldavar, PPP, X, X, X)
 XSB_INST (0x23, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x24, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x25, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x26, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x27, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x28, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x29, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x2a, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x2b, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x2c, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x2d, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x2e, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x2f, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x30, getattv, _getattv, PP, R, X, X)
 XSB_INST (0x31, putattv, _putattv, PP, R, X, X)
 XSB_INST (0x32, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x33, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x34, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x35, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x36, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x37, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x38, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x39, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x3a, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x3b, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x3c, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x3d, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x3e, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x3f, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x40, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x41, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x42, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x43, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x44, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x45, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x46, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x47, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x48, getlist_tvar_tvar, _getlist_tvar_tvar, R, R, R, X)
 XSB_INST (0x49, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x4a, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x4b, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x4c, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x4d, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x4e, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x4f, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x50, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x51, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x52, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x53, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x54, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x55, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x56, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x57, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x58, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x59, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x5a, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x5b, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x5c, trie_no_cp_attv, _trie_no_cp_attv, X, X, X, X)
 XSB_INST (0x5d, trie_trust_attv, _trie_trust_attv, X, X, X, X)
 XSB_INST (0x5e, trie_try_attv, _trie_try_attv, X, X, X, X)
 XSB_INST (0x5f, trie_retry_attv, _trie_retry_attv, X, X, X, X)
 XSB_INST (0x60, trie_no_cp_str, _trie_no_cp_str, PPP, X, X, X)
 XSB_INST (0x61, trie_trust_str, _trie_trust_str, X, X, X, X)
 XSB_INST (0x62, trie_try_str, _trie_try_str, X, X, X, X)
 XSB_INST (0x63, trie_retry_str, _trie_retry_str, X, X, X, X)
 XSB_INST (0x64, trie_no_cp_list, _trie_no_cp_list, X, X, X, X)
 XSB_INST (0x65, trie_trust_list, _trie_trust_list, X, X, X, X)
 XSB_INST (0x66, trie_try_list, _trie_try_list, X, X, X, X)
 XSB_INST (0x67, trie_retry_list, _trie_retry_list, X, X, X, X)
 XSB_INST (0x68, trie_no_cp_var, _trie_no_cp_var, X, X, X, X)
 XSB_INST (0x69, trie_trust_var, _trie_trust_var, X, X, X, X)
 XSB_INST (0x6a, trie_try_var, _trie_try_var, X, X, X, X)
 XSB_INST (0x6b, trie_retry_var, _trie_retry_var, X, X, X, X)
 XSB_INST (0x6c, trie_no_cp_val, _trie_no_cp_val, X, X, X, X)
 XSB_INST (0x6d, trie_trust_val, _trie_trust_val, X, X, X, X)
 XSB_INST (0x6e, trie_try_val, _trie_try_val, X, X, X, X)
 XSB_INST (0x6f, trie_retry_val, _trie_retry_val, X, X, X, X)
 XSB_INST (0x70, trie_no_cp_numcon, _trie_no_cp_numcon, X, X, X, X)
 XSB_INST (0x71, trie_trust_numcon, _trie_trust_numcon, X, X, X, X)
 XSB_INST (0x72, trie_try_numcon, _trie_try_numcon, X, X, X, X)
 XSB_INST (0x73, trie_retry_numcon, _trie_retry_numcon, X, X, X, X)
 XSB_INST (0x74, trie_no_cp_numcon_succ, _trie_no_cp_numcon_succ, X, X, X, X)
 XSB_INST (0x75, trie_trust_numcon_succ, _trie_trust_numcon_succ, X, X, X, X)
 XSB_INST (0x76, trie_try_numcon_succ, _trie_try_numcon_succ, X, X, X, X)
 XSB_INST (0x77, trie_retry_numcon_succ, _trie_retry_numcon_succ, X, X, X, X)
 XSB_INST (0x78, trie_proceed, _trie_proceed, X, X, X, X)
 XSB_INST (0x79, hash_opcode, _hash_opcode, X, X, X, X)
 XSB_INST (0x7a, hash_handle, _hash_handle, X, X, X, X)
 XSB_INST (0x7b, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x7c, trie_assert_inst, _trie_assert_inst, X, X, X, X)
 XSB_INST (0x7d, trie_root, _trie_root, X, X, X, X)
 XSB_INST (0x7e, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x7f, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x80, getfloat, _getfloat, PP, R, F, X)
 XSB_INST (0x81, putfloat, _putfloat, PP, R, F, X)
 XSB_INST (0x82, unifloat, _unifloat, PPP, F, X, X)
 XSB_INST (0x83, bldfloat, _bldfloat, PPP, F, X, X)
 XSB_INST (0x84, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x85, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x86, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x87, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x88, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x89, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x8a, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x8b, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x8c, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x8d, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x8e, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x8f, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x90, trie_no_cp_fail, _trie_no_cp_fail, X, X, X, X)
 XSB_INST (0x91, trie_trust_fail, _trie_trust_fail, X, X, X, X)
 XSB_INST (0x92, trie_try_fail, _trie_try_fail, X, X, X, X)
 XSB_INST (0x93, trie_retry_fail, _trie_retry_fail, X, X, X, X)
 XSB_INST (0x94, trie_fail_unlock, _trie_fail_unlock, X, X, X, X)
 XSB_INST (0x95, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x96, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x97, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x98, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x99, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x9a, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x9b, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x9c, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x9d, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0x9e, dynfail, _dynfail, PPP, X, X, X)
 XSB_INST (0x9f, dyntrymeelse, _dyntrymeelse, PP, A, L, X)
 XSB_INST (0xa0, trymeelse, _trymeelse, PP, A, L, X)
 XSB_INST (0xa1, retrymeelse, _retrymeelse, PP, A, L, X)
 XSB_INST (0xa2, trustmeelsefail, _trustmeelsefail, PP, A, X, X)
 XSB_INST (0xa3, try, _try, PP, A, L, X)
 XSB_INST (0xa4, retry, _retry, PP, A, L, X)
 XSB_INST (0xa5, trust, _trust, PP, A, L, X)
 XSB_INST (0xa6, getpbreg, _getpbreg, PP, V, X, X)
 XSB_INST (0xa7, gettbreg, _gettbreg, PP, R, X, X)
 XSB_INST (0xa8, putpbreg, _putpbreg, PP, V, X, X)
 XSB_INST (0xa9, puttbreg, _puttbreg, PP, R, X, X)
 XSB_INST (0xaa, jumptbreg, _jumptbreg, PP, R, L, X)
 XSB_INST (0xab, getVn, _getVn, PP, V, X, X)
 XSB_INST (0xac, test_heap, _test_heap, PP, A, N, X)
 XSB_INST (0xad, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0xae, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0xaf, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0xb0, switchonterm, _switchonterm, PPR, L, L, X)
 XSB_INST (0xb1, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0xb2, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0xb3, switchonbound, _switchonbound, PPR, I, I, X)
 XSB_INST (0xb4, switchon3bound, _switchon3bound, RRR, I, I, X)
 XSB_INST (0xb5, switchonthread, _switchonthread, PPP, L, X, X)
 XSB_INST (0xb6, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0xb7, trymeorelse, _trymeorelse, PP, A, L, X)
 XSB_INST (0xb8, retrymeorelse, _retrymeorelse, PP, A, L, X)
 XSB_INST (0xb9, trustmeorelsefail, _trustmeorelsefail, PP, A, X, X)
 XSB_INST (0xba, dyntrustmeelsefail, _dyntrustmeelsefail, PP, A, L, X)
 XSB_INST (0xbb, dynretrymeelse, _dynretrymeelse, PP, A, L, X)
 XSB_INST (0xbc, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0xbd, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0xbe, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0xbf, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0xc0, tabletrysingle, _tabletrysingle, PP, A, L, T)
 XSB_INST (0xc1, tabletry, _tabletry, PP, A, L, T)
 XSB_INST (0xc2, tableretry, _tableretry, PP, A, L, X)
 XSB_INST (0xc3, tabletrust, _tabletrust, PP, A, L, X)
 XSB_INST (0xc4, check_complete, _check_complete, PPP, X, X, X)
 XSB_INST (0xc5, answer_return, _answer_return, PPP, X, X, X)
 XSB_INST (0xc6, resume_compl_suspension, _resume_compl_suspension, PPP, X, X, X)
 XSB_INST (0xc7, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0xc8, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0xc9, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0xca, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0xcb, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0xcc, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0xcd, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0xce, check_interrupt, _check_interrupt, PP, A, S, X)
 XSB_INST (0xcf, new_answer_dealloc, _new_answer_dealloc, P, A, A, X)
 XSB_INST (0xd0, term_comp, _term_comp, R, R, R, X)
 XSB_INST (0xd1, movreg, _movreg, P, R, R, X)
 XSB_INST (0xd2, negate, _negate, PP, R, X, X)
 XSB_INST (0xd3, and, _and, P, R, R, X)
 XSB_INST (0xd4, or, _or, P, R, R, X)
 XSB_INST (0xd5, logshiftl, _logshiftl, P, R, R, X)
 XSB_INST (0xd6, logshiftr, _logshiftr, P, R, R, X)
 XSB_INST (0xd7, addreg, _addreg, P, R, R, X)
 XSB_INST (0xd8, subreg, _subreg, P, R, R, X)
 XSB_INST (0xd9, mulreg, _mulreg, P, R, R, X)
 XSB_INST (0xda, divreg, _divreg, P, R, R, X)
 XSB_INST (0xdb, idivreg, _idivreg, P, R, R, X)
 XSB_INST (0xdc, int_test_z, _int_test_z, PP, R, B, L)
 XSB_INST (0xdd, int_test_nz, _int_test_nz, PP, R, B, L)
 XSB_INST (0xde, fun_test_ne, _fun_test_ne, PRR, L, X, X)
 XSB_INST (0xdf, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0xe0, putdval, _putdval, P, V, R, X)
 XSB_INST (0xe1, putuval, _putuval, P, V, R, X)
 XSB_INST (0xe2, minreg, _minreg, P, R, R, X)
 XSB_INST (0xe3, maxreg, _maxreg, P, R, R, X)
 XSB_INST (0xe4, dynnoop, _dynnoop, PP, A, X, X)
 XSB_INST (0xe5, call_forn, _call_forn, PPP, L, X, X)
 XSB_INST (0xe6, load_pred, _load_pred, PPP, S, X, X)
 XSB_INST (0xe7, allocate_gc, _allocate_gc, P, A, A, X)
 XSB_INST (0xe8, call, _call, PP, A, S, X)
 XSB_INST (0xe9, allocate, _allocate, PPP, X, X, X)
 XSB_INST (0xea, deallocate, _deallocate, PPP, X, X, X)
 XSB_INST (0xeb, proceed, _proceed, PPP, X, X, X)
 XSB_INST (0xec, xsb_execute, _xsb_execute, PPP, S, X, X)
 XSB_INST (0xed, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0xee, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0xef, calld, _calld, PP, A, L, X)
 XSB_INST (0xf0, jump, _jump, PPP, L, X, X)
 XSB_INST (0xf1, jumpz, _jumpz, PP, R, L, X)
 XSB_INST (0xf2, jumpnz, _jumpnz, PP, R, L, X)
 XSB_INST (0xf3, jumplt, _jumplt, PP, R, L, X)
 XSB_INST (0xf4, jumple, _jumple, PP, R, L, X)
 XSB_INST (0xf5, jumpgt, _jumpgt, PP, R, L, X)
 XSB_INST (0xf6, jumpge, _jumpge, PP, R, L, X)
 XSB_INST (0xf7, no_inst, _no_inst, PPP, X, X, X)
 XSB_INST (0xf8, fail, _fail, PPP, X, X, X)
 XSB_INST (0xf9, noop, _noop, PP, A, X, X)
 XSB_INST (0xfa, halt, _halt, PPP, X, X, X)
 XSB_INST (0xfb, builtin, _builtin, PP, A, X, X)
 XSB_INST (0xfc, unifunc, _unifunc, P, X, A, R)
 XSB_INST (0xfe, jumpcof, _jumpcof, P, A, R, L)
 XSB_INST (0xff, no_inst, _no_inst, PPP, X, X, X)

Function Documentation

XSB_INST 0xff  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xfe  ,
jumpcof  ,
_jumpcof  ,
,
,
,
 

XSB_INST 0xfc  ,
unifunc  ,
_unifunc  ,
,
X  ,
,
 

XSB_INST 0xfb  ,
builtin  ,
_builtin  ,
PP  ,
,
X  ,
X 
 

XSB_INST 0xfa  ,
halt  ,
_halt  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xf9  ,
noop  ,
_noop  ,
PP  ,
,
X  ,
X 
 

XSB_INST 0xf8  ,
fail  ,
_fail  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xf7  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xf6  ,
jumpge  ,
_jumpge  ,
PP  ,
,
,
X 
 

XSB_INST 0xf5  ,
jumpgt  ,
_jumpgt  ,
PP  ,
,
,
X 
 

XSB_INST 0xf4  ,
jumple  ,
_jumple  ,
PP  ,
,
,
X 
 

XSB_INST 0xf3  ,
jumplt  ,
_jumplt  ,
PP  ,
,
,
X 
 

XSB_INST 0xf2  ,
jumpnz  ,
_jumpnz  ,
PP  ,
,
,
X 
 

XSB_INST 0xf1  ,
jumpz  ,
_jumpz  ,
PP  ,
,
,
X 
 

XSB_INST 0xf0  ,
jump  ,
_jump  ,
PPP  ,
,
X  ,
X 
 

XSB_INST 0xef  ,
calld  ,
_calld  ,
PP  ,
,
,
X 
 

XSB_INST 0xee  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xed  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xec  ,
xsb_execute  ,
_xsb_execute  ,
PPP  ,
S  ,
X  ,
X 
 

XSB_INST 0xeb  ,
proceed  ,
_proceed  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xea  ,
deallocate  ,
_deallocate  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xe9  ,
allocate  ,
_allocate  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xe8  ,
call  ,
_call  ,
PP  ,
,
S  ,
X 
 

XSB_INST 0xe7  ,
allocate_gc  ,
_allocate_gc  ,
,
,
,
X 
 

XSB_INST 0xe6  ,
load_pred  ,
_load_pred  ,
PPP  ,
S  ,
X  ,
X 
 

XSB_INST 0xe5  ,
call_forn  ,
_call_forn  ,
PPP  ,
,
X  ,
X 
 

XSB_INST 0xe4  ,
dynnoop  ,
_dynnoop  ,
PP  ,
,
X  ,
X 
 

XSB_INST 0xe3  ,
maxreg  ,
_maxreg  ,
,
,
,
X 
 

XSB_INST 0xe2  ,
minreg  ,
_minreg  ,
,
,
,
X 
 

XSB_INST 0xe1  ,
putuval  ,
_putuval  ,
,
,
,
X 
 

XSB_INST 0xe0  ,
putdval  ,
_putdval  ,
,
,
,
X 
 

XSB_INST 0xdf  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xde  ,
fun_test_ne  ,
_fun_test_ne  ,
PRR  ,
,
X  ,
X 
 

XSB_INST 0xdd  ,
int_test_nz  ,
_int_test_nz  ,
PP  ,
,
,
 

XSB_INST 0xdc  ,
int_test_z  ,
_int_test_z  ,
PP  ,
,
,
 

XSB_INST 0xdb  ,
idivreg  ,
_idivreg  ,
,
,
,
X 
 

XSB_INST 0xda  ,
divreg  ,
_divreg  ,
,
,
,
X 
 

XSB_INST 0xd9  ,
mulreg  ,
_mulreg  ,
,
,
,
X 
 

XSB_INST 0xd8  ,
subreg  ,
_subreg  ,
,
,
,
X 
 

XSB_INST 0xd7  ,
addreg  ,
_addreg  ,
,
,
,
X 
 

XSB_INST 0xd6  ,
logshiftr  ,
_logshiftr  ,
,
,
,
X 
 

XSB_INST 0xd5  ,
logshiftl  ,
_logshiftl  ,
,
,
,
X 
 

XSB_INST 0xd4  ,
or  ,
_or  ,
,
,
,
X 
 

XSB_INST 0xd3  ,
and  ,
_and  ,
,
,
,
X 
 

XSB_INST 0xd2  ,
negate  ,
_negate  ,
PP  ,
,
X  ,
X 
 

XSB_INST 0xd1  ,
movreg  ,
_movreg  ,
,
,
,
X 
 

XSB_INST 0xd0  ,
term_comp  ,
_term_comp  ,
,
,
,
X 
 

XSB_INST 0xcf  ,
new_answer_dealloc  ,
_new_answer_dealloc  ,
,
,
,
X 
 

XSB_INST 0xce  ,
check_interrupt  ,
_check_interrupt  ,
PP  ,
,
S  ,
X 
 

XSB_INST 0xcd  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xcc  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xcb  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xca  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xc9  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xc8  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xc7  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xc6  ,
resume_compl_suspension  ,
_resume_compl_suspension  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xc5  ,
answer_return  ,
_answer_return  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xc4  ,
check_complete  ,
_check_complete  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xc3  ,
tabletrust  ,
_tabletrust  ,
PP  ,
,
,
X 
 

XSB_INST 0xc2  ,
tableretry  ,
_tableretry  ,
PP  ,
,
,
X 
 

XSB_INST 0xc1  ,
tabletry  ,
_tabletry  ,
PP  ,
,
,
 

XSB_INST 0xc0  ,
tabletrysingle  ,
_tabletrysingle  ,
PP  ,
,
,
 

XSB_INST 0xbf  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xbe  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xbd  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xbc  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xbb  ,
dynretrymeelse  ,
_dynretrymeelse  ,
PP  ,
,
,
X 
 

XSB_INST 0xba  ,
dyntrustmeelsefail  ,
_dyntrustmeelsefail  ,
PP  ,
,
,
X 
 

XSB_INST 0xb9  ,
trustmeorelsefail  ,
_trustmeorelsefail  ,
PP  ,
,
X  ,
X 
 

XSB_INST 0xb8  ,
retrymeorelse  ,
_retrymeorelse  ,
PP  ,
,
,
X 
 

XSB_INST 0xb7  ,
trymeorelse  ,
_trymeorelse  ,
PP  ,
,
,
X 
 

XSB_INST 0xb6  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xb5  ,
switchonthread  ,
_switchonthread  ,
PPP  ,
,
X  ,
X 
 

XSB_INST 0xb4  ,
switchon3bound  ,
_switchon3bound  ,
RRR  ,
,
,
X 
 

XSB_INST 0xb3  ,
switchonbound  ,
_switchonbound  ,
PPR  ,
,
,
X 
 

XSB_INST 0xb2  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xb1  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xb0  ,
switchonterm  ,
_switchonterm  ,
PPR  ,
,
,
X 
 

XSB_INST 0xaf  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xae  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xad  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0xac  ,
test_heap  ,
_test_heap  ,
PP  ,
,
,
X 
 

XSB_INST 0xab  ,
getVn  ,
_getVn  ,
PP  ,
,
X  ,
X 
 

XSB_INST 0xaa  ,
jumptbreg  ,
_jumptbreg  ,
PP  ,
,
,
X 
 

XSB_INST 0xa9  ,
puttbreg  ,
_puttbreg  ,
PP  ,
,
X  ,
X 
 

XSB_INST 0xa8  ,
putpbreg  ,
_putpbreg  ,
PP  ,
,
X  ,
X 
 

XSB_INST 0xa7  ,
gettbreg  ,
_gettbreg  ,
PP  ,
,
X  ,
X 
 

XSB_INST 0xa6  ,
getpbreg  ,
_getpbreg  ,
PP  ,
,
X  ,
X 
 

XSB_INST 0xa5  ,
trust  ,
_trust  ,
PP  ,
,
,
X 
 

XSB_INST 0xa4  ,
retry  ,
_retry  ,
PP  ,
,
,
X 
 

XSB_INST 0xa3  ,
try  ,
_try  ,
PP  ,
,
,
X 
 

XSB_INST 0xa2  ,
trustmeelsefail  ,
_trustmeelsefail  ,
PP  ,
,
X  ,
X 
 

XSB_INST 0xa1  ,
retrymeelse  ,
_retrymeelse  ,
PP  ,
,
,
X 
 

XSB_INST 0xa0  ,
trymeelse  ,
_trymeelse  ,
PP  ,
,
,
X 
 

XSB_INST 0x9f  ,
dyntrymeelse  ,
_dyntrymeelse  ,
PP  ,
,
,
X 
 

XSB_INST 0x9e  ,
dynfail  ,
_dynfail  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x9d  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x9c  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x9b  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x9a  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x99  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x98  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x97  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x96  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x95  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x94  ,
trie_fail_unlock  ,
_trie_fail_unlock  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x93  ,
trie_retry_fail  ,
_trie_retry_fail  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x92  ,
trie_try_fail  ,
_trie_try_fail  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x91  ,
trie_trust_fail  ,
_trie_trust_fail  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x90  ,
trie_no_cp_fail  ,
_trie_no_cp_fail  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x8f  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x8e  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x8d  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x8c  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x8b  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x8a  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x89  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x88  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x87  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x86  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x85  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x84  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x83  ,
bldfloat  ,
_bldfloat  ,
PPP  ,
,
X  ,
X 
 

XSB_INST 0x82  ,
unifloat  ,
_unifloat  ,
PPP  ,
,
X  ,
X 
 

XSB_INST 0x81  ,
putfloat  ,
_putfloat  ,
PP  ,
,
,
X 
 

XSB_INST 0x80  ,
getfloat  ,
_getfloat  ,
PP  ,
,
,
X 
 

XSB_INST 0x7f  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x7e  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x7d  ,
trie_root  ,
_trie_root  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x7c  ,
trie_assert_inst  ,
_trie_assert_inst  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x7b  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x7a  ,
hash_handle  ,
_hash_handle  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x79  ,
hash_opcode  ,
_hash_opcode  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x78  ,
trie_proceed  ,
_trie_proceed  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x77  ,
trie_retry_numcon_succ  ,
_trie_retry_numcon_succ  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x76  ,
trie_try_numcon_succ  ,
_trie_try_numcon_succ  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x75  ,
trie_trust_numcon_succ  ,
_trie_trust_numcon_succ  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x74  ,
trie_no_cp_numcon_succ  ,
_trie_no_cp_numcon_succ  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x73  ,
trie_retry_numcon  ,
_trie_retry_numcon  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x72  ,
trie_try_numcon  ,
_trie_try_numcon  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x71  ,
trie_trust_numcon  ,
_trie_trust_numcon  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x70  ,
trie_no_cp_numcon  ,
_trie_no_cp_numcon  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x6f  ,
trie_retry_val  ,
_trie_retry_val  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x6e  ,
trie_try_val  ,
_trie_try_val  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x6d  ,
trie_trust_val  ,
_trie_trust_val  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x6c  ,
trie_no_cp_val  ,
_trie_no_cp_val  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x6b  ,
trie_retry_var  ,
_trie_retry_var  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x6a  ,
trie_try_var  ,
_trie_try_var  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x69  ,
trie_trust_var  ,
_trie_trust_var  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x68  ,
trie_no_cp_var  ,
_trie_no_cp_var  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x67  ,
trie_retry_list  ,
_trie_retry_list  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x66  ,
trie_try_list  ,
_trie_try_list  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x65  ,
trie_trust_list  ,
_trie_trust_list  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x64  ,
trie_no_cp_list  ,
_trie_no_cp_list  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x63  ,
trie_retry_str  ,
_trie_retry_str  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x62  ,
trie_try_str  ,
_trie_try_str  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x61  ,
trie_trust_str  ,
_trie_trust_str  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x60  ,
trie_no_cp_str  ,
_trie_no_cp_str  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x5f  ,
trie_retry_attv  ,
_trie_retry_attv  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x5e  ,
trie_try_attv  ,
_trie_try_attv  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x5d  ,
trie_trust_attv  ,
_trie_trust_attv  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x5c  ,
trie_no_cp_attv  ,
_trie_no_cp_attv  ,
X  ,
X  ,
X  ,
X 
 

XSB_INST 0x5b  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x5a  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x59  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x58  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x57  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x56  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x55  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x54  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x53  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x52  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x51  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x50  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x4f  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x4e  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x4d  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x4c  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x4b  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x4a  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x49  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x48  ,
getlist_tvar_tvar  ,
_getlist_tvar_tvar  ,
,
,
,
X 
 

XSB_INST 0x47  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x46  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x45  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x44  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x43  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x42  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x41  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x40  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x3f  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x3e  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x3d  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x3c  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x3b  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x3a  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x39  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x38  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x37  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x36  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x35  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x34  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x33  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x32  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x31  ,
putattv  ,
_putattv  ,
PP  ,
,
X  ,
X 
 

XSB_INST 0x30  ,
getattv  ,
_getattv  ,
PP  ,
,
X  ,
X 
 

XSB_INST 0x2f  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x2e  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x2d  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x2c  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x2b  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x2a  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x29  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x28  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x27  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x26  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x25  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x24  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x23  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x22  ,
bldavar  ,
_bldavar  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x21  ,
uniavar  ,
_uniavar  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x20  ,
no_inst  ,
_no_inst  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x1f  ,
bldnumcon  ,
_bldnumcon  ,
PPP  ,
,
X  ,
X 
 

XSB_INST 0x1e  ,
uninumcon  ,
_uninumcon  ,
PPP  ,
,
X  ,
X 
 

XSB_INST 0x1d  ,
bldnil  ,
_bldnil  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x1c  ,
bldcon  ,
_bldcon  ,
PPP  ,
C  ,
X  ,
X 
 

XSB_INST 0x1b  ,
bldtval  ,
_bldtval  ,
PP  ,
,
X  ,
X 
 

XSB_INST 0x1a  ,
bldtvar  ,
_bldtvar  ,
PP  ,
,
X  ,
X 
 

XSB_INST 0x19  ,
bldpval  ,
_bldpval  ,
PP  ,
,
X  ,
X 
 

XSB_INST 0x18  ,
bldpvar  ,
_bldpvar  ,
PP  ,
,
X  ,
X 
 

XSB_INST 0x17  ,
putlist  ,
_putlist  ,
PP  ,
,
X  ,
X 
 

XSB_INST 0x16  ,
putstr  ,
_putstr  ,
PP  ,
,
S  ,
X 
 

XSB_INST 0x15  ,
putnil  ,
_putnil  ,
PP  ,
,
X  ,
X 
 

XSB_INST 0x14  ,
putcon  ,
_putcon  ,
PP  ,
,
C  ,
X 
 

XSB_INST 0x13  ,
putstrv  ,
_putstrv  ,
PP  ,
,
S  ,
X 
 

XSB_INST 0x12  ,
puttvar  ,
_puttvar  ,
,
,
,
X 
 

XSB_INST 0x11  ,
putpval  ,
_putpval  ,
,
,
,
X 
 

XSB_INST 0x10  ,
putpvar  ,
_putpvar  ,
,
,
,
X 
 

XSB_INST 0x0f  ,
putnumcon  ,
_putnumcon  ,
PP  ,
,
,
X 
 

XSB_INST 0x0e  ,
getnumcon  ,
_getnumcon  ,
PP  ,
,
,
X 
 

XSB_INST 0x0d  ,
uninil  ,
_uninil  ,
PPP  ,
X  ,
X  ,
X 
 

XSB_INST 0x0c  ,
unicon  ,
_unicon  ,
PPP  ,
C  ,
X  ,
X 
 

XSB_INST 0x0b  ,
unitval  ,
_unitval  ,
PP  ,
,
X  ,
X 
 

XSB_INST 0x0a  ,
unitvar  ,
_unitvar  ,
PP  ,
,
X  ,
X 
 

XSB_INST 0x09  ,
unipval  ,
_unipval  ,
PP  ,
,
X  ,
X 
 

XSB_INST 0x08  ,
unipvar  ,
_unipvar  ,
PP  ,
,
X  ,
X 
 

XSB_INST 0x07  ,
getlist  ,
_getlist  ,
PP  ,
,
X  ,
X 
 

XSB_INST 0x06  ,
getstr  ,
_getstr  ,
PP  ,
,
S  ,
X 
 

XSB_INST 0x05  ,
getnil  ,
_getnil  ,
PP  ,
,
X  ,
X 
 

XSB_INST 0x04  ,
getcon  ,
_getcon  ,
PP  ,
,
C  ,
X 
 

XSB_INST 0x03  ,
gettval  ,
_gettval  ,
,
,
,
X 
 

XSB_INST 0x02  ,
getstrv  ,
_getstrv  ,
PP  ,
,
S  ,
X 
 

XSB_INST 0x01  ,
getpval  ,
_getpval  ,
,
,
,
X 
 

XSB_INST 0x00  ,
getpvar  ,
_getpvar  ,
,
,
,
X 
 


Generated on Wed Jul 26 13:26:55 2006 for XSB by  doxygen 1.4.5