Searched refs:num_cas (Results 1 – 6 of 6) sorted by relevance
/dports/math/z3/z3-z3-4.8.13/src/ast/ |
H A D | decl_collector.cpp | 33 unsigned num_cas = cnstr_acc.size(); in visit_sort() local 34 for (unsigned j = 0; j < num_cas; j++) { in visit_sort()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/ |
H A D | decl_collector.cpp | 33 unsigned num_cas = cnstr_acc.size(); in visit_sort() local 34 for (unsigned j = 0; j < num_cas; j++) { in visit_sort()
|
/dports/www/litmus/litmus-0.13/lib/neon/ |
H A D | ne_gnutls.c | 699 unsigned int num_cas, in find_issuer() argument 704 for (n = 0; n < num_cas; n++) { in find_issuer() 757 unsigned int num_cas; in make_peers_chain() local 759 gnutls_certificate_get_x509_cas(crd, &ca_list, &num_cas); in make_peers_chain() 763 issuer = find_issuer(ca_list, num_cas, current->subject); in make_peers_chain()
|
/dports/www/davix/davix-0.7.6/deps/libneon/src/ |
H A D | ne_gnutls.c | 719 unsigned int num_cas, in find_issuer() argument 724 for (n = 0; n < num_cas; n++) { in find_issuer() 777 unsigned int num_cas; in make_peers_chain() local 779 gnutls_certificate_get_x509_cas(crd, &ca_list, &num_cas); in make_peers_chain() 783 issuer = find_issuer(ca_list, num_cas, current->chain[0]); in make_peers_chain()
|
/dports/www/neon/neon-0.32.1/src/ |
H A D | ne_gnutls.c | 768 unsigned int num_cas, in find_issuer() argument 773 for (n = 0; n < num_cas; n++) { in find_issuer() 828 unsigned int num_cas; in make_peers_chain() local 830 gnutls_certificate_get_x509_cas(crd, &ca_list, &num_cas); in make_peers_chain() 836 issuer = find_issuer(ca_list, num_cas, current->subject); in make_peers_chain()
|
/dports/cad/gplcver/gplcver-2.12a.src/src/ |
H A D | v_fx2.c | 6960 int32 lhs_gd, dnum, sav_ecnt, cwid, num_gd1bca, cai, num_cas; in chk_contas() local 6969 num_cas = 0; in chk_contas() 6975 num_cas++; in chk_contas() 7054 num_cas -= num_gd1bca; in chk_contas() 7061 __inst_mod->mcanum = num_cas; in chk_contas()
|