mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-17 09:56:39 +00:00
Code Activity

remove debug out

Browse source
This commit is contained in:
Nikolaj Bjorner 2023-02-07 10:40:49 -08:00
parent a150e58893
commit 601e506d54
1 changed files with 1 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/muz/base/dl_util.h
View file

@ -324,17 +324,14 @@ namespace datalog {
if (cycle_len < 2) if (cycle_len < 2)
return; return;
auto aux = container[permutation_cycle[0]]; auto aux = container[permutation_cycle[0]];
verbose_stream() << "xx " << cycle_len << "\n";
for (unsigned i = 1; i < cycle_len; i++) for (unsigned i = 1; i < cycle_len; i++)
container[permutation_cycle[i-1]] = container[permutation_cycle[i]]; container[permutation_cycle[i-1]] = container[permutation_cycle[i]];
container[permutation_cycle[cycle_len-1]] = aux; container[permutation_cycle[cycle_len-1]] = aux;
} }
template<class T, class M> template<class T, class M>
void permute_by_cycle(ref_vector<T,M> & container, unsigned cycle_len, const unsigned * permutation_cycle) { void permute_by_cycle(ref_vector<T,M> & container, unsigned cycle_len, const unsigned * permutation_cycle) {
if (cycle_len<2) { if (cycle_len < 2)
return; return;
}
verbose_stream() << "ptr\n";
T * aux = container.get(permutation_cycle[0]); T * aux = container.get(permutation_cycle[0]);
for (unsigned i=1; i < cycle_len; i++) { for (unsigned i=1; i < cycle_len; i++) {
container.set(permutation_cycle[i-1], container.get(permutation_cycle[i])); container.set(permutation_cycle[i-1], container.get(permutation_cycle[i]));