{"header":{"message":"CarpetX: Split validity checking into its own header file\n","description":null,"timestamp":"2020-06-02T18:01:18Z","authors":[{"email":"schnetter@gmail.com","name":"Erik Schnetter"}]},"hash":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC","authors":[],"deps":{"hashes":[["3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC","CarpetX: Split validity checking into its own header file\n"],["AA",null],["2WYS7YX7HXX2MAGIAJ63JFAP74O5Q26MQCT6KPLSEEXKT27PKOJAC","CarpetX: remove default constructor from why_valid_t\n"],["Q4BI3KHPY7G275UHURXZ23GQTMCI7OQAVQOFK7XR62KFH7SFHRQQC","CarpetX: Use thorn Arith for small vectors\n"],["KOOPA77MHDMNHAKH7YXUD2POVQCT3R2HHDHEFBW3G7MVM7QJQVYAC","AMReX: Simplify comparison operators\n"],["KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC","CarpetX: Make valid_t easier to use\n"],["TVBD244E7Q7WV44CRBTFST535NUP3JAZH6OLL4IKDR3OWEXSU7HAC","Make AMR adaptive (for initial conditions)\n"],["LHPZHX4FMRYBM7NI22QTP3VZDBYFRSNTY3L6BEEFPPF5KWCFFIHQC","CarpetX: Begin to track why regions are valid or invalid\n"],["KG47IF4CPCUT3BHS34WDRHTH5HYMBTY4OSTB3X7APR2E5ZJ32IYQC","AMR works\n"],["JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC","CarpetX: Improve error messages for invalid grid data\n"],["BVR7DVINVPQG7PA6Z7QYVYNQ43YZL7XCC6AOMSMWMGAAB2Q43STAC","Set up cctkGH entries\n"],["BPRNUTY7MHK7LK4EY5MY5OFFG3ABOL7LWXD574L35M74YSQPULFAC","Keep track of which regions of which variables have valid data.\n\nAlso correct all respective bugs.\n"],["3I2VE3RJ4E4WZZSUGJKOMHP2FKOAZA6SLVMVYE3B54SZCYXGIU4QC","CarpetX: Correct errors, probably introduce in the recent refactoring to improve error messages\n"],["722HZ7UFINNE3YKSYKP2NHZ5XEG5QQLQHSKC7PREJZR3EX6RDYUAC","Import initial AMReX driver for Cactus\n"],["TOBGHRPKEPSXDN56WGSZNWOMCBVJ4KUSLWYWI56MC2RR3MM3KLZAC","Restrict during evolution\n"],["33IC3UHCEPZLGS5ACS2JXHGT6CRU5LXU6PM6RDHCERPOIELVRVXQC","AMR is now adaptive\n"],["T3TZRPPAIA24I3YL3JFB4XEAYCWU3HJAJUCF7NNIFMP4I5X4SM5QC","CarpetX: Keep track of validity of outer boundary and ghost zones separately\n"],["FEMASUBNU32NSG4DNXZX54CGCA57PVRGYO46L3A6F2EJ4BCSJ3SAC","AMR with point charge\n"],["GKKJ75HX2ERLVBZVE2CUB6T3J2SUT7R3UKEKTEYNOG43ZKX6X5MQC","The big rename: AMReX -> CarpetX\n"]],"deps":["2WYS7YX7HXX2MAGIAJ63JFAP74O5Q26MQCT6KPLSEEXKT27PKOJAC","Q4BI3KHPY7G275UHURXZ23GQTMCI7OQAVQOFK7XR62KFH7SFHRQQC"],"known":["722HZ7UFINNE3YKSYKP2NHZ5XEG5QQLQHSKC7PREJZR3EX6RDYUAC","BVR7DVINVPQG7PA6Z7QYVYNQ43YZL7XCC6AOMSMWMGAAB2Q43STAC","KG47IF4CPCUT3BHS34WDRHTH5HYMBTY4OSTB3X7APR2E5ZJ32IYQC","TVBD244E7Q7WV44CRBTFST535NUP3JAZH6OLL4IKDR3OWEXSU7HAC","TOBGHRPKEPSXDN56WGSZNWOMCBVJ4KUSLWYWI56MC2RR3MM3KLZAC","33IC3UHCEPZLGS5ACS2JXHGT6CRU5LXU6PM6RDHCERPOIELVRVXQC","BPRNUTY7MHK7LK4EY5MY5OFFG3ABOL7LWXD574L35M74YSQPULFAC","KOOPA77MHDMNHAKH7YXUD2POVQCT3R2HHDHEFBW3G7MVM7QJQVYAC","T3TZRPPAIA24I3YL3JFB4XEAYCWU3HJAJUCF7NNIFMP4I5X4SM5QC","KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC","LHPZHX4FMRYBM7NI22QTP3VZDBYFRSNTY3L6BEEFPPF5KWCFFIHQC","JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC","3I2VE3RJ4E4WZZSUGJKOMHP2FKOAZA6SLVMVYE3B54SZCYXGIU4QC"]},"hunks":[{"Edit":{"inode":{"change":4,"pos":15275},"path":"CarpetX/src/driver.hxx","line":5,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":68}],"down_context":[{"change":18,"pos":4443}],"flag":"BLOCK","start":0,"end":21,"inode":{"change":4,"pos":15275}}},"contents":[{"Add":{"text":"#include \"valid.hxx\"","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:20"}}]}},{"Replacement":{"inode":{"change":4,"pos":15275},"path":"CarpetX/src/driver.hxx","line":36,"ins":{"up_context":[{"change":3,"pos":70}],"down_context":[{"change":4,"pos":0}],"flag":"BLOCK","start":22,"end":39,"inode":{"change":4,"pos":15275}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":70},"to":{"change":3,"start":70,"end":89},"introduced_by":3}],"inode":{"change":4,"pos":15275}},"ins_contents":[{"Add":{"text":"using Loop::dim;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:38"}}],"del_contents":[{"Del":{"text":" using Loop::dim;","pos":"Q4BI3KHPY7G275UHURXZ23GQTMCI7OQAVQOFK7XR62KFH7SFHRQQC:88"}}]}},{"Edit":{"inode":{"change":4,"pos":15275},"path":"CarpetX/src/driver.hxx","line":81,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":3822},"to":{"change":4,"start":3822,"end":3823},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":3823},"to":{"change":4,"start":2193,"end":2210},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":2210},"to":{"change":4,"start":1882,"end":1927},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":1927},"to":{"change":4,"start":22,"end":1018},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":1018},"to":{"change":4,"start":2665,"end":2702},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":2702},"to":{"change":4,"start":1049,"end":1106},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":1049},"to":{"change":4,"start":1049,"end":1106},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":1106},"to":{"change":4,"start":2703,"end":2740},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":2740},"to":{"change":4,"start":1137,"end":1194},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":1137},"to":{"change":4,"start":1137,"end":1194},"introduced_by":4}],"inode":{"change":4,"pos":15275}}},"contents":[{"Del":{"text":"","pos":"KG47IF4CPCUT3BHS34WDRHTH5HYMBTY4OSTB3X7APR2E5ZJ32IYQC:3822"}},{"Del":{"text":"struct valid_t {","pos":"BPRNUTY7MHK7LK4EY5MY5OFFG3ABOL7LWXD574L35M74YSQPULFAC:2209"}},{"Del":{"text":" bool valid_int, valid_outer, valid_ghosts;","pos":"T3TZRPPAIA24I3YL3JFB4XEAYCWU3HJAJUCF7NNIFMP4I5X4SM5QC:1926"}},{"Del":{"text":" constexpr valid_t() : valid_t(false) {}","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:63"}},{"Del":{"text":"","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:64"}},{"Del":{"text":" explicit constexpr valid_t(bool b)","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:101"}},{"Del":{"text":" : valid_int(b), valid_outer(b), valid_ghosts(b) {}","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:158"}},{"Del":{"text":" friend constexpr valid_t operator~(const valid_t &x) {","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:215"}},{"Del":{"text":" valid_t r;","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:230"}},{"Del":{"text":" r.valid_int = !x.valid_int;","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:262"}},{"Del":{"text":" r.valid_outer = !x.valid_outer;","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:298"}},{"Del":{"text":" r.valid_ghosts = !x.valid_ghosts;","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:336"}},{"Del":{"text":" return r;","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:350"}},{"Del":{"text":" }","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:354"}},{"Del":{"text":" friend constexpr valid_t operator&(const valid_t &x, const valid_t &y) {","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:429"}},{"Del":{"text":" valid_t r;","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:444"}},{"Del":{"text":" r.valid_int = x.valid_int && y.valid_int;","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:490"}},{"Del":{"text":" r.valid_outer = x.valid_outer && y.valid_outer;","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:542"}},{"Del":{"text":" r.valid_ghosts = x.valid_ghosts && y.valid_ghosts;","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:597"}},{"Del":{"text":" return r;","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:611"}},{"Del":{"text":" }","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:615"}},{"Del":{"text":" friend constexpr valid_t operator|(const valid_t &x, const valid_t &y) {","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:690"}},{"Del":{"text":" valid_t r;","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:705"}},{"Del":{"text":" r.valid_int = x.valid_int || y.valid_int;","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:751"}},{"Del":{"text":" r.valid_outer = x.valid_outer || y.valid_outer;","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:803"}},{"Del":{"text":" r.valid_ghosts = x.valid_ghosts || y.valid_ghosts;","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:858"}},{"Del":{"text":" return r;","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:872"}},{"Del":{"text":" }","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:876"}},{"Del":{"text":" valid_t &operator&=(const valid_t &x) { return *this = *this & x; }","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:946"}},{"Del":{"text":" valid_t &operator|=(const valid_t &x) { return *this = *this | x; }","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:1016"}},{"Del":{"text":"","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:1017"}},{"Del":{"text":" constexpr bool valid_all() const {","pos":"LHPZHX4FMRYBM7NI22QTP3VZDBYFRSNTY3L6BEEFPPF5KWCFFIHQC:2701"}},{"Del":{"text":" return valid_int && valid_outer && valid_ghosts;","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:1101"}},{"Del":{"text":" }","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:1105"}},{"Del":{"text":" constexpr bool valid_any() const {","pos":"LHPZHX4FMRYBM7NI22QTP3VZDBYFRSNTY3L6BEEFPPF5KWCFFIHQC:2739"}},{"Del":{"text":" return valid_int || valid_outer || valid_ghosts;","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:1189"}},{"Del":{"text":" }","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:1193"}}]}},{"Edit":{"inode":{"change":4,"pos":15275},"path":"CarpetX/src/driver.hxx","line":82,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":2292},"to":{"change":4,"start":18,"end":81},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":81},"to":{"change":4,"start":2003,"end":2139},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":2139},"to":{"change":4,"start":181,"end":185},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":181},"to":{"change":4,"start":181,"end":185},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":185},"to":{"change":4,"start":2292,"end":2354},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":2292},"to":{"change":4,"start":2292,"end":2354},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":2354},"to":{"change":4,"start":2140,"end":2275},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":2275},"to":{"change":4,"start":2446,"end":2450},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":285},"to":{"change":4,"start":2446,"end":2450},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":2446},"to":{"change":4,"start":2446,"end":2450},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":2450},"to":{"change":4,"start":1195,"end":1196},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":1196},"to":{"change":4,"start":2450,"end":2568},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":2450},"to":{"change":4,"start":2450,"end":2568},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":2568},"to":{"change":4,"start":2276,"end":2415},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":2415},"to":{"change":4,"start":2666,"end":2769},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":2666},"to":{"change":4,"start":2666,"end":2769},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":2769},"to":{"change":4,"start":2713,"end":3103},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":3103},"to":{"change":4,"start":2946,"end":2947},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":2946},"to":{"change":4,"start":2946,"end":2947},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":3278},"to":{"change":4,"start":1197,"end":1803},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":2769},"to":{"change":4,"start":1197,"end":1803},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":1803},"to":{"change":4,"start":3104,"end":3204},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":3204},"to":{"change":2,"start":0,"end":97},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":4,"pos":622},"to":{"change":4,"start":3272,"end":4939},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":2,"pos":97},"to":{"change":4,"start":3272,"end":4939},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":3272},"to":{"change":4,"start":3272,"end":4939},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":4939},"to":{"change":4,"start":1803,"end":1804},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":1803},"to":{"change":4,"start":1803,"end":1804},"introduced_by":4}],"inode":{"change":4,"pos":15275}}},"contents":[{"Del":{"text":" friend bool operator==(const valid_t &x, const valid_t &y) {","pos":"KOOPA77MHDMNHAKH7YXUD2POVQCT3R2HHDHEFBW3G7MVM7QJQVYAC:80"}},{"Del":{"text":" return make_tuple(x.valid_int, x.valid_outer, x.valid_ghosts) ==","pos":"T3TZRPPAIA24I3YL3JFB4XEAYCWU3HJAJUCF7NNIFMP4I5X4SM5QC:2071"}},{"Del":{"text":" make_tuple(y.valid_int, y.valid_outer, y.valid_ghosts);","pos":"T3TZRPPAIA24I3YL3JFB4XEAYCWU3HJAJUCF7NNIFMP4I5X4SM5QC:2138"}},{"Del":{"text":" }","pos":"KOOPA77MHDMNHAKH7YXUD2POVQCT3R2HHDHEFBW3G7MVM7QJQVYAC:184"}},{"Del":{"text":" friend bool operator<(const valid_t &x, const valid_t &y) {","pos":"BPRNUTY7MHK7LK4EY5MY5OFFG3ABOL7LWXD574L35M74YSQPULFAC:2353"}},{"Del":{"text":" return make_tuple(x.valid_int, x.valid_outer, x.valid_ghosts) <","pos":"T3TZRPPAIA24I3YL3JFB4XEAYCWU3HJAJUCF7NNIFMP4I5X4SM5QC:2207"}},{"Del":{"text":" make_tuple(y.valid_int, y.valid_outer, y.valid_ghosts);","pos":"T3TZRPPAIA24I3YL3JFB4XEAYCWU3HJAJUCF7NNIFMP4I5X4SM5QC:2274"}},{"Del":{"text":" }","pos":"BPRNUTY7MHK7LK4EY5MY5OFFG3ABOL7LWXD574L35M74YSQPULFAC:2449"}},{"Del":{"text":"","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:1195"}},{"Del":{"text":" friend ostream &operator<<(ostream &os, const valid_t v) {","pos":"BPRNUTY7MHK7LK4EY5MY5OFFG3ABOL7LWXD574L35M74YSQPULFAC:2510"}},{"Del":{"text":" auto str = [](bool v) { return v ? \"VAL\" : \"INV\"; };","pos":"BPRNUTY7MHK7LK4EY5MY5OFFG3ABOL7LWXD574L35M74YSQPULFAC:2567"}},{"Del":{"text":" return os << \"[int:\" << str(v.valid_int) << \",outer:\" << str(v.valid_outer)","pos":"T3TZRPPAIA24I3YL3JFB4XEAYCWU3HJAJUCF7NNIFMP4I5X4SM5QC:2355"}},{"Del":{"text":" << \",ghosts:\" << str(v.valid_ghosts) << \"]\";","pos":"T3TZRPPAIA24I3YL3JFB4XEAYCWU3HJAJUCF7NNIFMP4I5X4SM5QC:2414"}},{"Del":{"text":" }","pos":"BPRNUTY7MHK7LK4EY5MY5OFFG3ABOL7LWXD574L35M74YSQPULFAC:2669"}},{"Del":{"text":" operator string() const {","pos":"BPRNUTY7MHK7LK4EY5MY5OFFG3ABOL7LWXD574L35M74YSQPULFAC:2697"}},{"Del":{"text":" ostringstream buf;","pos":"BPRNUTY7MHK7LK4EY5MY5OFFG3ABOL7LWXD574L35M74YSQPULFAC:2720"}},{"Del":{"text":" buf << *this;","pos":"BPRNUTY7MHK7LK4EY5MY5OFFG3ABOL7LWXD574L35M74YSQPULFAC:2738"}},{"Del":{"text":" return buf.str();","pos":"BPRNUTY7MHK7LK4EY5MY5OFFG3ABOL7LWXD574L35M74YSQPULFAC:2760"}},{"Del":{"text":" }","pos":"BPRNUTY7MHK7LK4EY5MY5OFFG3ABOL7LWXD574L35M74YSQPULFAC:2764"}},{"Del":{"text":"};","pos":"BPRNUTY7MHK7LK4EY5MY5OFFG3ABOL7LWXD574L35M74YSQPULFAC:2767"}},{"Del":{"text":"","pos":"BPRNUTY7MHK7LK4EY5MY5OFFG3ABOL7LWXD574L35M74YSQPULFAC:2768"}},{"Del":{"text":"inline constexpr valid_t make_valid_int() {","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:2756"}},{"Del":{"text":" valid_t valid;","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:2773"}},{"Del":{"text":" valid.valid_int = true;","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:2799"}},{"Del":{"text":" return valid;","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:2815"}},{"Del":{"text":"}","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:2817"}},{"Del":{"text":"inline constexpr valid_t make_valid_outer() {","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:2863"}},{"Del":{"text":" valid_t valid;","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:2880"}},{"Del":{"text":" valid.valid_outer = true;","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:2908"}},{"Del":{"text":" return valid;","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:2924"}},{"Del":{"text":"}","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:2926"}},{"Del":{"text":"inline constexpr valid_t make_valid_ghosts() {","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:2973"}},{"Del":{"text":" valid_t valid;","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:2990"}},{"Del":{"text":" valid.valid_ghosts = true;","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:3019"}},{"Del":{"text":" return valid;","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:3035"}},{"Del":{"text":"}","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:3037"}},{"Del":{"text":"inline constexpr valid_t make_valid_all() { return ~valid_t(); }","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:3102"}},{"Del":{"text":"","pos":"LHPZHX4FMRYBM7NI22QTP3VZDBYFRSNTY3L6BEEFPPF5KWCFFIHQC:2946"}},{"Del":{"text":"} // namespace CarpetX","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:1219"}},{"Del":{"text":"namespace std {","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:1235"}},{"Del":{"text":"using namespace CarpetX;","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:1260"}},{"Del":{"text":"template <> struct equal_to {","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:1299"}},{"Del":{"text":" constexpr bool operator()(const valid_t &x, const valid_t &y) const {","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:1371"}},{"Del":{"text":" return make_tuple(x.valid_int, x.valid_outer, x.valid_ghosts) ==","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:1440"}},{"Del":{"text":" make_tuple(y.valid_int, y.valid_outer, y.valid_ghosts);","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:1507"}},{"Del":{"text":" }","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:1511"}},{"Del":{"text":"};","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:1514"}},{"Del":{"text":"template <> struct less {","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:1549"}},{"Del":{"text":" constexpr bool operator()(const valid_t &x, const valid_t &y) const {","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:1621"}},{"Del":{"text":" return make_tuple(x.valid_int, x.valid_outer, x.valid_ghosts) <","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:1689"}},{"Del":{"text":" make_tuple(y.valid_int, y.valid_outer, y.valid_ghosts);","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:1756"}},{"Del":{"text":" }","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:1760"}},{"Del":{"text":"};","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:1763"}},{"Del":{"text":"} // namespace std","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:1782"}},{"Del":{"text":"namespace CarpetX {","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:1802"}},{"Del":{"text":"","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:3104"}},{"Del":{"text":"class why_valid_t {","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:3124"}},{"Del":{"text":" valid_t valid;","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:3141"}},{"Del":{"text":" function why_int, why_outer, why_ghosts;","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:3194"}},{"Del":{"text":"","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:3195"}},{"Del":{"text":"public:","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:3203"}},{"Del":{"text":" // The constructor that doesn't give a reason should never be called","pos":"2WYS7YX7HXX2MAGIAJ63JFAP74O5Q26MQCT6KPLSEEXKT27PKOJAC:70"}},{"Del":{"text":" why_valid_t() = delete;","pos":"2WYS7YX7HXX2MAGIAJ63JFAP74O5Q26MQCT6KPLSEEXKT27PKOJAC:96"}},{"Del":{"text":" why_valid_t(const function &why) : why_valid_t(false, why) {}","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:3345"}},{"Del":{"text":" why_valid_t(bool b, const function &why)","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:3398"}},{"Del":{"text":" : why_valid_t(valid_t(b), why) {}","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:3438"}},{"Del":{"text":" why_valid_t(const valid_t &val, const function &why)","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:3503"}},{"Del":{"text":" : valid(val), why_int(why), why_outer(why), why_ghosts(why) {}","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:3572"}},{"Del":{"text":"","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:3573"}},{"Del":{"text":" const valid_t &get() const { return valid; }","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:3620"}},{"Del":{"text":"","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:3621"}},{"Del":{"text":" void set(const valid_t &val, const function &why) {","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:3685"}},{"Del":{"text":" auto old_valid = valid;","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:3713"}},{"Del":{"text":" valid = val;","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:3730"}},{"Del":{"text":" auto new_valid = valid;","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:3758"}},{"Del":{"text":" if (new_valid.valid_int != old_valid.valid_int)","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:3810"}},{"Del":{"text":" why_int = why;","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:3831"}},{"Del":{"text":" if (new_valid.valid_outer != old_valid.valid_outer)","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:3887"}},{"Del":{"text":" why_outer = why;","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:3910"}},{"Del":{"text":" if (new_valid.valid_ghosts != old_valid.valid_ghosts)","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:3968"}},{"Del":{"text":" why_ghosts = why;","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:3992"}},{"Del":{"text":" }","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:3996"}},{"Del":{"text":" void set_int(bool b, const function &why) {","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4052"}},{"Del":{"text":" auto val = valid;","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4074"}},{"Del":{"text":" val.valid_int = b;","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4097"}},{"Del":{"text":" set(val, why);","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4116"}},{"Del":{"text":" }","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4120"}},{"Del":{"text":" void set_outer(bool b, const function &why) {","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4178"}},{"Del":{"text":" auto val = valid;","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4200"}},{"Del":{"text":" val.valid_outer = b;","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4225"}},{"Del":{"text":" set(val, why);","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4244"}},{"Del":{"text":" }","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4248"}},{"Del":{"text":" void set_ghosts(bool b, const function &why) {","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4307"}},{"Del":{"text":" auto val = valid;","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4329"}},{"Del":{"text":" val.valid_ghosts = b;","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4355"}},{"Del":{"text":" set(val, why);","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4374"}},{"Del":{"text":" }","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4378"}},{"Del":{"text":" void set_and(const valid_t &val, const function &why) {","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4446"}},{"Del":{"text":" set(valid & val, why);","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4473"}},{"Del":{"text":" }","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4477"}},{"Del":{"text":" void set_or(const valid_t &val, const function &why) {","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4544"}},{"Del":{"text":" set(valid | val, why);","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4571"}},{"Del":{"text":" }","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4575"}},{"Del":{"text":"","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4576"}},{"Del":{"text":" friend ostream &operator<<(ostream &os, const why_valid_t why) {","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4643"}},{"Del":{"text":" return os << why.valid << \",\"","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4677"}},{"Del":{"text":" << \"why{int:\" << why.why_int() << \",\"","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4729"}},{"Del":{"text":" << \"outer:\" << why.why_outer() << \",\"","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4781"}},{"Del":{"text":" << \"ghosts:\" << why.why_ghosts() << \"}\";","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4836"}},{"Del":{"text":" }","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4840"}},{"Del":{"text":" operator string() const {","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4868"}},{"Del":{"text":" ostringstream buf;","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4891"}},{"Del":{"text":" buf << *this;","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4909"}},{"Del":{"text":" return buf.str();","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4931"}},{"Del":{"text":" }","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4935"}},{"Del":{"text":"};","pos":"JN2TPHENEBIY2OE5FRCQ2E6QCL6FPVHJHUCP4UODD6DITRVV2LIQC:4938"}},{"Del":{"text":"","pos":"KN5Z747NMDBSXQHVGLLYQKCOW5423HDAYDCMIR6RTZZMICMCPN3AC:1803"}}]}},{"FileAdd":{"meta":{"basename":"valid.hxx","metadata":420},"path":"CarpetX/src/valid.hxx","context":[{"change":19,"pos":2677}],"contents":[{"Add":{"text":"#ifndef VALID_HXX","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:70"}},{"Add":{"text":"#define VALID_HXX","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:88"}},{"Add":{"text":"","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:89"}},{"Add":{"text":"#include ","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:111"}},{"Add":{"text":"#include ","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:131"}},{"Add":{"text":"#include ","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:150"}},{"Add":{"text":"#include ","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:167"}},{"Add":{"text":"","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:168"}},{"Add":{"text":"namespace CarpetX {","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:188"}},{"Add":{"text":"using namespace std;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:209"}},{"Add":{"text":"","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:210"}},{"Add":{"text":"struct valid_t {","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:227"}},{"Add":{"text":" bool valid_int, valid_outer, valid_ghosts;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:272"}},{"Add":{"text":" constexpr valid_t() : valid_t(false) {}","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:314"}},{"Add":{"text":"","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:315"}},{"Add":{"text":" explicit constexpr valid_t(bool b)","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:352"}},{"Add":{"text":" : valid_int(b), valid_outer(b), valid_ghosts(b) {}","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:409"}},{"Add":{"text":" friend constexpr valid_t operator~(const valid_t &x) {","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:466"}},{"Add":{"text":" valid_t r;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:481"}},{"Add":{"text":" r.valid_int = !x.valid_int;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:513"}},{"Add":{"text":" r.valid_outer = !x.valid_outer;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:549"}},{"Add":{"text":" r.valid_ghosts = !x.valid_ghosts;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:587"}},{"Add":{"text":" return r;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:601"}},{"Add":{"text":" }","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:605"}},{"Add":{"text":" friend constexpr valid_t operator&(const valid_t &x, const valid_t &y) {","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:680"}},{"Add":{"text":" valid_t r;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:695"}},{"Add":{"text":" r.valid_int = x.valid_int && y.valid_int;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:741"}},{"Add":{"text":" r.valid_outer = x.valid_outer && y.valid_outer;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:793"}},{"Add":{"text":" r.valid_ghosts = x.valid_ghosts && y.valid_ghosts;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:848"}},{"Add":{"text":" return r;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:862"}},{"Add":{"text":" }","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:866"}},{"Add":{"text":" friend constexpr valid_t operator|(const valid_t &x, const valid_t &y) {","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:941"}},{"Add":{"text":" valid_t r;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:956"}},{"Add":{"text":" r.valid_int = x.valid_int || y.valid_int;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:1002"}},{"Add":{"text":" r.valid_outer = x.valid_outer || y.valid_outer;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:1054"}},{"Add":{"text":" r.valid_ghosts = x.valid_ghosts || y.valid_ghosts;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:1109"}},{"Add":{"text":" return r;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:1123"}},{"Add":{"text":" }","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:1127"}},{"Add":{"text":" valid_t &operator&=(const valid_t &x) { return *this = *this & x; }","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:1197"}},{"Add":{"text":" valid_t &operator|=(const valid_t &x) { return *this = *this | x; }","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:1267"}},{"Add":{"text":"","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:1268"}},{"Add":{"text":" constexpr bool valid_all() const {","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:1305"}},{"Add":{"text":" return valid_int && valid_outer && valid_ghosts;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:1358"}},{"Add":{"text":" }","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:1362"}},{"Add":{"text":" constexpr bool valid_any() const {","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:1399"}},{"Add":{"text":" return valid_int || valid_outer || valid_ghosts;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:1452"}},{"Add":{"text":" }","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:1456"}},{"Add":{"text":"","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:1457"}},{"Add":{"text":" friend bool operator==(const valid_t &x, const valid_t &y) {","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:1520"}},{"Add":{"text":" return make_tuple(x.valid_int, x.valid_outer, x.valid_ghosts) ==","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:1589"}},{"Add":{"text":" make_tuple(y.valid_int, y.valid_outer, y.valid_ghosts);","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:1656"}},{"Add":{"text":" }","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:1660"}},{"Add":{"text":" friend bool operator<(const valid_t &x, const valid_t &y) {","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:1722"}},{"Add":{"text":" return make_tuple(x.valid_int, x.valid_outer, x.valid_ghosts) <","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:1790"}},{"Add":{"text":" make_tuple(y.valid_int, y.valid_outer, y.valid_ghosts);","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:1857"}},{"Add":{"text":" }","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:1861"}},{"Add":{"text":"","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:1862"}},{"Add":{"text":" friend ostream &operator<<(ostream &os, const valid_t v) {","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:1923"}},{"Add":{"text":" auto str = [](bool v) { return v ? \"VAL\" : \"INV\"; };","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:1980"}},{"Add":{"text":" return os << \"[int:\" << str(v.valid_int) << \",outer:\" << str(v.valid_outer)","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2060"}},{"Add":{"text":" << \",ghosts:\" << str(v.valid_ghosts) << \"]\";","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2119"}},{"Add":{"text":" }","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2123"}},{"Add":{"text":" operator string() const {","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2151"}},{"Add":{"text":" ostringstream buf;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2174"}},{"Add":{"text":" buf << *this;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2192"}},{"Add":{"text":" return buf.str();","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2214"}},{"Add":{"text":" }","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2218"}},{"Add":{"text":"};","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2221"}},{"Add":{"text":"","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2222"}},{"Add":{"text":"inline constexpr valid_t make_valid_int() {","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2266"}},{"Add":{"text":" valid_t valid;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2283"}},{"Add":{"text":" valid.valid_int = true;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2309"}},{"Add":{"text":" return valid;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2325"}},{"Add":{"text":"}","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2327"}},{"Add":{"text":"inline constexpr valid_t make_valid_outer() {","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2373"}},{"Add":{"text":" valid_t valid;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2390"}},{"Add":{"text":" valid.valid_outer = true;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2418"}},{"Add":{"text":" return valid;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2434"}},{"Add":{"text":"}","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2436"}},{"Add":{"text":"inline constexpr valid_t make_valid_ghosts() {","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2483"}},{"Add":{"text":" valid_t valid;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2500"}},{"Add":{"text":" valid.valid_ghosts = true;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2529"}},{"Add":{"text":" return valid;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2545"}},{"Add":{"text":"}","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2547"}},{"Add":{"text":"inline constexpr valid_t make_valid_all() { return ~valid_t(); }","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2612"}},{"Add":{"text":"","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2613"}},{"Add":{"text":"} // namespace CarpetX","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2636"}},{"Add":{"text":"namespace std {","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2652"}},{"Add":{"text":"using namespace CarpetX;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2677"}},{"Add":{"text":"template <> struct equal_to {","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2716"}},{"Add":{"text":" constexpr bool operator()(const valid_t &x, const valid_t &y) const {","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2788"}},{"Add":{"text":" return make_tuple(x.valid_int, x.valid_outer, x.valid_ghosts) ==","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2857"}},{"Add":{"text":" make_tuple(y.valid_int, y.valid_outer, y.valid_ghosts);","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2924"}},{"Add":{"text":" }","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2928"}},{"Add":{"text":"};","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2931"}},{"Add":{"text":"template <> struct less {","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:2966"}},{"Add":{"text":" constexpr bool operator()(const valid_t &x, const valid_t &y) const {","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:3038"}},{"Add":{"text":" return make_tuple(x.valid_int, x.valid_outer, x.valid_ghosts) <","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:3106"}},{"Add":{"text":" make_tuple(y.valid_int, y.valid_outer, y.valid_ghosts);","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:3173"}},{"Add":{"text":" }","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:3177"}},{"Add":{"text":"};","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:3180"}},{"Add":{"text":"} // namespace std","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:3199"}},{"Add":{"text":"namespace CarpetX {","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:3219"}},{"Add":{"text":"","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:3220"}},{"Add":{"text":"class why_valid_t {","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:3240"}},{"Add":{"text":" valid_t valid;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:3257"}},{"Add":{"text":" function why_int, why_outer, why_ghosts;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:3310"}},{"Add":{"text":"","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:3311"}},{"Add":{"text":"public:","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:3319"}},{"Add":{"text":" // The constructor that doesn't give a reason should never be called","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:3390"}},{"Add":{"text":" why_valid_t() = delete;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:3416"}},{"Add":{"text":" why_valid_t(const function &why) : why_valid_t(false, why) {}","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:3490"}},{"Add":{"text":" why_valid_t(bool b, const function &why)","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:3543"}},{"Add":{"text":" : why_valid_t(valid_t(b), why) {}","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:3583"}},{"Add":{"text":" why_valid_t(const valid_t &val, const function &why)","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:3648"}},{"Add":{"text":" : valid(val), why_int(why), why_outer(why), why_ghosts(why) {}","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:3717"}},{"Add":{"text":"","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:3718"}},{"Add":{"text":" const valid_t &get() const { return valid; }","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:3765"}},{"Add":{"text":"","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:3766"}},{"Add":{"text":" void set(const valid_t &val, const function &why) {","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:3830"}},{"Add":{"text":" auto old_valid = valid;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:3858"}},{"Add":{"text":" valid = val;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:3875"}},{"Add":{"text":" auto new_valid = valid;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:3903"}},{"Add":{"text":" if (new_valid.valid_int != old_valid.valid_int)","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:3955"}},{"Add":{"text":" why_int = why;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:3976"}},{"Add":{"text":" if (new_valid.valid_outer != old_valid.valid_outer)","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4032"}},{"Add":{"text":" why_outer = why;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4055"}},{"Add":{"text":" if (new_valid.valid_ghosts != old_valid.valid_ghosts)","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4113"}},{"Add":{"text":" why_ghosts = why;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4137"}},{"Add":{"text":" }","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4141"}},{"Add":{"text":" void set_int(bool b, const function &why) {","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4197"}},{"Add":{"text":" auto val = valid;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4219"}},{"Add":{"text":" val.valid_int = b;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4242"}},{"Add":{"text":" set(val, why);","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4261"}},{"Add":{"text":" }","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4265"}},{"Add":{"text":" void set_outer(bool b, const function &why) {","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4323"}},{"Add":{"text":" auto val = valid;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4345"}},{"Add":{"text":" val.valid_outer = b;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4370"}},{"Add":{"text":" set(val, why);","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4389"}},{"Add":{"text":" }","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4393"}},{"Add":{"text":" void set_ghosts(bool b, const function &why) {","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4452"}},{"Add":{"text":" auto val = valid;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4474"}},{"Add":{"text":" val.valid_ghosts = b;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4500"}},{"Add":{"text":" set(val, why);","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4519"}},{"Add":{"text":" }","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4523"}},{"Add":{"text":" void set_and(const valid_t &val, const function &why) {","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4591"}},{"Add":{"text":" set(valid & val, why);","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4618"}},{"Add":{"text":" }","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4622"}},{"Add":{"text":" void set_or(const valid_t &val, const function &why) {","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4689"}},{"Add":{"text":" set(valid | val, why);","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4716"}},{"Add":{"text":" }","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4720"}},{"Add":{"text":"","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4721"}},{"Add":{"text":" friend ostream &operator<<(ostream &os, const why_valid_t why) {","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4788"}},{"Add":{"text":" return os << why.valid << \",\"","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4822"}},{"Add":{"text":" << \"why{int:\" << why.why_int() << \",\"","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4874"}},{"Add":{"text":" << \"outer:\" << why.why_outer() << \",\"","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4926"}},{"Add":{"text":" << \"ghosts:\" << why.why_ghosts() << \"}\";","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4981"}},{"Add":{"text":" }","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:4985"}},{"Add":{"text":" operator string() const {","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:5013"}},{"Add":{"text":" ostringstream buf;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:5036"}},{"Add":{"text":" buf << *this;","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:5054"}},{"Add":{"text":" return buf.str();","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:5076"}},{"Add":{"text":" }","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:5080"}},{"Add":{"text":"};","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:5083"}},{"Add":{"text":"","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:5084"}},{"Add":{"text":"} // namespace CarpetX","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:5107"}},{"Add":{"text":"","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:5108"}},{"Add":{"text":"#endif // #ifndef VALID_HXX","pos":"3CA67MIKCW5GPY5JCDR47ELVGGBOUNYV7SCA3XOMUXXOKDGWIBWQC:5136"}}]}}],"owner":"eschnett","repo":"cactusamrex","login":null}

…

Dependencies

Change contents

Review