{"header":{"message":"Started structuring the project code a little. First pass at creating a minterm from a list of constraints.","description":null,"timestamp":"2024-07-10T04:09:26.468830807Z","authors":[{}]},"hash":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC","authors":[{"key":"BZRjFpe4yWcELV5q9m5goQecQ5GyKG6yp24mWXjq2gpf"}],"deps":{"hashes":[["7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC","Started structuring the project code a little. First pass at creating a minterm from a list of constraints."],["AA",null],["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."],["RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC","First commit, playing around with some template patterns and initializing build2."],["PZPJ7F4OAINZC3D6HE3BDLZR7LNUEOTCFWOHU324SB4K4W7U7IBAC",""]],"deps":["6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC"],"known":["RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC","4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC"]},"hunks":[{"FileDel":{"deleted_names":[{"basename":"buildfile","metadata":0}],"path":"src/buildfile","del":{"EdgeMap":{"edges":[{"previous":"BLOCK | FOLDER","flag":"BLOCK | FOLDER | DELETED","from":{"change":3,"pos":15},"to":{"change":3,"start":1798,"end":1831},"introduced_by":3},{"previous":"BLOCK | FOLDER","flag":"BLOCK | FOLDER | DELETED","from":{"change":3,"pos":1831},"to":{"change":3,"start":1832,"end":1832},"introduced_by":3}],"inode":{"change":3,"pos":1832}}},"content_edges":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1832},"to":{"change":3,"start":1833,"end":1870},"introduced_by":3}],"inode":{"change":3,"pos":1832}},"content":[{"Del":{"text":"using cxx","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1842"}},{"Del":{"text":"","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1843"}},{"Del":{"text":"exe{main} : cxx{main.cpp}","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1869"}}]}},{"Edit":{"inode":{"change":3,"pos":50},"path":"src/main.cpp","line":1,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":50}],"down_context":[{"change":2,"pos":0}],"flag":"BLOCK","start":0,"end":27,"inode":{"change":3,"pos":50}}},"contents":[{"Add":{"text":"#include \"cpp-gen/Term.h\"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:25"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:26"}}]}},{"Edit":{"inode":{"change":3,"pos":50},"path":"src/main.cpp","line":12,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":441},"to":{"change":3,"start":441,"end":443},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":443},"to":{"change":2,"start":60,"end":80},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":80},"to":{"change":3,"start":459,"end":473},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":459},"to":{"change":3,"start":459,"end":473},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":473},"to":{"change":2,"start":81,"end":182},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":182},"to":{"change":3,"start":526,"end":548},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":526},"to":{"change":3,"start":526,"end":548},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":548},"to":{"change":2,"start":183,"end":358},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":358},"to":{"change":3,"start":22,"end":23},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":22},"to":{"change":3,"start":22,"end":23},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":23},"to":{"change":2,"start":359,"end":557},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":557},"to":{"change":3,"start":112,"end":116},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":112},"to":{"change":3,"start":112,"end":116},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":116},"to":{"change":3,"start":548,"end":552},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":548},"to":{"change":3,"start":548,"end":552},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":552},"to":{"change":2,"start":558,"end":744},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":744},"to":{"change":3,"start":139,"end":140},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":139},"to":{"change":3,"start":139,"end":140},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":140},"to":{"change":2,"start":745,"end":948},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":948},"to":{"change":3,"start":228,"end":232},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":228},"to":{"change":3,"start":228,"end":232},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":232},"to":{"change":3,"start":631,"end":635},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":631},"to":{"change":3,"start":631,"end":635},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":635},"to":{"change":2,"start":949,"end":1221},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":1221},"to":{"change":3,"start":255,"end":256},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":255},"to":{"change":3,"start":255,"end":256},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":256},"to":{"change":2,"start":1222,"end":1469},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":1469},"to":{"change":3,"start":350,"end":354},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":350},"to":{"change":3,"start":350,"end":354},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":354},"to":{"change":3,"start":720,"end":723},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":720},"to":{"change":3,"start":720,"end":723},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":723},"to":{"change":2,"start":1470,"end":1471},"introduced_by":2}],"inode":{"change":3,"pos":50}}},"contents":[{"Del":{"text":"","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:441"}},{"Del":{"text":"","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:442"}},{"Del":{"text":"template ","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:79"}},{"Del":{"text":"struct Term;","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:471"}},{"Del":{"text":"","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:472"}},{"Del":{"text":"// Single item: field (member or method) of _T.","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:128"}},{"Del":{"text":"template ","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:181"}},{"Del":{"text":"struct Term<_field> {","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:547"}},{"Del":{"text":" using Operand = std::decay_t<_T>;","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:218"}},{"Del":{"text":" using Result = std::decay_t,","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:296"}},{"Del":{"text":" std::invoke_result_t,","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:344"}},{"Del":{"text":" _R","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:351"}},{"Del":{"text":" >>;","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:357"}},{"Del":{"text":"","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:22"}},{"Del":{"text":" constexpr","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:370"}},{"Del":{"text":" Result const &operator()(Operand const &operand) const {","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:429"}},{"Del":{"text":" if constexpr (std::is_function_v<_R>) {","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:473"}},{"Del":{"text":" return (operand.*_field)();","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:507"}},{"Del":{"text":" } else {","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:520"}},{"Del":{"text":" return operand.*_field;","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:550"}},{"Del":{"text":" }","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:556"}},{"Del":{"text":" }","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:115"}},{"Del":{"text":"};","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:550"}},{"Del":{"text":"","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:551"}},{"Del":{"text":"// Single item: function of _T.","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:589"}},{"Del":{"text":"template ","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:647"}},{"Del":{"text":"struct Term<_function> {","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:672"}},{"Del":{"text":" using Operand = std::decay_t<_T>;","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:708"}},{"Del":{"text":" using Result = std::decay_t<_R>;","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:743"}},{"Del":{"text":"","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:139"}},{"Del":{"text":" constexpr","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:756"}},{"Del":{"text":" Result const &operator()(Operand const &operand) const {","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:815"}},{"Del":{"text":" return _function(operand);","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:846"}},{"Del":{"text":" }","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:850"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:851"}},{"Del":{"text":" constexpr","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:863"}},{"Del":{"text":" Result const &operator()(Operand &operand) const {","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:916"}},{"Del":{"text":" return _function(operand);","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:947"}},{"Del":{"text":" }","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:231"}},{"Del":{"text":"};","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:633"}},{"Del":{"text":"","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:634"}},{"Del":{"text":"// Multiple items: recursively forward the result of the first term to the remaining ones.","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1039"}},{"Del":{"text":"template ","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1076"}},{"Del":{"text":"struct Term<_head, _tail...> {","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1107"}},{"Del":{"text":" using Operand = std::decay_t::Operand>;","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1170"}},{"Del":{"text":" using Result = typename Term<_tail...>::Result;","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1220"}},{"Del":{"text":"","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:255"}},{"Del":{"text":" constexpr","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1233"}},{"Del":{"text":" Result const &operator()(Operand const &operand) const {","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1292"}},{"Del":{"text":" return Term<_tail...>{}(Term<_head>{}(operand));","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1345"}},{"Del":{"text":" }","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1349"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1350"}},{"Del":{"text":" constexpr","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1362"}},{"Del":{"text":" Result const &operator()(Operand &operand) const {","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1415"}},{"Del":{"text":" return Term<_tail...>{}(Term<_head>{}(operand));","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1468"}},{"Del":{"text":" }","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:353"}},{"Del":{"text":"};","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:722"}},{"Del":{"text":"","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:1470"}}]}},{"Replacement":{"inode":{"change":3,"pos":50},"path":"src/main.cpp","line":68,"ins":{"up_context":[{"change":3,"pos":713}],"down_context":[{"change":2,"pos":2573}],"flag":"BLOCK","start":28,"end":360,"inode":{"change":3,"pos":50}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":713},"to":{"change":2,"start":2541,"end":2573},"introduced_by":2}],"inode":{"change":3,"pos":50}},"ins_contents":[{"Add":{"text":"namespace detail {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:46"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:47"}},{"Add":{"text":"template struct operand_f;","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:95"}},{"Add":{"text":"template using Operand = typename operand_f<_Terms...>::value;","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:179"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:180"}},{"Add":{"text":"template ","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:225"}},{"Add":{"text":"struct operand_f<_Head, _Tail...> {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:261"}},{"Add":{"text":" using value = typename _Head::Operand;","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:302"}},{"Add":{"text":"};","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:305"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:306"}},{"Add":{"text":"} // namespace detail","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:328"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:329"}},{"Add":{"text":"template ","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:359"}}],"del_contents":[{"Del":{"text":"template ","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2572"}}]}},{"Replacement":{"inode":{"change":3,"pos":50},"path":"src/main.cpp","line":82,"ins":{"up_context":[{"change":2,"pos":2594}],"down_context":[{"change":3,"pos":808}],"flag":"BLOCK","start":361,"end":922,"inode":{"change":3,"pos":50}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":2594},"to":{"change":2,"start":2594,"end":2753},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":2753},"to":{"change":3,"start":1358,"end":1361},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1358},"to":{"change":3,"start":1358,"end":1361},"introduced_by":3}],"inode":{"change":3,"pos":50}},"ins_contents":[{"Add":{"text":" static_assert(","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:377"}},{"Add":{"text":" (std::is_same_v::Result> && ...),","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:451"}},{"Add":{"text":" \"All Constraints must have a Result type of bool\"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:505"}},{"Add":{"text":" );","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:510"}},{"Add":{"text":" using Operand = detail::Operand<_Terms...>;","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:556"}},{"Add":{"text":" using Minterm = std::bitset;","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:606"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:607"}},{"Add":{"text":" template ","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:672"}},{"Add":{"text":" constexpr","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:684"}},{"Add":{"text":" void populate(Minterm &minterm, Operand const &operand, List<_Head, _Tail...>) const {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:773"}},{"Add":{"text":" minterm[_bit] = _Head{}(operand);","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:811"}},{"Add":{"text":" if constexpr (sizeof...(_Tail)) {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:849"}},{"Add":{"text":" populate<_bit + 1>(minterm, operand, List<_Tail...>{});","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:911"}},{"Add":{"text":" }","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:917"}},{"Add":{"text":" }","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:921"}}],"del_contents":[{"Del":{"text":" static_assert((std::is_same_v::Result> && ...));","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2696"}},{"Del":{"text":" using Minterm = std::bitset;","pos":"6FA27FLNKYSKFHX7IJTITDYWHUYYFYDEYF24SPWZF22OXCGLI3EAC:2752"}},{"Del":{"text":"};","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1360"}}]}},{"Edit":{"inode":{"change":3,"pos":50},"path":"src/main.cpp","line":98,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":809}],"down_context":[{"change":2,"pos":2754}],"flag":"BLOCK","start":923,"end":1093,"inode":{"change":3,"pos":50}}},"contents":[{"Add":{"text":" constexpr","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:934"}},{"Add":{"text":" Minterm operator()(Operand const &operand) const {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:987"}},{"Add":{"text":" Minterm minterm {};","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1011"}},{"Add":{"text":" populate<0>(minterm, operand, List<_Terms...>{});","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1065"}},{"Add":{"text":" return minterm;","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1085"}},{"Add":{"text":" }","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1089"}},{"Add":{"text":"};","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1092"}}]}},{"Edit":{"inode":{"change":3,"pos":50},"path":"src/main.cpp","line":113,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":2782}],"down_context":[{"change":2,"pos":2782}],"flag":"BLOCK","start":1094,"end":1160,"inode":{"change":3,"pos":50}}},"contents":[{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1094"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1095"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1096"}},{"Add":{"text":"constexpr","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1106"}},{"Add":{"text":"bool isOdd(int const &value) {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1137"}},{"Add":{"text":" return value & 1;","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1157"}},{"Add":{"text":"}","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1159"}}]}},{"Edit":{"inode":{"change":3,"pos":50},"path":"src/main.cpp","line":121,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":2783}],"down_context":[{"change":3,"pos":1361}],"flag":"BLOCK","start":1161,"end":1229,"inode":{"change":3,"pos":50}}},"contents":[{"Add":{"text":"constexpr","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1170"}},{"Add":{"text":"bool isEven(int const &value) {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1202"}},{"Add":{"text":" return !isOdd(value);","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1226"}},{"Add":{"text":"}","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1228"}}]}},{"Edit":{"inode":{"change":3,"pos":50},"path":"src/main.cpp","line":180,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":3404}],"down_context":[{"change":2,"pos":3404}],"flag":"BLOCK","start":1230,"end":1251,"inode":{"change":3,"pos":50}}},"contents":[{"Add":{"text":"//","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1232"}},{"Add":{"text":"// Constraints","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1247"}},{"Add":{"text":"//","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1250"}}]}},{"Edit":{"inode":{"change":3,"pos":50},"path":"src/main.cpp","line":184,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":3405}],"down_context":[{"change":2,"pos":3405}],"flag":"BLOCK","start":1252,"end":1642,"inode":{"change":3,"pos":50}}},"contents":[{"Add":{"text":"constexpr","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1261"}},{"Add":{"text":"auto fooBarOdd =","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1278"}},{"Add":{"text":" Constraints<","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1293"}},{"Add":{"text":" Term<&Aggregate::foo, &Foo::value, isOdd>,","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1340"}},{"Add":{"text":" Term<&Aggregate::bar, &Bar::value, isEven>","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1387"}},{"Add":{"text":" >{};","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1394"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1395"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1396"}},{"Add":{"text":"//","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1399"}},{"Add":{"text":"// Assertions","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1413"}},{"Add":{"text":"//","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1416"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1417"}},{"Add":{"text":"template ","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1443"}},{"Add":{"text":"struct TermClosure {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1464"}},{"Add":{"text":" _Term term;","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1478"}},{"Add":{"text":" typename _Term::Operand operand;","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1513"}},{"Add":{"text":"};","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1516"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1517"}},{"Add":{"text":"template ","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1547"}},{"Add":{"text":"bool check(_Terms &&...terms) {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1579"}},{"Add":{"text":" return (std::get<0>(terms)(std::get<1>(terms)) && ...);","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1637"}},{"Add":{"text":"}","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1639"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1640"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1641"}}]}},{"Edit":{"inode":{"change":3,"pos":50},"path":"src/main.cpp","line":219,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":3736}],"down_context":[{"change":3,"pos":1783}],"flag":"BLOCK","start":1643,"end":2589,"inode":{"change":3,"pos":50}}},"contents":[{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1643"}},{"Add":{"text":" std::cout << Term<&Foo::value, isOdd>{}(foo) << '\\n';","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1699"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1700"}},{"Add":{"text":" for (int i = 0; i < 10; ++i) {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1733"}},{"Add":{"text":" std::cout << i << \": \" << fooBarOdd(Aggregate{Foo{\"foo\", i}, Bar{i >> 1}}) << '\\n';","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1822"}},{"Add":{"text":" }","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1826"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1827"}},{"Add":{"text":" std::cout << check(","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1849"}},{"Add":{"text":" std::make_tuple(Term<&Foo::value, isEven>{}, Foo{\"foo\", 0}),","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1915"}},{"Add":{"text":" std::make_tuple(Term<&Foo::value, isOdd >{}, Foo{\"foo\", 1}),","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:1981"}},{"Add":{"text":" std::make_tuple(Term<&Foo::value, isEven>{}, Foo{\"foo\", 2}),","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2047"}},{"Add":{"text":" std::make_tuple(Term<&Foo::value, isOdd >{}, Foo{\"foo\", 3}),","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2113"}},{"Add":{"text":" std::make_tuple(Term<&Foo::value, isEven>{}, Foo{\"foo\", 4}),","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2179"}},{"Add":{"text":" std::make_tuple(Term<&Foo::value, isOdd >{}, Foo{\"foo\", 5}),","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2245"}},{"Add":{"text":" std::make_tuple(Term<&Foo::value, isEven>{}, Foo{\"foo\", 6}),","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2311"}},{"Add":{"text":" std::make_tuple(Term<&Foo::value, isOdd >{}, Foo{\"foo\", 7}),","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2377"}},{"Add":{"text":" std::make_tuple(Term<&Foo::value, isEven>{}, Foo{\"foo\", 8}),","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2443"}},{"Add":{"text":" std::make_tuple(Term<&Foo::value, isOdd >{}, Foo{\"foo\", 9}),","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2509"}},{"Add":{"text":" std::make_tuple(Term<&Foo::value, isEven>{}, Foo{\"foo\", 10})","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2574"}},{"Add":{"text":" ) << '\\n';","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2587"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2588"}}]}},{"FileAdd":{"meta":{"basename":"manifest","metadata":0},"path":"manifest","context":[{"change":6,"pos":1}],"contents":[{"Add":{"text":": 1","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2627"}},{"Add":{"text":"name: cpp-gen","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2641"}},{"Add":{"text":"version: 0.0.1","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2656"}},{"Add":{"text":"summary: C++ constraint based generator.","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2697"}},{"Add":{"text":"type: exe","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2707"}},{"Add":{"text":"language: c++","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2721"}},{"Add":{"text":"project: cpp-gen","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2738"}},{"Add":{"text":"license: MIT","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2751"}}]}},{"FileAdd":{"meta":{"basename":"cpp-gen","metadata":576},"path":"include/cpp-gen","context":[{"change":3,"pos":1890}],"contents":[]}},{"FileAdd":{"meta":{"basename":"Term.h","metadata":0},"path":"include/cpp-gen/Term.h","context":[{"change":0,"pos":2772}],"contents":[{"Add":{"text":"#pragma once","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2818"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2819"}},{"Add":{"text":"#include ","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2842"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2843"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2844"}},{"Add":{"text":"template ","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2864"}},{"Add":{"text":"struct Term;","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2877"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2878"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2879"}},{"Add":{"text":"// Single item: field (member or method) of _T.","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2927"}},{"Add":{"text":"template ","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:2980"}},{"Add":{"text":"struct Term<_field> {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3002"}},{"Add":{"text":" using Operand = std::decay_t<_T>;","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3038"}},{"Add":{"text":" using Result = std::conditional_t<","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3075"}},{"Add":{"text":" std::is_function_v<_R>,","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3103"}},{"Add":{"text":" std::invoke_result_t,","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3151"}},{"Add":{"text":" _R const &","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3166"}},{"Add":{"text":" >;","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3171"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3172"}},{"Add":{"text":" constexpr","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3184"}},{"Add":{"text":" Result operator()(Operand const &operand) const {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3236"}},{"Add":{"text":" if constexpr (std::is_function_v<_R>) {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3280"}},{"Add":{"text":" return (operand.*_field)();","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3314"}},{"Add":{"text":" } else {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3327"}},{"Add":{"text":" return operand.*_field;","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3357"}},{"Add":{"text":" }","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3363"}},{"Add":{"text":" }","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3367"}},{"Add":{"text":"};","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3370"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3371"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3372"}},{"Add":{"text":"// Single item: function of _T.","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3404"}},{"Add":{"text":"template ","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3462"}},{"Add":{"text":"struct Term<_function> {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3487"}},{"Add":{"text":" using Operand = std::decay_t<_T>;","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3523"}},{"Add":{"text":" using Result = _R;","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3544"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3545"}},{"Add":{"text":" constexpr","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3557"}},{"Add":{"text":" Result operator()(Operand const &operand) const {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3609"}},{"Add":{"text":" return _function(operand);","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3640"}},{"Add":{"text":" }","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3644"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3645"}},{"Add":{"text":" constexpr","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3657"}},{"Add":{"text":" Result operator()(Operand &operand) const {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3703"}},{"Add":{"text":" return _function(operand);","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3734"}},{"Add":{"text":" }","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3738"}},{"Add":{"text":"};","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3741"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3742"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3743"}},{"Add":{"text":"// Multiple items: recursively forward the result of the first term to the remaining ones.","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3834"}},{"Add":{"text":"template ","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3871"}},{"Add":{"text":"struct Term<_head, _tail...> {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3902"}},{"Add":{"text":" using Operand = std::decay_t::Operand>;","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:3965"}},{"Add":{"text":" using Result = typename Term<_tail...>::Result;","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:4015"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:4016"}},{"Add":{"text":" constexpr","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:4028"}},{"Add":{"text":" Result operator()(Operand const &operand) const {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:4080"}},{"Add":{"text":" return Term<_tail...>{}(Term<_head>{}(operand));","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:4133"}},{"Add":{"text":" }","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:4137"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:4138"}},{"Add":{"text":" constexpr","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:4150"}},{"Add":{"text":" Result operator()(Operand &operand) const {","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:4196"}},{"Add":{"text":" return Term<_tail...>{}(Term<_head>{}(operand));","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:4249"}},{"Add":{"text":" }","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:4253"}},{"Add":{"text":"};","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:4256"}}]}},{"FileAdd":{"meta":{"basename":"buildfile","metadata":0},"path":"buildfile","context":[{"change":6,"pos":1}],"contents":[{"Add":{"text":"using cxx","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:4302"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:4303"}},{"Add":{"text":"cxx.poptions += \"-I$src_root/include/\"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:4342"}},{"Add":{"text":"cxx.coptions += \"-Wall\" \"-Werror\"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:4376"}},{"Add":{"text":"","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:4377"}},{"Add":{"text":"exe{main} : cxx{src/main.cpp} hxx{include/cpp-gen/Term.h}","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:4435"}}]}},{"Edit":{"inode":{"change":3,"pos":1924},"path":".ignore","line":5,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1989},"to":{"change":3,"start":1989,"end":1996},"introduced_by":3}],"inode":{"change":3,"pos":1924}}},"contents":[{"Del":{"text":"build/","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1995"}}]}},{"Replacement":{"inode":{"change":3,"pos":1924},"path":".ignore","line":9,"ins":{"up_context":[{"change":3,"pos":2043}],"down_context":[{"change":3,"pos":2048}],"flag":"BLOCK","start":4437,"end":4441,"inode":{"change":3,"pos":1924}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":2043},"to":{"change":3,"start":2043,"end":2048},"introduced_by":3}],"inode":{"change":3,"pos":1924}},"ins_contents":[{"Add":{"text":"*.d","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:4440"}}],"del_contents":[{"Del":{"text":"*.so","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:2047"}}]}},{"Edit":{"inode":{"change":3,"pos":1924},"path":".ignore","line":11,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":2052}],"down_context":[{"change":3,"pos":2052}],"flag":"BLOCK","start":4442,"end":4447,"inode":{"change":3,"pos":1924}}},"contents":[{"Add":{"text":"*.so","pos":"7OON6I5DETIRCQ24MOUVJ5QWQIMPTNP2PCRAA3BFOUMZ3I6PZOKQC:4446"}}]}}],"owner":"tsmanner","repo":"cpp-gen","login":null}

…

Dependencies

Change contents

Review