tsmanner/cpp-gen - Change WIH7D6VWMT5Z36YBJN2PJ4Q35IUDNZIYGNIX6HTMXPMUXTRAYTSAC

Implemented naive popcount function. Added more terms to Constraints example.

Created by BZRjFpe4yWcELV5q9m5goQecQ5GyKG6yp24mWXjq2gpf on July 11, 2024

WIH7D6VWMT5Z36YBJN2PJ4Q35IUDNZIYGNIX6HTMXPMUXTRAYTSAC

Dependencies

In channels

main

Change contents

Insertion in src/main.cpp at line 5 [3.50]
[3.71]
[3.71]
```
#include <limits>
```

Insertion in src/main.cpp at line 125 [3.50]

[2.1227]

}
constexpr
int popcount(int const &value) {
  int result = 0;
  for (std::size_t i = 0; i < std::numeric_limits<int>::digits; ++i) {
    result += (value >> i) & 1;
  }
  return result;

Replacement in src/main.cpp at line 199 [3.50]

B:BD[2.1341] → [2.1341:1388]

    Term<&Aggregate::bar, &Bar::value, isEven>

[2.1341]

[2.1388]

    Term<&Aggregate::foo, &Foo::value, popcount, isOdd>,
    Term<&Aggregate::bar, &Bar::value, isEven>,
    Term<&Aggregate::bar, &Bar::value, popcount, isOdd>

Insertion in src/main.cpp at line 234 [3.50]
[2.1700]
[2.1700]
```
  std::cout << popcount(4) << '\n';
```

Replacement in src/main.cpp at line 237 [3.50]

B:BD[2.1734] → [2.1734:1823]

    std::cout << i << ":  " << fooBarOdd(Aggregate{Foo{"foo", i}, Bar{i >> 1}}) << '\n';

[2.1734]

[2.1823]

    std::cout << i << ":  " << fooBarOdd(Aggregate{Foo{"foo", i}, Bar{i >> 1}}) << ' ' << popcount(i) << ' ' << isOdd(popcount(i)) << '\n';

Deletion in src/main.cpp at line 239 [3.50]

B:BD[2.1827] → [2.1827:2588]


  std::cout << check(
    std::make_tuple(Term<&Foo::value, isEven>{}, Foo{"foo",  0}),
    std::make_tuple(Term<&Foo::value, isOdd >{}, Foo{"foo",  1}),
    std::make_tuple(Term<&Foo::value, isEven>{}, Foo{"foo",  2}),
    std::make_tuple(Term<&Foo::value, isOdd >{}, Foo{"foo",  3}),
    std::make_tuple(Term<&Foo::value, isEven>{}, Foo{"foo",  4}),
    std::make_tuple(Term<&Foo::value, isOdd >{}, Foo{"foo",  5}),
    std::make_tuple(Term<&Foo::value, isEven>{}, Foo{"foo",  6}),
    std::make_tuple(Term<&Foo::value, isOdd >{}, Foo{"foo",  7}),
    std::make_tuple(Term<&Foo::value, isEven>{}, Foo{"foo",  8}),
    std::make_tuple(Term<&Foo::value, isOdd >{}, Foo{"foo",  9}),
    std::make_tuple(Term<&Foo::value, isEven>{}, Foo{"foo", 10})
  ) << '\n';