Home
last modified time | relevance | path

Searched refs:rem_index (Results 1 – 10 of 10) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/muz/rel/
H A Ddl_compiler.cpp495 unsigned rem_index = 0; in compile_rule_evaluation_run() local
499 SASSERT(rem_index==rem_sz || removed_cols[rem_index]>=i); in compile_rule_evaluation_run()
500 if(rem_index<rem_sz && removed_cols[rem_index]==i) { in compile_rule_evaluation_run()
501 rem_index++; in compile_rule_evaluation_run()
509 SASSERT(rem_index==rem_sz || removed_cols[rem_index]>=i+a1len); in compile_rule_evaluation_run()
510 if(rem_index<rem_sz && removed_cols[rem_index]==i+a1len) { in compile_rule_evaluation_run()
511 rem_index++; in compile_rule_evaluation_run()
516 SASSERT(rem_index==rem_sz); in compile_rule_evaluation_run()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/rel/
H A Ddl_compiler.cpp495 unsigned rem_index = 0; in compile_rule_evaluation_run() local
499 SASSERT(rem_index==rem_sz || removed_cols[rem_index]>=i); in compile_rule_evaluation_run()
500 if(rem_index<rem_sz && removed_cols[rem_index]==i) { in compile_rule_evaluation_run()
501 rem_index++; in compile_rule_evaluation_run()
509 SASSERT(rem_index==rem_sz || removed_cols[rem_index]>=i+a1len); in compile_rule_evaluation_run()
510 if(rem_index<rem_sz && removed_cols[rem_index]==i+a1len) { in compile_rule_evaluation_run()
511 rem_index++; in compile_rule_evaluation_run()
516 SASSERT(rem_index==rem_sz); in compile_rule_evaluation_run()
/dports/net/openmpi/openmpi-4.1.1/opal/mca/btl/openib/connect/
H A Dbtl_openib_connect_rdmacm.c186 uint32_t rem_index; member
947 uint32_t rem_index; local
956 rem_index = ((private_data_t *)event->param.conn.private_data)->rem_index;
1027 endpoint->rem_info.rem_index = rem_index;
1103 msg.rem_index = endpoint->index;
1281 endpoint->rem_info.rem_index =
1282 ((private_data_t *)event->param.conn.private_data)->rem_index;
1591 msg.rem_index = contents->endpoint->index;
H A Dbtl_openib_connect_udcm.c547 lcl_ep->rem_info.rem_index = lcl_ep->index; in udcm_endpoint_init_self_xrc()
614 lcl_ep->rem_info.rem_index = lcl_ep->index; in udcm_endpoint_init_self()
2080 lcl_ep->rem_info.rem_index = ntohl(message->hdr.data.req.rem_ep_index); in udcm_process_messages()
2097 lcl_ep->rem_info.rem_index = ntohl(message->hdr.data.xres.rem_ep_index); in udcm_process_messages()
2121 lcl_ep->rem_info.rem_index = ntohl(message->hdr.data.xreq.rem_ep_index); in udcm_process_messages()
/dports/net/openmpi3/openmpi-3.1.6/opal/mca/btl/openib/connect/
H A Dbtl_openib_connect_rdmacm.c186 uint32_t rem_index; member
947 uint32_t rem_index; local
956 rem_index = ((private_data_t *)event->param.conn.private_data)->rem_index;
1027 endpoint->rem_info.rem_index = rem_index;
1103 msg.rem_index = endpoint->index;
1274 endpoint->rem_info.rem_index =
1275 ((private_data_t *)event->param.conn.private_data)->rem_index;
1578 msg.rem_index = contents->endpoint->index;
H A Dbtl_openib_connect_udcm.c546 lcl_ep->rem_info.rem_index = lcl_ep->index; in udcm_endpoint_init_self_xrc()
613 lcl_ep->rem_info.rem_index = lcl_ep->index; in udcm_endpoint_init_self()
2072 lcl_ep->rem_info.rem_index = ntohl(message->hdr.data.req.rem_ep_index); in udcm_process_messages()
2089 lcl_ep->rem_info.rem_index = ntohl(message->hdr.data.xres.rem_ep_index); in udcm_process_messages()
2113 lcl_ep->rem_info.rem_index = ntohl(message->hdr.data.xreq.rem_ep_index); in udcm_process_messages()
/dports/net/openmpi3/openmpi-3.1.6/opal/mca/btl/openib/
H A Dbtl_openib_endpoint.h102 uint32_t rem_index; member
593 sr_desc->imm_data = htonl(ep->rem_info.rem_index); in post_send()
595 sr_desc->imm_data = ep->rem_info.rem_index; in post_send()
/dports/net/openmpi/openmpi-4.1.1/opal/mca/btl/openib/
H A Dbtl_openib_endpoint.h102 uint32_t rem_index; member
595 sr_desc->imm_data = htonl(ep->rem_info.rem_index); in post_send()
597 sr_desc->imm_data = ep->rem_info.rem_index; in post_send()
/dports/mail/roundcube-calendar-kolab/roundcubemail-plugins-kolab-3.5.5/plugins/libkolab/lib/
H A Dkolab_storage_cache.php277 $rem_index = array_intersect($del_index, $imap_index);
278 if (!empty($rem_index)) {
280 $this->imap->delete_message($rem_index, $this->folder->name);
/dports/deskutils/coolreader/coolreader-cr3.2.55/crengine/src/
H A Dlvstream.cpp1784 int rem_index = m_tail->start >> CACHE_BUF_BLOCK_SHIFT; in reuseItem() local
1788 BufItem * item = m_buf[rem_index]; in reuseItem()
1789 m_buf[ rem_index ] = NULL; in reuseItem()