Home
last modified time | relevance | path

Searched refs:amgr (Results 1 – 25 of 44) sorted by relevance

12

/dports/math/boolector/boolector-3.2.2/src/
H A Dbtoraig.c82 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 Dbtoraigvec.c153 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 Dbtoraig.h130 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 Daigprop.c138 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 Daigprop.h22 BtorAIGMgr *amgr; member
54 BtorAIGProp *btor_aigprop_new_aigprop (BtorAIGMgr *amgr,
H A Dbtorcore.c1083 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 Dbtorclone.c886 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 Dbtoraigvec.h35 BtorAIGMgr *amgr; member
H A Dbtorslvfun.c254 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 Dtest_aig.cpp31 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 DAuthMgr.pm32 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 Dbtordumpaig.c40 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 Dbtordumpaig.h18 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 Daddrmanager_test.go139 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 Daddrmanager_test.go139 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 Daddrmanager_test.go139 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 Daddrmanager_test.go139 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 Daddrmanager_test.go139 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 Daddrmanager_test.go139 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 DPublicKey.pm153 my $amgr = shift;
155 my $ssh = $amgr->{ssh};
173 $amgr->remove_handler(SSH2_MSG_USERAUTH_PK_OK);
H A DKeyboardInt.pm52 my $amgr = shift;
/dports/biology/sra-tools/sra-tools-2.11.0/ncbi-vdb/libs/align/
H A Dal_iterator.c61 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 Dpl_iterator.c84 …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 Dal_iterator.c61 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 Dpl_iterator.c84 …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()

12