morton.hpp 5.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225
  1. #ifndef _SCTL_MORTON_
  2. #define _SCTL_MORTON_
  3. #include SCTL_INCLUDE(common.hpp)
  4. #include <cstdint>
  5. #ifndef SCTL_MAX_DEPTH
  6. #define SCTL_MAX_DEPTH 15
  7. #endif
  8. namespace SCTL_NAMESPACE {
  9. template <class ValueType> class Vector;
  10. template <Integer DIM = 3> class Morton {
  11. public:
  12. #if SCTL_MAX_DEPTH < 7
  13. typedef uint8_t UINT_T;
  14. #elif SCTL_MAX_DEPTH < 15
  15. typedef uint16_t UINT_T;
  16. #elif SCTL_MAX_DEPTH < 31
  17. typedef uint32_t UINT_T;
  18. #elif SCTL_MAX_DEPTH < 63
  19. typedef uint64_t UINT_T;
  20. #endif
  21. static const Integer MAX_DEPTH = SCTL_MAX_DEPTH;
  22. Morton() {
  23. depth = 0;
  24. for (Integer i = 0; i < DIM; i++) x[i] = 0;
  25. }
  26. template <class T> Morton(ConstIterator<T> coord, uint8_t depth_ = MAX_DEPTH) {
  27. depth = depth_;
  28. assert(depth <= MAX_DEPTH);
  29. UINT_T mask = ~((((UINT_T)1) << (MAX_DEPTH - depth)) - 1);
  30. for (Integer i = 0; i < DIM; i++) x[i] = mask & (UINT_T)floor(coord[i] * maxCoord);
  31. }
  32. uint8_t Depth() const { return depth; }
  33. template <class T> void Coord(Iterator<T> coord) const {
  34. static const T s = 1.0 / ((T)maxCoord);
  35. for (Integer i = 0; i < DIM; i++) coord[i] = x[i] * s;
  36. }
  37. Morton Next() const {
  38. UINT_T mask = ((UINT_T)1) << (MAX_DEPTH - depth);
  39. Integer d, i;
  40. Morton m = *this;
  41. for (d = depth; d >= 0; d--) {
  42. for (i = 0; i < DIM; i++) {
  43. m.x[i] = (m.x[i] ^ mask);
  44. if ((m.x[i] & mask)) break;
  45. }
  46. if (i < DIM) break;
  47. mask = (mask << 1);
  48. }
  49. if (d < 0) d = 0;
  50. m.depth = (uint8_t)d;
  51. return m;
  52. }
  53. Morton Ancestor(uint8_t ancestor_level) const {
  54. UINT_T mask = ~((((UINT_T)1) << (MAX_DEPTH - ancestor_level)) - 1);
  55. Morton m;
  56. for (Integer i = 0; i < DIM; i++) m.x[i] = x[i] & mask;
  57. m.depth = ancestor_level;
  58. return m;
  59. }
  60. /**
  61. * \brief Returns the deepest first descendant.
  62. */
  63. Morton DFD(uint8_t level = MAX_DEPTH) const {
  64. Morton m = *this;
  65. m.depth = level;
  66. return m;
  67. }
  68. void NbrList(Vector<Morton> &nlst, uint8_t level, bool periodic) const {
  69. nlst.ReInit(1);
  70. UINT_T mask = ~((((UINT_T)1) << (MAX_DEPTH - level)) - 1);
  71. for (Integer i = 0; i < DIM; i++) nlst[0].x[i] = x[i] & mask;
  72. nlst[0].depth = level;
  73. Morton m;
  74. Integer k = 1;
  75. mask = (((UINT_T)1) << (MAX_DEPTH - level));
  76. if (periodic) {
  77. for (Integer i = 0; i < DIM; i++) {
  78. for (Integer j = 0; j < k; j++) {
  79. m = nlst[j];
  80. m.x[i] = (m.x[i] + mask) & (maxCoord - 1);
  81. nlst.PushBack(m);
  82. }
  83. for (Integer j = 0; j < k; j++) {
  84. m = nlst[j];
  85. m.x[i] = (m.x[i] - mask) & (maxCoord - 1);
  86. nlst.PushBack(m);
  87. }
  88. k = nlst.Dim();
  89. }
  90. } else {
  91. for (Integer i = 0; i < DIM; i++) {
  92. for (Integer j = 0; j < k; j++) {
  93. m = nlst[j];
  94. if (m.x[i] + mask < maxCoord) {
  95. m.x[i] += mask;
  96. nlst.PushBack(m);
  97. }
  98. }
  99. for (Integer j = 0; j < k; j++) {
  100. m = nlst[j];
  101. if (m.x[i] >= mask) {
  102. m.x[i] -= mask;
  103. nlst.PushBack(m);
  104. }
  105. }
  106. k = nlst.Dim();
  107. }
  108. }
  109. }
  110. void Children(Vector<Morton> &nlst) const {
  111. static const Integer cnt = (1UL << DIM);
  112. if (nlst.Dim() != cnt) nlst.ReInit(cnt);
  113. for (Integer i = 0; i < DIM; i++) nlst[0].x[i] = x[i];
  114. nlst[0].depth = (uint8_t)(depth + 1);
  115. Integer k = 1;
  116. UINT_T mask = (((UINT_T)1) << (MAX_DEPTH - (depth + 1)));
  117. for (Integer i = 0; i < DIM; i++) {
  118. for (Integer j = 0; j < k; j++) {
  119. nlst[j + k] = nlst[j];
  120. nlst[j + k].x[i] += mask;
  121. }
  122. k = (k << 1);
  123. }
  124. }
  125. bool operator<(const Morton &m) const {
  126. UINT_T diff = 0;
  127. for (Integer i = 0; i < DIM; i++) diff = diff | (x[i] ^ m.x[i]);
  128. if (!diff) return depth < m.depth;
  129. UINT_T mask = 1;
  130. for (Integer i = 4 * sizeof(UINT_T); i > 0; i = (i >> 1)) {
  131. UINT_T mask_ = (mask << i);
  132. if (mask_ <= diff) mask = mask_;
  133. }
  134. for (Integer i = DIM - 1; i >= 0; i--) {
  135. if (mask & (x[i] ^ m.x[i])) return x[i] < m.x[i];
  136. }
  137. return false; // TODO: check
  138. }
  139. bool operator>(const Morton &m) const { return m < (*this); }
  140. bool operator!=(const Morton &m) const {
  141. for (Integer i = 0; i < DIM; i++)
  142. if (x[i] != m.x[i]) return true;
  143. return (depth != m.depth);
  144. }
  145. bool operator==(const Morton &m) const { return !(*this != m); }
  146. bool operator<=(const Morton &m) const { return !(*this > m); }
  147. bool operator>=(const Morton &m) const { return !(*this < m); }
  148. bool isAncestor(Morton const &descendant) const { return descendant.depth > depth && descendant.Ancestor(depth) == *this; }
  149. Long operator-(const Morton<DIM> &I) const {
  150. // Intersecting -1
  151. // Touching 0
  152. Long offset0 = 1 << (MAX_DEPTH - depth - 1);
  153. Long offset1 = 1 << (MAX_DEPTH - I.depth - 1);
  154. Long diff = 0;
  155. for (Integer i = 0; i < DIM; i++) {
  156. diff = std::max<Long>(diff, abs(((Long)x[i] + offset0) - ((Long)I.x[i] + offset1)));
  157. }
  158. if (diff < offset0 + offset1) return -1;
  159. Integer max_depth = std::max(depth, I.depth);
  160. diff = (diff - offset0 - offset1) >> (MAX_DEPTH - max_depth);
  161. return diff;
  162. }
  163. friend std::ostream &operator<<(std::ostream &out, const Morton &mid) {
  164. double a = 0;
  165. double s = 1u << DIM;
  166. for (Integer j = MAX_DEPTH; j >= 0; j--) {
  167. for (Integer i = DIM - 1; i >= 0; i--) {
  168. s = s * 0.5;
  169. if (mid.x[i] & (((UINT_T)1) << j)) a += s;
  170. }
  171. }
  172. out << "(";
  173. for (Integer i = 0; i < DIM; i++) {
  174. out << mid.x[i] * 1.0 / maxCoord << ",";
  175. }
  176. out << (int)mid.depth << "," << a << ")";
  177. return out;
  178. }
  179. private:
  180. static constexpr UINT_T maxCoord = ((UINT_T)1) << (MAX_DEPTH);
  181. // StaticArray<UINT_T,DIM> x;
  182. UINT_T x[DIM];
  183. uint8_t depth;
  184. };
  185. }
  186. #endif //_SCTL_MORTON_