/dports/math/boolector/boolector-3.2.2/src/ |
H A D | btoraig.c | 82 assert (amgr); in new_and_aig() 96 if (amgr->max_num_aigs < amgr->cur_num_aigs) in new_and_aig() 97 amgr->max_num_aigs = amgr->cur_num_aigs; in new_and_aig() 269 cur = btor_aig_get_by_id (amgr, amgr->table.chains[i]); in enlarge_aig_nodes_unique_table() 290 (void) amgr; in btor_aig_copy() 359 if (amgr->max_num_aig_vars < amgr->cur_num_aig_vars) in btor_aig_var() 360 amgr->max_num_aig_vars = amgr->cur_num_aig_vars; in btor_aig_var() 368 (void) amgr; in btor_aig_not() 382 (void) amgr; in find_and_contradiction_aig() 717 if (amgr->table.num_elements == amgr->table.size in btor_aig_and() [all …]
|
H A D | btoraigvec.c | 153 BtorAIGMgr *amgr; in lt_aigvec() local 157 amgr = avmgr->amgr; in lt_aigvec() 205 amgr = avmgr->amgr; in btor_aigvec_eq() 285 amgr = avmgr->amgr; in btor_aigvec_add() 313 amgr = avmgr->amgr; in sll_n_bits_aigvec() 502 amgr = avmgr->amgr; in srl_n_bits_aigvec() 767 amgr = avmgr->amgr; in btor_aigvec_concat() 794 amgr = avmgr->amgr; in btor_aigvec_cond() 811 amgr = avmgr->amgr; in btor_aigvec_copy() 830 amgr = avmgr->amgr; in btor_aigvec_clone() [all …]
|
H A D | btoraig.h | 130 btor_aig_get_by_id (BtorAIGMgr *amgr, int32_t id) in btor_aig_get_by_id() argument 132 assert (amgr); in btor_aig_get_by_id() 135 : BTOR_PEEK_STACK (amgr->id2aig, id); in btor_aig_get_by_id() 150 assert (amgr); in btor_aig_get_left_child() 159 assert (amgr); in btor_aig_get_right_child() 168 void btor_aig_mgr_delete (BtorAIGMgr *amgr); 173 BtorAIG *btor_aig_var (BtorAIGMgr *amgr); 176 BtorAIG *btor_aig_not (BtorAIGMgr *amgr, BtorAIG *aig); 188 BtorAIG *btor_aig_cond (BtorAIGMgr *amgr, 201 void btor_aig_release (BtorAIGMgr *amgr, BtorAIG *aig); [all …]
|
H A D | aigprop.c | 138 mm = aprop->amgr->btor->mm; in compute_score_aig() 287 mm = aprop->amgr->btor->mm; in compute_scores() 357 mm = aprop->amgr->btor->mm; in recursively_compute_assignment() 512 mm = aprop->amgr->btor->mm; in update_cone() 723 mm = aprop->amgr->btor->mm; in select_root() 937 mm = aprop->amgr->btor->mm; in btor_aigprop_sat() 1083 res->amgr = clone; in btor_aigprop_clone_aigprop() 1094 btor_aigprop_new_aigprop (BtorAIGMgr *amgr, in btor_aigprop_new_aigprop() argument 1100 assert (amgr); in btor_aigprop_new_aigprop() 1104 BTOR_CNEW (amgr->btor->mm, res); in btor_aigprop_new_aigprop() [all …]
|
H A D | aigprop.h | 22 BtorAIGMgr *amgr; member 54 BtorAIGProp *btor_aigprop_new_aigprop (BtorAIGMgr *amgr,
|
H A D | btorcore.c | 1083 BtorAIGMgr *amgr; in btor_process_unsynthesized_constraints() local 1087 amgr = btor_get_aig_mgr (btor); in btor_process_unsynthesized_constraints() 1783 BtorAIGMgr *amgr; in exp_to_cnf_lit() local 1798 amgr = btor_get_aig_mgr (btor); in exp_to_cnf_lit() 1817 btor_aig_release (amgr, aig); in exp_to_cnf_lit() 2781 BtorAIGMgr *amgr; in btor_add_again_assumptions() local 2784 amgr = btor_get_aig_mgr (btor); in btor_add_again_assumptions() 2834 btor_aig_to_sat (amgr, aig); in btor_add_again_assumptions() 2841 btor_aig_release (amgr, aig); in btor_add_again_assumptions() 3147 BtorAIGMgr *amgr; in exp_to_aig() local [all …]
|
H A D | btorclone.c | 886 BtorAIGMgr *amgr; in clone_aux_btor() local 893 amgr = exp_layer_only ? 0 : btor_get_aig_mgr (btor); in clone_aux_btor() 1033 + (amgr->cur_num_aigs + amgr->cur_num_aig_vars) * sizeof (BtorAIG) in clone_aux_btor() 1035 + amgr->cur_num_aigs * sizeof (int32_t) * 2 in clone_aux_btor() 1037 + amgr->table.size * sizeof (int32_t) in clone_aux_btor() 1038 + BTOR_SIZE_STACK (amgr->id2aig) * sizeof (BtorAIG *) in clone_aux_btor() 1039 + BTOR_SIZE_STACK (amgr->cnfid2aig) * sizeof (int32_t); in clone_aux_btor() 1041 assert (strcmp (amgr->smgr->name, "Lingeling") == 0 in clone_aux_btor() 1043 assert (strcmp (amgr->smgr->name, "DIMACS Printer") != 0 in clone_aux_btor() 1047 allocated += amgr->smgr->solver ? sizeof (BtorLGL) : 0; in clone_aux_btor() [all …]
|
H A D | btoraigvec.h | 35 BtorAIGMgr *amgr; member
|
H A D | btorslvfun.c | 254 BtorAIGMgr *amgr; in timed_sat_sat() local 256 amgr = btor_get_aig_mgr (btor); in timed_sat_sat() 260 amgr->cur_num_aig_vars, in timed_sat_sat() 261 amgr->cur_num_aigs, in timed_sat_sat() 262 amgr->num_cnf_vars, in timed_sat_sat() 263 amgr->num_cnf_clauses); in timed_sat_sat() 1008 BtorAIGMgr *amgr; in search_initial_applies_just() local 1018 amgr = btor_get_aig_mgr (btor); in search_initial_applies_just() 1056 ? btor_aig_get_assignment (amgr, cur->av->aigs[0]) in search_initial_applies_just() 1068 ? btor_aig_get_assignment (amgr, cur->av->aigs[0]) in search_initial_applies_just() [all …]
|
/dports/math/boolector/boolector-3.2.2/test/ |
H A D | test_aig.cpp | 31 btor_aig_release (amgr, aig1); in binary_commutative_aig_test() 36 btor_aig_mgr_delete (amgr); in binary_commutative_aig_test() 43 btor_aig_mgr_delete (amgr); in TEST_F() 51 btor_aig_mgr_delete (amgr); in TEST_F() 59 btor_aig_mgr_delete (amgr); in TEST_F() 69 btor_aig_release (amgr, var); in TEST_F() 70 btor_aig_mgr_delete (amgr); in TEST_F() 80 btor_aig_release (amgr, var); in TEST_F() 82 btor_aig_mgr_delete (amgr); in TEST_F() 119 btor_aig_mgr_delete (amgr); in TEST_F() [all …]
|
/dports/net/p5-Net-SSH-Perl/Net-SSH-Perl-2.14/lib/Net/SSH/Perl/ |
H A D | AuthMgr.pm | 32 weaken $amgr->{ssh}; 33 $amgr->init(@_); 37 my $amgr = shift; 68 $amgr; 74 my $amgr = shift; 85 my $amgr = shift; 90 $amgr->{_done} = 0; 105 $amgr->run( \$amgr->{_done} ); 107 $amgr->{agent}->close_socket if $amgr->{agent}; 113 my $amgr = shift; [all …]
|
/dports/math/boolector/boolector-3.2.2/src/dumper/ |
H A D | btordumpaig.c | 40 btor_dumpaig_dump_aig (BtorAIGMgr *amgr, in btor_dumpaig_dump_aig() argument 63 BtorAIGMgr *amgr; in dumpaig_dump_aux() local 69 amgr = btor_get_aig_mgr (btor); in dumpaig_dump_aux() 96 btor_aig_release (amgr, merged); in dumpaig_dump_aux() 114 btor_dumpaig_dump_seq (amgr, in dumpaig_dump_aux() 195 btor_dumpaig_dump_seq (BtorAIGMgr *amgr, in btor_dumpaig_dump_seq() argument 216 mm = amgr->btor->mm; in btor_dumpaig_dump_seq() 273 aig = btor_aig_get_left_child (amgr, aig); in btor_dumpaig_dump_seq() 330 aig = btor_aig_get_left_child (amgr, aig); in btor_dumpaig_dump_seq() 402 left = btor_aig_get_left_child (amgr, aig); in btor_dumpaig_dump_seq() [all …]
|
H A D | btordumpaig.h | 18 void btor_dumpaig_dump_aig (BtorAIGMgr* amgr, 24 void btor_dumpaig_dump_seq (BtorAIGMgr* amgr,
|
/dports/net-p2p/bitmark-recorder/bitmarkd-0.13.3/vendor/github.com/btcsuite/btcd/addrmgr/ |
H A D | addrmanager_test.go | 139 amgr := addrmgr.New("testaddressbyip", nil) 141 err := amgr.AddAddressByIP(test.addrIP) 195 amgr := addrmgr.New("testaddlocaladdress", nil) 197 result := amgr.AddLocalAddress(&test.address, test.priority) 404 amgr := addrmgr.New("testgetbestlocaladdress", nil) 408 got := amgr.GetBestLocalAddress(&test.remoteAddr) 417 amgr.AddLocalAddress(&localAddr, addrmgr.InterfacePrio) 422 got := amgr.GetBestLocalAddress(&test.remoteAddr) 432 amgr.AddLocalAddress(&localAddr, addrmgr.InterfacePrio) 436 got := amgr.GetBestLocalAddress(&test.remoteAddr)
|
/dports/net-p2p/bitmark/bitmarkd-0.13.3/vendor/github.com/btcsuite/btcd/addrmgr/ |
H A D | addrmanager_test.go | 139 amgr := addrmgr.New("testaddressbyip", nil) 141 err := amgr.AddAddressByIP(test.addrIP) 195 amgr := addrmgr.New("testaddlocaladdress", nil) 197 result := amgr.AddLocalAddress(&test.address, test.priority) 404 amgr := addrmgr.New("testgetbestlocaladdress", nil) 408 got := amgr.GetBestLocalAddress(&test.remoteAddr) 417 amgr.AddLocalAddress(&localAddr, addrmgr.InterfacePrio) 422 got := amgr.GetBestLocalAddress(&test.remoteAddr) 432 amgr.AddLocalAddress(&localAddr, addrmgr.InterfacePrio) 436 got := amgr.GetBestLocalAddress(&test.remoteAddr)
|
/dports/net-p2p/bitmark-cli/bitmarkd-0.13.3/vendor/github.com/btcsuite/btcd/addrmgr/ |
H A D | addrmanager_test.go | 139 amgr := addrmgr.New("testaddressbyip", nil) 141 err := amgr.AddAddressByIP(test.addrIP) 195 amgr := addrmgr.New("testaddlocaladdress", nil) 197 result := amgr.AddLocalAddress(&test.address, test.priority) 404 amgr := addrmgr.New("testgetbestlocaladdress", nil) 408 got := amgr.GetBestLocalAddress(&test.remoteAddr) 417 amgr.AddLocalAddress(&localAddr, addrmgr.InterfacePrio) 422 got := amgr.GetBestLocalAddress(&test.remoteAddr) 432 amgr.AddLocalAddress(&localAddr, addrmgr.InterfacePrio) 436 got := amgr.GetBestLocalAddress(&test.remoteAddr)
|
/dports/net-p2p/bitmark-daemon/bitmarkd-0.13.3/vendor/github.com/btcsuite/btcd/addrmgr/ |
H A D | addrmanager_test.go | 139 amgr := addrmgr.New("testaddressbyip", nil) 141 err := amgr.AddAddressByIP(test.addrIP) 195 amgr := addrmgr.New("testaddlocaladdress", nil) 197 result := amgr.AddLocalAddress(&test.address, test.priority) 404 amgr := addrmgr.New("testgetbestlocaladdress", nil) 408 got := amgr.GetBestLocalAddress(&test.remoteAddr) 417 amgr.AddLocalAddress(&localAddr, addrmgr.InterfacePrio) 422 got := amgr.GetBestLocalAddress(&test.remoteAddr) 432 amgr.AddLocalAddress(&localAddr, addrmgr.InterfacePrio) 436 got := amgr.GetBestLocalAddress(&test.remoteAddr)
|
/dports/net-im/dendrite/dendrite-0.5.1/vendor/github.com/btcsuite/btcd/addrmgr/ |
H A D | addrmanager_test.go | 139 amgr := addrmgr.New("testaddressbyip", nil) 141 err := amgr.AddAddressByIP(test.addrIP) 195 amgr := addrmgr.New("testaddlocaladdress", nil) 197 result := amgr.AddLocalAddress(&test.address, test.priority) 404 amgr := addrmgr.New("testgetbestlocaladdress", nil) 408 got := amgr.GetBestLocalAddress(&test.remoteAddr) 417 amgr.AddLocalAddress(&localAddr, addrmgr.InterfacePrio) 422 got := amgr.GetBestLocalAddress(&test.remoteAddr) 432 amgr.AddLocalAddress(&localAddr, addrmgr.InterfacePrio) 436 got := amgr.GetBestLocalAddress(&test.remoteAddr)
|
/dports/net-p2p/go-ethereum/go-ethereum-1.10.14/vendor/github.com/btcsuite/btcd/addrmgr/ |
H A D | addrmanager_test.go | 139 amgr := addrmgr.New("testaddressbyip", nil) 141 err := amgr.AddAddressByIP(test.addrIP) 195 amgr := addrmgr.New("testaddlocaladdress", nil) 197 result := amgr.AddLocalAddress(&test.address, test.priority) 404 amgr := addrmgr.New("testgetbestlocaladdress", nil) 408 got := amgr.GetBestLocalAddress(&test.remoteAddr) 417 amgr.AddLocalAddress(&localAddr, addrmgr.InterfacePrio) 422 got := amgr.GetBestLocalAddress(&test.remoteAddr) 432 amgr.AddLocalAddress(&localAddr, addrmgr.InterfacePrio) 436 got := amgr.GetBestLocalAddress(&test.remoteAddr)
|
/dports/net/p5-Net-SSH-Perl/Net-SSH-Perl-2.14/lib/Net/SSH/Perl/Auth/ |
H A D | PublicKey.pm | 153 my $amgr = shift; 155 my $ssh = $amgr->{ssh}; 173 $amgr->remove_handler(SSH2_MSG_USERAUTH_PK_OK);
|
H A D | KeyboardInt.pm | 52 my $amgr = shift;
|
/dports/biology/sra-tools/sra-tools-2.11.0/ncbi-vdb/libs/align/ |
H A D | al_iterator.c | 61 struct AlignMgr const *amgr; /* the alignment-manager... */ member 210 if ( rc == 0 ) { iter->amgr = almgr; } in AlignIteratorRecordPopulate() 307 ali->amgr = self; in AlignMgrMakeAlignmentIterator() 347 AlignMgrRelease ( self->amgr ); in AlignmentIteratorRelease()
|
H A D | pl_iterator.c | 84 …struct AlignMgr const *amgr; /* the alignment-manager... ( right now: we store it, but that's i… member 116 psi->amgr = self; in AlignMgrMakePlacementSetIterator() 443 AlignMgrRelease ( self->amgr ); in PlacementSetIteratorRelease()
|
/dports/biology/ncbi-vdb/ncbi-vdb-2.11.0/libs/align/ |
H A D | al_iterator.c | 61 struct AlignMgr const *amgr; /* the alignment-manager... */ member 210 if ( rc == 0 ) { iter->amgr = almgr; } in AlignIteratorRecordPopulate() 307 ali->amgr = self; in AlignMgrMakeAlignmentIterator() 347 AlignMgrRelease ( self->amgr ); in AlignmentIteratorRelease()
|
H A D | pl_iterator.c | 84 …struct AlignMgr const *amgr; /* the alignment-manager... ( right now: we store it, but that's i… member 116 psi->amgr = self; in AlignMgrMakePlacementSetIterator() 443 AlignMgrRelease ( self->amgr ); in PlacementSetIteratorRelease()
|