{"header":{"message":"Factored Term and Minterm out of main.cpp, added Build2 external dependency on Catch2.","description":null,"timestamp":"2024-07-15T20:22:07.763168724Z","authors":[{}]},"hash":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC","authors":[{"key":"BZRjFpe4yWcELV5q9m5goQecQ5GyKG6yp24mWXjq2gpf"}],"deps":{"hashes":[["NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC","Factored Term and Minterm out of main.cpp, added Build2 external dependency on Catch2."],["AA",null],["WIH7D6VWMT5Z36YBJN2PJ4Q35IUDNZIYGNIX6HTMXPMUXTRAYTSAC","Implemented naive popcount function. Added more terms to Constraints example."],["7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC","Started structuring the project code a little. First pass at creating a minterm from a list of constraints."],["RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC","First commit, playing around with some template patterns and initializing build2."],["6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC","Made Term a variadic so that a chain of member accesses and functions can be represented as a single Term."],["4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC","Refactored to use Term templates that contain the field to reference as part of the type, preparing to use those in an eDSL with operator overloads to allow for lazy constraint arithmetic to express relationships."],["PZPJ7F4OAINZC3D6HE3BDLZR7LNUEOTCFWOHU324SB4K4W7U7IBAC",""]],"deps":["WIH7D6VWMT5Z36YBJN2PJ4Q35IUDNZIYGNIX6HTMXPMUXTRAYTSAC"],"known":["RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC","4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC","6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC","7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC"]},"hunks":[{"FileAdd":{"meta":{"basename":"tests","metadata":576},"path":"tests","context":[{"change":8,"pos":1}],"contents":[]}},{"FileAdd":{"meta":{"basename":"testscript","metadata":0},"path":"tests/testscript","context":[{"change":0,"pos":17}],"contents":[{"Add":{"text":": tests.out","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:66"}},{"Add":{"text":"$* &> /dev/null","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:82"}}]}},{"FileAdd":{"meta":{"basename":"test_Term.cpp","metadata":0},"path":"tests/test_Term.cpp","context":[{"change":0,"pos":17}],"contents":[{"Add":{"text":"#include \"cpp-gen/Term.h\"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:148"}},{"Add":{"text":"#include \"cpp-gen/Minterm.h\"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:177"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:178"}},{"Add":{"text":"#include ","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:218"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:219"}},{"Add":{"text":"#include ","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:237"}},{"Add":{"text":"#include ","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:255"}},{"Add":{"text":"#include ","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:273"}},{"Add":{"text":"#include ","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:290"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:291"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:292"}},{"Add":{"text":"// std::get helper","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:311"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:312"}},{"Add":{"text":"namespace detail {","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:331"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:332"}},{"Add":{"text":"template ","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:365"}},{"Add":{"text":"struct std_get_f;","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:383"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:384"}},{"Add":{"text":"template ","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:427"}},{"Add":{"text":"struct std_get_f<_i, std::tuple<_Ts...>> {","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:470"}},{"Add":{"text":" using Function =","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:489"}},{"Add":{"text":" std::tuple_element_t<_i, std::tuple<_Ts...>> const &(std::tuple<_Ts...> const &);","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:575"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:576"}},{"Add":{"text":" static constexpr","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:595"}},{"Add":{"text":" auto value =","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:610"}},{"Add":{"text":" static_cast(&std::get<_i, _Ts...>);","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:662"}},{"Add":{"text":"};","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:665"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:666"}},{"Add":{"text":"} // namespace detail","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:688"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:689"}},{"Add":{"text":"template ","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:728"}},{"Add":{"text":"constexpr auto std_get =","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:753"}},{"Add":{"text":" detail::std_get_f<_i, _T>::value;","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:789"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:790"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:791"}},{"Add":{"text":"constexpr","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:801"}},{"Add":{"text":"bool isOdd(int const &value) {","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:832"}},{"Add":{"text":" return value & 1;","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:852"}},{"Add":{"text":"}","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:854"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:855"}},{"Add":{"text":"constexpr","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:865"}},{"Add":{"text":"bool isEven(int const &value) {","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:897"}},{"Add":{"text":" return !isOdd(value);","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:921"}},{"Add":{"text":"}","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:923"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:924"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:925"}},{"Add":{"text":"constexpr","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:935"}},{"Add":{"text":"int popCount(int const &value) {","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:968"}},{"Add":{"text":" int result = 0;","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:986"}},{"Add":{"text":" for (std::size_t i = 0; i < std::numeric_limits::digits; ++i) {","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1057"}},{"Add":{"text":" result += (value >> i) & 1;","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1089"}},{"Add":{"text":" }","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1093"}},{"Add":{"text":" return result;","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1110"}},{"Add":{"text":"}","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1112"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1113"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1114"}},{"Add":{"text":"TEST_CASE(\"popCount\") {","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1138"}},{"Add":{"text":" CHECK(0 == popCount(0x00));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1168"}},{"Add":{"text":" CHECK(1 == popCount(0x01));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1198"}},{"Add":{"text":" CHECK(1 == popCount(0x02));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1228"}},{"Add":{"text":" CHECK(2 == popCount(0x03));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1258"}},{"Add":{"text":" CHECK(1 == popCount(0x04));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1288"}},{"Add":{"text":" CHECK(2 == popCount(0x05));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1318"}},{"Add":{"text":" CHECK(2 == popCount(0x06));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1348"}},{"Add":{"text":" CHECK(3 == popCount(0x07));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1378"}},{"Add":{"text":" CHECK(1 == popCount(0x08));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1408"}},{"Add":{"text":" CHECK(2 == popCount(0x09));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1438"}},{"Add":{"text":" CHECK(2 == popCount(0x0A));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1468"}},{"Add":{"text":" CHECK(3 == popCount(0x0B));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1498"}},{"Add":{"text":" CHECK(2 == popCount(0x0C));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1528"}},{"Add":{"text":" CHECK(3 == popCount(0x0D));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1558"}},{"Add":{"text":" CHECK(3 == popCount(0x0E));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1588"}},{"Add":{"text":" CHECK(4 == popCount(0x0F));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1618"}},{"Add":{"text":" CHECK(1 == popCount(0x10));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1648"}},{"Add":{"text":" CHECK(2 == popCount(0x11));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1678"}},{"Add":{"text":" CHECK(2 == popCount(0x12));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1708"}},{"Add":{"text":" CHECK(3 == popCount(0x13));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1738"}},{"Add":{"text":" CHECK(2 == popCount(0x14));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1768"}},{"Add":{"text":" CHECK(3 == popCount(0x15));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1798"}},{"Add":{"text":" CHECK(3 == popCount(0x16));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1828"}},{"Add":{"text":" CHECK(4 == popCount(0x17));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1858"}},{"Add":{"text":" CHECK(2 == popCount(0x18));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1888"}},{"Add":{"text":" CHECK(3 == popCount(0x19));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1918"}},{"Add":{"text":" CHECK(3 == popCount(0x1A));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1948"}},{"Add":{"text":" CHECK(4 == popCount(0x1B));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:1978"}},{"Add":{"text":" CHECK(3 == popCount(0x1C));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2008"}},{"Add":{"text":" CHECK(4 == popCount(0x1D));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2038"}},{"Add":{"text":" CHECK(4 == popCount(0x1E));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2068"}},{"Add":{"text":" CHECK(5 == popCount(0x1F));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2098"}},{"Add":{"text":"}","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2100"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2101"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2102"}},{"Add":{"text":"// Foo","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2109"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2110"}},{"Add":{"text":"struct Foo {","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2123"}},{"Add":{"text":" std::string name;","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2143"}},{"Add":{"text":" int value;","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2156"}},{"Add":{"text":"};","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2159"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2160"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2161"}},{"Add":{"text":"// Bar","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2168"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2169"}},{"Add":{"text":"struct Bar {","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2182"}},{"Add":{"text":" int value;","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2195"}},{"Add":{"text":"};","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2198"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2199"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2200"}},{"Add":{"text":"// Aggregate","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2213"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2214"}},{"Add":{"text":"struct Aggregate {","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2233"}},{"Add":{"text":" Foo foo;","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2244"}},{"Add":{"text":" Bar bar;","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2255"}},{"Add":{"text":"};","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2258"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2259"}},{"Add":{"text":"constexpr","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2269"}},{"Add":{"text":"auto aggFooValue =","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2288"}},{"Add":{"text":" Term<&Aggregate::foo, &Foo::value>{};","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2328"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2329"}},{"Add":{"text":"constexpr","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2339"}},{"Add":{"text":"auto aggBarValue =","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2358"}},{"Add":{"text":" Term<&Aggregate::bar, &Bar::value>{};","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2398"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2399"}},{"Add":{"text":"constexpr","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2409"}},{"Add":{"text":"auto fooEqBar =","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2425"}},{"Add":{"text":" aggFooValue == aggBarValue;","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2455"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2456"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2457"}},{"Add":{"text":"// Pair of Foo","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2472"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2473"}},{"Add":{"text":"using FooFoo = std::pair;","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2509"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2510"}},{"Add":{"text":"constexpr","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2520"}},{"Add":{"text":"auto fooEqFoo =","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2536"}},{"Add":{"text":" Term<&FooFoo::first, &Foo::value>{} == Term<&FooFoo::second, &Foo::value>{};","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2615"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2616"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2617"}},{"Add":{"text":"// Tuple of Foo","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2633"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2634"}},{"Add":{"text":"using FooFooFoo = std::tuple;","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2679"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2680"}},{"Add":{"text":"constexpr","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2690"}},{"Add":{"text":"auto fooEqFoo2 =","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2707"}},{"Add":{"text":" Term, &Foo::value>{} == Term, &Foo::value>{};","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2799"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2800"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2801"}},{"Add":{"text":"//","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2804"}},{"Add":{"text":"// Constraints","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2819"}},{"Add":{"text":"//","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2822"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2823"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2824"}},{"Add":{"text":"TEST_CASE(\"Term popCount\") {","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2853"}},{"Add":{"text":" CHECK(2 == Term<&Aggregate::foo, &Foo::value, popCount>{}({Foo{\"foo\", 3}, {7}}));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:2937"}},{"Add":{"text":" CHECK_FALSE(Term<&Aggregate::foo, &Foo::value, popCount, isOdd>{}({Foo{\"foo\", 3}, {7}}));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:3029"}},{"Add":{"text":" CHECK(1 == Term<&Aggregate::foo, &Foo::value, popCount>{}({Foo{\"foo\", 2}, {7}}));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:3113"}},{"Add":{"text":" CHECK(Term<&Aggregate::foo, &Foo::value, popCount, isOdd>{}({Foo{\"foo\", 2}, {7}}));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:3199"}},{"Add":{"text":"}","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:3201"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:3202"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:3203"}},{"Add":{"text":"TEST_CASE(\"Minterm\") {","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:3226"}},{"Add":{"text":" { using MT = Minterm<","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:3250"}},{"Add":{"text":" Term<&Foo::value, isOdd>,","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:3282"}},{"Add":{"text":" Term<&Foo::value, popCount, isOdd>","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:3323"}},{"Add":{"text":" >;","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:3330"}},{"Add":{"text":" CHECK(MT({\"\", 0}).value == std::bitset<2>(0b00));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:3384"}},{"Add":{"text":" CHECK(MT({\"\", 1}).value == std::bitset<2>(0b11));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:3438"}},{"Add":{"text":" CHECK(MT({\"\", 2}).value == std::bitset<2>(0b10));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:3492"}},{"Add":{"text":" CHECK(MT({\"\", 3}).value == std::bitset<2>(0b01));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:3546"}},{"Add":{"text":" }","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:3550"}},{"Add":{"text":" { using MT = Minterm<","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:3574"}},{"Add":{"text":" Term<&Aggregate::foo, &Foo::value, isOdd>,","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:3623"}},{"Add":{"text":" Term<&Aggregate::foo, &Foo::value, popCount, isOdd>,","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:3682"}},{"Add":{"text":" Term<&Aggregate::bar, &Bar::value, isEven>,","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:3732"}},{"Add":{"text":" Term<&Aggregate::bar, &Bar::value, popCount, isEven>","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:3791"}},{"Add":{"text":" >;","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:3798"}},{"Add":{"text":" CHECK(MT({Foo{\"\", 0}, Bar{0}}).value == std::bitset<4>(0b1100));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:3867"}},{"Add":{"text":" CHECK(MT({Foo{\"\", 0}, Bar{1}}).value == std::bitset<4>(0b0000));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:3936"}},{"Add":{"text":" CHECK(MT({Foo{\"\", 0}, Bar{2}}).value == std::bitset<4>(0b0100));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:4005"}},{"Add":{"text":" CHECK(MT({Foo{\"\", 0}, Bar{3}}).value == std::bitset<4>(0b1000));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:4074"}},{"Add":{"text":" CHECK(MT({Foo{\"\", 1}, Bar{0}}).value == std::bitset<4>(0b1111));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:4143"}},{"Add":{"text":" CHECK(MT({Foo{\"\", 1}, Bar{1}}).value == std::bitset<4>(0b0011));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:4212"}},{"Add":{"text":" CHECK(MT({Foo{\"\", 1}, Bar{2}}).value == std::bitset<4>(0b0111));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:4281"}},{"Add":{"text":" CHECK(MT({Foo{\"\", 1}, Bar{3}}).value == std::bitset<4>(0b1011));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:4350"}},{"Add":{"text":" CHECK(MT({Foo{\"\", 2}, Bar{0}}).value == std::bitset<4>(0b1110));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:4419"}},{"Add":{"text":" CHECK(MT({Foo{\"\", 2}, Bar{1}}).value == std::bitset<4>(0b0010));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:4488"}},{"Add":{"text":" CHECK(MT({Foo{\"\", 2}, Bar{2}}).value == std::bitset<4>(0b0110));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:4557"}},{"Add":{"text":" CHECK(MT({Foo{\"\", 2}, Bar{3}}).value == std::bitset<4>(0b1010));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:4626"}},{"Add":{"text":" CHECK(MT({Foo{\"\", 3}, Bar{0}}).value == std::bitset<4>(0b1101));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:4695"}},{"Add":{"text":" CHECK(MT({Foo{\"\", 3}, Bar{1}}).value == std::bitset<4>(0b0001));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:4764"}},{"Add":{"text":" CHECK(MT({Foo{\"\", 3}, Bar{2}}).value == std::bitset<4>(0b0101));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:4833"}},{"Add":{"text":" CHECK(MT({Foo{\"\", 3}, Bar{3}}).value == std::bitset<4>(0b1001));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:4902"}},{"Add":{"text":" }","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:4906"}},{"Add":{"text":"}","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:4908"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:4909"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:4910"}},{"Add":{"text":"TEST_CASE(\"Equal\") {","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:4931"}},{"Add":{"text":" CHECK((Term{} == Term{})(13));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:4984"}},{"Add":{"text":" Foo foo { \"foo\", 5 };","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5008"}},{"Add":{"text":" Bar bar { 0 };","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5025"}},{"Add":{"text":" CHECK_FALSE(fooEqBar({foo, bar}));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5062"}},{"Add":{"text":" CHECK_FALSE(fooEqFoo({foo, Foo{\"foo2\", 4}}));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5110"}},{"Add":{"text":" CHECK(fooEqFoo2({Foo{\"foo0\", 0}, Foo{\"foo1\", 0}, Foo{\"foo2\", 0}}));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5180"}},{"Add":{"text":" bar.value = 5;","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5197"}},{"Add":{"text":" CHECK(fooEqBar({foo, bar}));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5228"}},{"Add":{"text":" CHECK(fooEqFoo({foo, Foo{\"foo2\", 5}}));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5270"}},{"Add":{"text":" CHECK_FALSE(fooEqFoo2({Foo{\"foo0\", 0}, Foo{\"foo1\", 1}, Foo{\"foo2\", 2}}));","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5346"}},{"Add":{"text":"}","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5348"}}]}},{"FileDel":{"deleted_names":[{"basename":"main.cpp","metadata":0}],"path":"src/main.cpp","del":{"EdgeMap":{"edges":[{"previous":"BLOCK | FOLDER","flag":"BLOCK | FOLDER | DELETED","from":{"change":3,"pos":15},"to":{"change":3,"start":17,"end":49},"introduced_by":3},{"previous":"BLOCK | FOLDER","flag":"BLOCK | FOLDER | DELETED","from":{"change":3,"pos":49},"to":{"change":3,"start":50,"end":50},"introduced_by":3}],"inode":{"change":3,"pos":50}}},"content_edges":{"edges":[{"previous":"","flag":"DELETED","from":{"change":3,"pos":18},"to":{"change":3,"start":51,"end":71},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":50},"to":{"change":3,"start":51,"end":71},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":2,"pos":18},"to":{"change":3,"start":71,"end":89},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":71},"to":{"change":3,"start":71,"end":89},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":59},"to":{"change":3,"start":89,"end":131},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":89},"to":{"change":3,"start":89,"end":131},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1471},"to":{"change":3,"start":1471,"end":1678},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":1678},"to":{"change":3,"start":723,"end":724},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":723},"to":{"change":3,"start":723,"end":724},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":1790},"to":{"change":3,"start":377,"end":378},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":377},"to":{"change":3,"start":377,"end":378},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":1892},"to":{"change":3,"start":468,"end":472},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":468},"to":{"change":3,"start":468,"end":472},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":472},"to":{"change":3,"start":807,"end":811},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":807},"to":{"change":3,"start":807,"end":811},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":495},"to":{"change":3,"start":1104,"end":1105},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":2121},"to":{"change":3,"start":1104,"end":1105},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1104},"to":{"change":3,"start":1104,"end":1105},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1105},"to":{"change":3,"start":2122,"end":2317},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":2317},"to":{"change":3,"start":496,"end":515},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1105},"to":{"change":3,"start":496,"end":515},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":2383},"to":{"change":3,"start":1230,"end":1234},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1230},"to":{"change":3,"start":1230,"end":1234},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1234},"to":{"change":3,"start":2384,"end":2406},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":2406},"to":{"change":3,"start":1234,"end":1235},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1234},"to":{"change":3,"start":1234,"end":1235},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":2540},"to":{"change":3,"start":712,"end":713},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":712},"to":{"change":3,"start":712,"end":713},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":360},"to":{"change":3,"start":2573,"end":2594},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":2573},"to":{"change":3,"start":2573,"end":2594},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":2594},"to":{"change":3,"start":361,"end":922},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":922},"to":{"change":3,"start":808,"end":809},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1361},"to":{"change":3,"start":808,"end":809},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":1008},"to":{"change":3,"start":1361,"end":1362},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":1229},"to":{"change":3,"start":1361,"end":1362},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":2783},"to":{"change":3,"start":1361,"end":1362},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1361},"to":{"change":3,"start":1361,"end":1362},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1362},"to":{"change":3,"start":2784,"end":2792},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":2792},"to":{"change":3,"start":1362,"end":1412},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1362},"to":{"change":3,"start":1362,"end":1412},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1412},"to":{"change":3,"start":2793,"end":2802},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":2802},"to":{"change":3,"start":1412,"end":1443},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1412},"to":{"change":3,"start":1412,"end":1443},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1565},"to":{"change":3,"start":1565,"end":1566},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1566},"to":{"change":3,"start":2803,"end":2816},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":2816},"to":{"change":3,"start":1566,"end":1567},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1566},"to":{"change":3,"start":1566,"end":1567},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1567},"to":{"change":3,"start":2817,"end":3404},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":1251},"to":{"change":3,"start":3404,"end":3405},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":3404},"to":{"change":3,"start":3404,"end":3405},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":1642},"to":{"change":3,"start":3405,"end":3420},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":3405},"to":{"change":3,"start":3405,"end":3420},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":3405},"to":{"change":3,"start":1252,"end":1341},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":2,"pos":370},"to":{"change":3,"start":1388,"end":1642},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1388},"to":{"change":3,"start":1388,"end":1642},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1341},"to":{"change":2,"start":209,"end":370},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":3404},"to":{"change":3,"start":1230,"end":1251},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":3420},"to":{"change":3,"start":1567,"end":1656},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1567},"to":{"change":3,"start":1567,"end":1656},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":1093},"to":{"change":3,"start":1711,"end":1728},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":3578},"to":{"change":3,"start":1711,"end":1728},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1711},"to":{"change":3,"start":1711,"end":1728},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":1178},"to":{"change":3,"start":1783,"end":1797},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":2589},"to":{"change":3,"start":1783,"end":1797},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":3736},"to":{"change":3,"start":1783,"end":1797},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1783},"to":{"change":3,"start":1783,"end":1797},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1728},"to":{"change":3,"start":3579,"end":3736},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":3736},"to":{"change":3,"start":1643,"end":1700},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":2,"pos":407},"to":{"change":3,"start":1700,"end":1734},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1700},"to":{"change":3,"start":1700,"end":1734},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":2,"pos":548},"to":{"change":3,"start":1823,"end":1827},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1823},"to":{"change":3,"start":1823,"end":1827},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":2588},"to":{"change":3,"start":2588,"end":2589},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1734},"to":{"change":2,"start":408,"end":548},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1700},"to":{"change":2,"start":371,"end":407},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1656},"to":{"change":3,"start":3421,"end":3578},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":1093},"to":{"change":3,"start":2754,"end":2782},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":809},"to":{"change":3,"start":2754,"end":2782},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":1160},"to":{"change":3,"start":2782,"end":2783},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":2782},"to":{"change":3,"start":2782,"end":2783},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":2783},"to":{"change":3,"start":1161,"end":1227},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":2,"pos":208},"to":{"change":3,"start":1227,"end":1229},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1227},"to":{"change":3,"start":1227,"end":1229},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1227},"to":{"change":2,"start":19,"end":208},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":2782},"to":{"change":3,"start":1094,"end":1160},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":809},"to":{"change":3,"start":923,"end":1093},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":713},"to":{"change":3,"start":28,"end":360},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1235},"to":{"change":3,"start":2407,"end":2540},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":515},"to":{"change":3,"start":2318,"end":2383},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":811},"to":{"change":3,"start":1893,"end":2121},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":378},"to":{"change":3,"start":1791,"end":1892},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":724},"to":{"change":3,"start":1679,"end":1790},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":89},"to":{"change":3,"start":19,"end":59},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":71},"to":{"change":2,"start":0,"end":18},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":3,"pos":27},"to":{"change":3,"start":0,"end":18},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":50},"to":{"change":3,"start":0,"end":18},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":50},"to":{"change":3,"start":0,"end":27},"introduced_by":3}],"inode":{"change":3,"pos":50}},"content":[{"Del":{"text":"#include ","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:70"}},{"Del":{"text":"#include ","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:88"}},{"Del":{"text":"","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:89"}},{"Del":{"text":"","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:90"}},{"Del":{"text":"template ","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:114"}},{"Del":{"text":"struct List {};","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:130"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1471"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1472"}},{"Del":{"text":"template ","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1508"}},{"Del":{"text":"struct Equal {","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1523"}},{"Del":{"text":" static_assert(std::is_same_v);","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1599"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1600"}},{"Del":{"text":" using Operand = std::decay_t;","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1654"}},{"Del":{"text":" using Result = bool;","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1677"}},{"Del":{"text":"","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:723"}},{"Del":{"text":"","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:377"}},{"Del":{"text":" }","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:471"}},{"Del":{"text":"};","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:809"}},{"Del":{"text":"","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:810"}},{"Del":{"text":"","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1104"}},{"Del":{"text":"template ","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2164"}},{"Del":{"text":"struct std_get_f<_i, std::tuple<_Ts...>> {","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2207"}},{"Del":{"text":" using Function =","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2226"}},{"Del":{"text":" std::tuple_element_t<_i, std::tuple<_Ts...>> const &(*)(std::tuple<_Ts...> const &);","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2315"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2316"}},{"Del":{"text":" static constexpr","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:514"}},{"Del":{"text":"};","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1232"}},{"Del":{"text":"","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1233"}},{"Del":{"text":"} // namespace detail","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2405"}},{"Del":{"text":"","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1234"}},{"Del":{"text":"","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:712"}},{"Del":{"text":"struct Constraints {","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2593"}},{"Del":{"text":" static_assert(","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:377"}},{"Del":{"text":" (std::is_same_v::Result> && ...),","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:451"}},{"Del":{"text":" \"All Constraints must have a Result type of bool\"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:505"}},{"Del":{"text":" );","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:510"}},{"Del":{"text":" using Operand = detail::Operand<_Terms...>;","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:556"}},{"Del":{"text":" using Minterm = std::bitset;","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:606"}},{"Del":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:607"}},{"Del":{"text":" template ","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:672"}},{"Del":{"text":" constexpr","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:684"}},{"Del":{"text":" void populate(Minterm &minterm, Operand const &operand, List<_Head, _Tail...>) const {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:773"}},{"Del":{"text":" minterm[_bit] = _Head{}(operand);","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:811"}},{"Del":{"text":" if constexpr (sizeof...(_Tail)) {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:849"}},{"Del":{"text":" populate<_bit + 1>(minterm, operand, List<_Tail...>{});","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:911"}},{"Del":{"text":" }","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:917"}},{"Del":{"text":" }","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:921"}},{"Del":{"text":"","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:808"}},{"Del":{"text":"","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1361"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2784"}},{"Del":{"text":"// Foo","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2791"}},{"Del":{"text":"","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1362"}},{"Del":{"text":"struct Foo {","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1375"}},{"Del":{"text":" std::string name;","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1395"}},{"Del":{"text":" int value;","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1408"}},{"Del":{"text":"};","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1411"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2793"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2794"}},{"Del":{"text":"// Bar","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2801"}},{"Del":{"text":"","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1412"}},{"Del":{"text":"struct Bar {","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1425"}},{"Del":{"text":" int value;","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1438"}},{"Del":{"text":"};","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1441"}},{"Del":{"text":"","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1442"}},{"Del":{"text":"","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1565"}},{"Del":{"text":"// Aggregate","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2815"}},{"Del":{"text":"","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1566"}},{"Del":{"text":"struct Aggregate {","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2835"}},{"Del":{"text":" Foo foo;","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2846"}},{"Del":{"text":" Bar bar;","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2857"}},{"Del":{"text":"};","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2860"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2861"}},{"Del":{"text":"constexpr","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2871"}},{"Del":{"text":"auto aggFooValue =","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2890"}},{"Del":{"text":" Term<&Aggregate::foo, &Foo::value>{};","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2930"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2931"}},{"Del":{"text":"constexpr","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2941"}},{"Del":{"text":"auto aggBarValue =","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2960"}},{"Del":{"text":" Term<&Aggregate::bar, &Bar::value>{};","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3000"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3001"}},{"Del":{"text":"constexpr","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3011"}},{"Del":{"text":"auto fooEqBar =","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3027"}},{"Del":{"text":" aggFooValue == aggBarValue;","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3057"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3058"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3059"}},{"Del":{"text":"// Pair of Foo","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3074"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3075"}},{"Del":{"text":"using FooFoo = std::pair;","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3111"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3112"}},{"Del":{"text":"constexpr","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3122"}},{"Del":{"text":"auto fooEqFoo =","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3138"}},{"Del":{"text":" Term<&FooFoo::first, &Foo::value>{} == Term<&FooFoo::second, &Foo::value>{};","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3217"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3218"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3219"}},{"Del":{"text":"// Tuple of Foo","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3235"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3236"}},{"Del":{"text":"using FooFooFoo = std::tuple;","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3281"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3282"}},{"Del":{"text":"constexpr","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3292"}},{"Del":{"text":"auto fooEqFoo2 =","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3309"}},{"Del":{"text":" Term, &Foo::value>{} == Term, &Foo::value>{};","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3401"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3402"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3403"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3404"}},{"Del":{"text":"//","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3407"}},{"Del":{"text":"// Main","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3415"}},{"Del":{"text":"//","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3418"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3419"}},{"Del":{"text":"constexpr","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1261"}},{"Del":{"text":"auto fooBarOdd =","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1278"}},{"Del":{"text":" Constraints<","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1293"}},{"Del":{"text":" Term<&Aggregate::foo, &Foo::value, isOdd>,","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1340"}},{"Del":{"text":" >{};","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1394"}},{"Del":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1395"}},{"Del":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1396"}},{"Del":{"text":"//","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1399"}},{"Del":{"text":"// Assertions","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1413"}},{"Del":{"text":"//","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1416"}},{"Del":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1417"}},{"Del":{"text":"template ","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1443"}},{"Del":{"text":"struct TermClosure {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1464"}},{"Del":{"text":" _Term term;","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1478"}},{"Del":{"text":" typename _Term::Operand operand;","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1513"}},{"Del":{"text":"};","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1516"}},{"Del":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1517"}},{"Del":{"text":"template ","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1547"}},{"Del":{"text":"bool check(_Terms &&...terms) {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1579"}},{"Del":{"text":" return (std::get<0>(terms)(std::get<1>(terms)) && ...);","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1637"}},{"Del":{"text":"}","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1639"}},{"Del":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1640"}},{"Del":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1641"}},{"Del":{"text":" Term<&Aggregate::foo, &Foo::value, popcount, isOdd>,","pos":"WIH7D6VWMT5Z36YBJN2PJ4Q35IUDNZIYGNIX6HTMXPMUXTRAYTSAC:265"}},{"Del":{"text":" Term<&Aggregate::bar, &Bar::value, isEven>,","pos":"WIH7D6VWMT5Z36YBJN2PJ4Q35IUDNZIYGNIX6HTMXPMUXTRAYTSAC:313"}},{"Del":{"text":" Term<&Aggregate::bar, &Bar::value, popcount, isOdd>","pos":"WIH7D6VWMT5Z36YBJN2PJ4Q35IUDNZIYGNIX6HTMXPMUXTRAYTSAC:369"}},{"Del":{"text":"//","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1232"}},{"Del":{"text":"// Constraints","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1247"}},{"Del":{"text":"//","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1250"}},{"Del":{"text":"int main () {","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1580"}},{"Del":{"text":" std::cout << \"Hello, world!\\n\";","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1614"}},{"Del":{"text":" Foo foo { \"foo\", 5 };","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1638"}},{"Del":{"text":" Bar bar { 0 };","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1655"}},{"Del":{"text":" bar.value = 5;","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1727"}},{"Del":{"text":" return 0;","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1794"}},{"Del":{"text":"}","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1796"}},{"Del":{"text":" std::cout << fooEqBar({foo, bar}) << ' ' << fooEqFoo({foo, Foo{\"foo2\", 5}}) << ' ' << fooEqFoo2({Foo{\"foo0\", 0}, Foo{\"foo1\", 1}, Foo{\"foo2\", 2}}) << '\\n';","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3735"}},{"Del":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1643"}},{"Del":{"text":" std::cout << Term<&Foo::value, isOdd>{}(foo) << '\\n';","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1699"}},{"Del":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1700"}},{"Del":{"text":" for (int i = 0; i < 10; ++i) {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1733"}},{"Del":{"text":" }","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1826"}},{"Del":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2588"}},{"Del":{"text":" std::cout << i << \": \" << fooBarOdd(Aggregate{Foo{\"foo\", i}, Bar{i >> 1}}) << ' ' << popcount(i) << ' ' << isOdd(popcount(i)) << '\\n';","pos":"WIH7D6VWMT5Z36YBJN2PJ4Q35IUDNZIYGNIX6HTMXPMUXTRAYTSAC:547"}},{"Del":{"text":" std::cout << popcount(4) << '\\n';","pos":"WIH7D6VWMT5Z36YBJN2PJ4Q35IUDNZIYGNIX6HTMXPMUXTRAYTSAC:406"}},{"Del":{"text":" std::cout << fooEqBar({foo, bar}) << ' ' << fooEqFoo({foo, Foo{\"foo2\", 4}}) << ' ' << fooEqFoo2({Foo{\"foo0\", 0}, Foo{\"foo1\", 0}, Foo{\"foo2\", 0}}) << '\\n';","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:3577"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2754"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2755"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2756"}},{"Del":{"text":"//","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2759"}},{"Del":{"text":"//","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2762"}},{"Del":{"text":"// Userland!","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2775"}},{"Del":{"text":"//","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2778"}},{"Del":{"text":"//","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2781"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2782"}},{"Del":{"text":"constexpr","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1170"}},{"Del":{"text":"bool isEven(int const &value) {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1202"}},{"Del":{"text":" return !isOdd(value);","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1226"}},{"Del":{"text":"}","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1228"}},{"Del":{"text":"}","pos":"WIH7D6VWMT5Z36YBJN2PJ4Q35IUDNZIYGNIX6HTMXPMUXTRAYTSAC:20"}},{"Del":{"text":"","pos":"WIH7D6VWMT5Z36YBJN2PJ4Q35IUDNZIYGNIX6HTMXPMUXTRAYTSAC:21"}},{"Del":{"text":"","pos":"WIH7D6VWMT5Z36YBJN2PJ4Q35IUDNZIYGNIX6HTMXPMUXTRAYTSAC:22"}},{"Del":{"text":"constexpr","pos":"WIH7D6VWMT5Z36YBJN2PJ4Q35IUDNZIYGNIX6HTMXPMUXTRAYTSAC:32"}},{"Del":{"text":"int popcount(int const &value) {","pos":"WIH7D6VWMT5Z36YBJN2PJ4Q35IUDNZIYGNIX6HTMXPMUXTRAYTSAC:65"}},{"Del":{"text":" int result = 0;","pos":"WIH7D6VWMT5Z36YBJN2PJ4Q35IUDNZIYGNIX6HTMXPMUXTRAYTSAC:83"}},{"Del":{"text":" for (std::size_t i = 0; i < std::numeric_limits::digits; ++i) {","pos":"WIH7D6VWMT5Z36YBJN2PJ4Q35IUDNZIYGNIX6HTMXPMUXTRAYTSAC:154"}},{"Del":{"text":" result += (value >> i) & 1;","pos":"WIH7D6VWMT5Z36YBJN2PJ4Q35IUDNZIYGNIX6HTMXPMUXTRAYTSAC:186"}},{"Del":{"text":" }","pos":"WIH7D6VWMT5Z36YBJN2PJ4Q35IUDNZIYGNIX6HTMXPMUXTRAYTSAC:190"}},{"Del":{"text":" return result;","pos":"WIH7D6VWMT5Z36YBJN2PJ4Q35IUDNZIYGNIX6HTMXPMUXTRAYTSAC:207"}},{"Del":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1094"}},{"Del":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1095"}},{"Del":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1096"}},{"Del":{"text":"constexpr","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1106"}},{"Del":{"text":"bool isOdd(int const &value) {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1137"}},{"Del":{"text":" return value & 1;","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1157"}},{"Del":{"text":"}","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1159"}},{"Del":{"text":" constexpr","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:934"}},{"Del":{"text":" Minterm operator()(Operand const &operand) const {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:987"}},{"Del":{"text":" Minterm minterm {};","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1011"}},{"Del":{"text":" populate<0>(minterm, operand, List<_Terms...>{});","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1065"}},{"Del":{"text":" return minterm;","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1085"}},{"Del":{"text":" }","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1089"}},{"Del":{"text":"};","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1092"}},{"Del":{"text":"namespace detail {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:46"}},{"Del":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:47"}},{"Del":{"text":"template struct operand_f;","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:95"}},{"Del":{"text":"template using Operand = typename operand_f<_Terms...>::value;","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:179"}},{"Del":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:180"}},{"Del":{"text":"template ","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:225"}},{"Del":{"text":"struct operand_f<_Head, _Tail...> {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:261"}},{"Del":{"text":" using value = typename _Head::Operand;","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:302"}},{"Del":{"text":"};","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:305"}},{"Del":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:306"}},{"Del":{"text":"} // namespace detail","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:328"}},{"Del":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:329"}},{"Del":{"text":"template ","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:359"}},{"Del":{"text":"template ","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2445"}},{"Del":{"text":"constexpr auto std_get =","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2470"}},{"Del":{"text":" detail::std_get_f<_i, _T>::value;","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2506"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2507"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2508"}},{"Del":{"text":"//","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2511"}},{"Del":{"text":"// A list of constraints","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2536"}},{"Del":{"text":"//","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2539"}},{"Del":{"text":" auto value =","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2332"}},{"Del":{"text":" static_cast(&std::get<_i, _Ts...>);","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2382"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1893"}},{"Del":{"text":"template ","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1927"}},{"Del":{"text":"constexpr","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1937"}},{"Del":{"text":"Equal, Term<_r ...>> operator==(Term<_l ...>, Term<_r ...>) {","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2012"}},{"Del":{"text":" return {};","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2025"}},{"Del":{"text":"}","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2027"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2028"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2029"}},{"Del":{"text":"// std::get helper","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2048"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2049"}},{"Del":{"text":"namespace detail {","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2068"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2069"}},{"Del":{"text":"template ","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2102"}},{"Del":{"text":"struct std_get_f;","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2120"}},{"Del":{"text":" constexpr","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1802"}},{"Del":{"text":" Result operator()(Operand &operand) const {","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1848"}},{"Del":{"text":" return _L{}(operand) == _R{}(operand);","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1891"}},{"Del":{"text":" constexpr","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1690"}},{"Del":{"text":" Result operator()(Operand const &operand) const {","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1742"}},{"Del":{"text":" return _L{}(operand) == _R{}(operand);","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1785"}},{"Del":{"text":" }","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1789"}},{"Del":{"text":"#include ","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:35"}},{"Del":{"text":"#include ","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:58"}},{"Del":{"text":"#include ","pos":"WIH7D6VWMT5Z36YBJN2PJ4Q35IUDNZIYGNIX6HTMXPMUXTRAYTSAC:17"}},{"Del":{"text":"#include ","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:17"}},{"Del":{"text":"#include \"cpp-gen/Term.h\"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:25"}},{"Del":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:26"}}]}},{"FileAdd":{"meta":{"basename":"repositories.manifest","metadata":0},"path":"repositories.manifest","context":[{"change":8,"pos":1}],"contents":[{"Add":{"text":": 1","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5400"}},{"Add":{"text":"summary: cpp-gen project repository","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5436"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5437"}},{"Add":{"text":":","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5439"}},{"Add":{"text":"role: prerequisite","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5458"}},{"Add":{"text":"location: https://pkg.cppget.org/1/stable","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5500"}},{"Add":{"text":"trust: 70:64:FE:E4:E0:F3:60:F1:B4:51:E1:FA:12:5C:E0:B3:DB:DF:96:33:39:B9:2E:E5:C2:68:63:4C:A6:47:39:43","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5603"}}]}},{"Edit":{"inode":{"change":3,"pos":2623},"path":"manifest","line":9,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":2752}],"down_context":[],"flag":"BLOCK","start":5605,"end":5630,"inode":{"change":3,"pos":2623}}},"contents":[{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5605"}},{"Add":{"text":"depends: catch2 ^ 3.3.2","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5629"}}]}},{"Edit":{"inode":{"change":3,"pos":2805},"path":"include/cpp-gen/Term.h","line":63,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":4250}],"down_context":[{"change":3,"pos":4250}],"flag":"BLOCK","start":5631,"end":6086,"inode":{"change":3,"pos":2805}}},"contents":[{"Add":{"text":" }","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5634"}},{"Add":{"text":"};","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5637"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5638"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5639"}},{"Add":{"text":"//","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5642"}},{"Add":{"text":"// Equality compare","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5662"}},{"Add":{"text":"//","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5665"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5666"}},{"Add":{"text":"template ","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5702"}},{"Add":{"text":"struct Equal {","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5717"}},{"Add":{"text":" static_assert(std::is_same_v);","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5793"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5794"}},{"Add":{"text":" using Operand = std::decay_t;","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5848"}},{"Add":{"text":" using Result = bool;","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5871"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5872"}},{"Add":{"text":" constexpr","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5884"}},{"Add":{"text":" Result operator()(Operand const &operand) const {","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5936"}},{"Add":{"text":" return _L{}(operand) == _R{}(operand);","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5979"}},{"Add":{"text":" }","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5983"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5984"}},{"Add":{"text":" constexpr","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:5996"}},{"Add":{"text":" Result operator()(Operand &operand) const {","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6042"}},{"Add":{"text":" return _L{}(operand) == _R{}(operand);","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6085"}}]}},{"Edit":{"inode":{"change":3,"pos":2805},"path":"include/cpp-gen/Term.h","line":88,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":4257}],"down_context":[],"flag":"BLOCK","start":6087,"end":6223,"inode":{"change":3,"pos":2805}}},"contents":[{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6087"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6088"}},{"Add":{"text":"template ","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6122"}},{"Add":{"text":"constexpr","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6132"}},{"Add":{"text":"Equal, Term<_r ...>> operator==(Term<_l ...>, Term<_r ...>) {","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6207"}},{"Add":{"text":" return {};","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6220"}},{"Add":{"text":"}","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6222"}}]}},{"FileAdd":{"meta":{"basename":"Minterm.h","metadata":0},"path":"include/cpp-gen/Minterm.h","context":[{"change":3,"pos":2772}],"contents":[{"Add":{"text":"#pragma once","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6271"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6272"}},{"Add":{"text":"#include ","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6290"}},{"Add":{"text":"#include ","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6313"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6314"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6315"}},{"Add":{"text":"namespace detail {","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6334"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6335"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6336"}},{"Add":{"text":"template ","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6360"}},{"Add":{"text":"struct List {};","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6376"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6377"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6378"}},{"Add":{"text":"template struct head_f;","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6423"}},{"Add":{"text":"template using Head = typename head_f<_Terms...>::value;","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6501"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6502"}},{"Add":{"text":"template ","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6547"}},{"Add":{"text":"struct head_f<_Head, _Tail...> {","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6580"}},{"Add":{"text":" using value = _Head;","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6603"}},{"Add":{"text":"};","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6606"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6607"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6608"}},{"Add":{"text":"} // namespace detail","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6630"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6631"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6632"}},{"Add":{"text":"template ","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6662"}},{"Add":{"text":"struct Minterm {","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6679"}},{"Add":{"text":" static_assert(","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6696"}},{"Add":{"text":" (std::is_same_v && ...),","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6756"}},{"Add":{"text":" \"All Minterm Terms must have a Result type of bool\"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6812"}},{"Add":{"text":" );","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6817"}},{"Add":{"text":" using Operand = typename detail::Head<_Terms...>::Operand;","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6878"}},{"Add":{"text":" using Value = std::bitset;","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6926"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6927"}},{"Add":{"text":" Value value;","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6942"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6943"}},{"Add":{"text":" constexpr","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6955"}},{"Add":{"text":" Minterm(Operand const &operand) {","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:6991"}},{"Add":{"text":" populate<0>(value, operand, detail::List<_Terms...>{});","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7051"}},{"Add":{"text":" }","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7055"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7056"}},{"Add":{"text":" template ","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7121"}},{"Add":{"text":" constexpr","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7133"}},{"Add":{"text":" void populate(Value &minterm, Operand const &operand, detail::List<_Head, _Tail...>) const {","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7228"}},{"Add":{"text":" minterm[_bit] = _Head{}(operand);","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7266"}},{"Add":{"text":" if constexpr (sizeof...(_Tail)) {","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7304"}},{"Add":{"text":" populate<_bit + 1>(minterm, operand, detail::List<_Tail...>{});","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7374"}},{"Add":{"text":" }","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7380"}},{"Add":{"text":" }","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7384"}},{"Add":{"text":"};","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7387"}}]}},{"Edit":{"inode":{"change":3,"pos":4292},"path":"buildfile","line":1,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":4292}],"down_context":[{"change":3,"pos":4293}],"flag":"BLOCK","start":7389,"end":7430,"inode":{"change":3,"pos":4292}}},"contents":[{"Add":{"text":"import libs += catch2%liba{catch2wmain}","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7428"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7429"}}]}},{"Replacement":{"inode":{"change":3,"pos":4292},"path":"buildfile","line":8,"ins":{"up_context":[{"change":3,"pos":4378}],"down_context":[],"flag":"BLOCK","start":7431,"end":7626,"inode":{"change":3,"pos":4292}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":4378},"to":{"change":3,"start":4378,"end":4436},"introduced_by":3}],"inode":{"change":3,"pos":4292}},"ins_contents":[{"Add":{"text":"headers += hxx{include/cpp-gen/Term.h}","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7469"}},{"Add":{"text":"headers += hxx{include/cpp-gen/Minterm.h}","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7511"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7512"}},{"Add":{"text":"exe{tests.out} : cxx{tests/test_Term.cpp} $headers testscript{tests/testscript} $libs","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7598"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7599"}},{"Add":{"text":"test.target = $cxx.target","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7625"}}],"del_contents":[{"Del":{"text":"exe{main} : cxx{src/main.cpp} hxx{include/cpp-gen/Term.h}","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:4435"}}]}},{"FileAdd":{"meta":{"basename":"build","metadata":576},"path":"build","context":[{"change":8,"pos":1}],"contents":[]}},{"FileAdd":{"meta":{"basename":"bootstrap.build","metadata":0},"path":"build/bootstrap.build","context":[{"change":0,"pos":7644}],"contents":[{"Add":{"text":"project = cpp-gen","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7704"}},{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7705"}},{"Add":{"text":"using version","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7719"}},{"Add":{"text":"using config","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7732"}},{"Add":{"text":"using test","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7743"}}]}},{"FileAdd":{"meta":{"basename":".ignore","metadata":0},"path":"build/.ignore","context":[{"change":0,"pos":7644}],"contents":[{"Add":{"text":"/config.build","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7791"}},{"Add":{"text":"/root/","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7798"}},{"Add":{"text":"/bootstrap/","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7810"}},{"Add":{"text":"build/","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7817"}}]}},{"Edit":{"inode":{"change":3,"pos":1924},"path":".ignore","line":3,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":1971}],"down_context":[{"change":3,"pos":1971}],"flag":"BLOCK","start":7819,"end":7830,"inode":{"change":3,"pos":1924}}},"contents":[{"Add":{"text":".gitignore","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7829"}}]}},{"Replacement":{"inode":{"change":3,"pos":1924},"path":".ignore","line":13,"ins":{"up_context":[{"change":3,"pos":4447}],"down_context":[],"flag":"BLOCK","start":7831,"end":7848,"inode":{"change":3,"pos":1924}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":3,"pos":4447},"to":{"change":3,"start":2052,"end":2057},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":2052},"to":{"change":3,"start":2052,"end":2057},"introduced_by":3}],"inode":{"change":3,"pos":1924}},"ins_contents":[{"Add":{"text":"","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7831"}},{"Add":{"text":"# Build2","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7840"}},{"Add":{"text":".bdep/","pos":"NYFRUAGKJW5ARRBK2KV74YZOYSI2HS23GBKADEPT6DD6SXON6ROQC:7847"}}],"del_contents":[{"Del":{"text":"main","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:2056"}}]}}],"owner":"tsmanner","repo":"cpp-gen","login":null}

…

Dependencies

Change contents

Review