/* * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. * You may obtain a copy of the License at * * http://www.apache.org/licenses/LICENSE-2.0 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * See the License for the specific language governing permissions and * limitations under the License. * * Copyright 2015-2017 Danny Robson */ #include "./aabb.hpp" #include "./iostream.hpp" #include "../coord/iostream.hpp" #include "../debug.hpp" using util::geom::aabb; //----------------------------------------------------------------------------- template aabb::aabb (point _p0, point _p1): p0 (_p0), p1 (_p1) { debug::sanity (*this); } //----------------------------------------------------------------------------- template T aabb::diameter (void) const { return magnitude ().diameter (); } //----------------------------------------------------------------------------- template util::extent aabb::magnitude (void) const { extent out; for (size_t i = 0; i < S; ++i) out[i] = p1[i] - p0[i]; return out; } //----------------------------------------------------------------------------- template bool aabb::inclusive (point p) const { for (size_t i = 0; i < S; ++i) if (p0[i] > p[i] || p1[i] < p[i]) return false; return true; } //----------------------------------------------------------------------------- template util::point aabb::closest (point q) const { point res; for (size_t i = 0; i < S; ++i) res[i] = q[i] < p0[i] ? p0[i] : q[i] > p1[i] ? p1[i] : q[i]; return res; } /////////////////////////////////////////////////////////////////////////////// template aabb aabb::expand (vector mag) const noexcept { CHECK (all (mag >= T{0})); return { p0 - mag, p1 + mag }; } //----------------------------------------------------------------------------- template aabb aabb::expand (T mag) const noexcept { CHECK_GE (mag, T{0}); return { p0 - mag, p1 + mag }; } /////////////////////////////////////////////////////////////////////////////// template aabb aabb::contract (util::vector mag) const noexcept { CHECK (all (mag >= T{0})); CHECK (all (2 * mag <= p1 - p0)); return { p0 + mag, p1 - mag }; } //----------------------------------------------------------------------------- template aabb aabb::contract (T mag) const noexcept { CHECK_GE (mag, T{0}); CHECK (all (2 * mag <= p1 - p0)); return { p0 + mag, p1 - mag }; } /////////////////////////////////////////////////////////////////////////////// template void aabb::cover (point p) { p0 = min (p, p0); p1 = max (p, p1); } /////////////////////////////////////////////////////////////////////////////// template aabb aabb::operator+ (vector v) const { return { p0 + v, p1 + v }; } //----------------------------------------------------------------------------- template aabb aabb::operator- (vector v) const { return { p0 - v, p1 - v }; } /////////////////////////////////////////////////////////////////////////////// namespace util::debug { template struct validator> { static bool is_valid (const aabb &b) { for (size_t i = 0; i < S; ++i) if (b.p1[i] < b.p0[i]) return false; return true; } }; } //----------------------------------------------------------------------------- template std::ostream& util::geom::operator<< (std::ostream &os, util::geom::aabb b) { os << "aabb(" << b.p0 << ", " << b.p1 << ")"; return os; } //----------------------------------------------------------------------------- #define INSTANTIATE_S_T(S,T) \ namespace util::geom { template struct aabb; } \ template bool util::debug::is_valid (const aabb&); \ template std::ostream& util::geom::operator<< (std::ostream&, aabb); #define INSTANTIATE(T) \ INSTANTIATE_S_T(2,T) \ INSTANTIATE_S_T(3,T) INSTANTIATE( int32_t) INSTANTIATE( int64_t) INSTANTIATE(uint32_t) INSTANTIATE(uint64_t) INSTANTIATE(float) INSTANTIATE(double)