tests/is_in_grid.test.cpp

• View this file on GitHub
• Last update: 2025-01-25 08:45:50+09:00

Depends on

• Assertion macro (tools/assert_that.hpp)
• Check whether $(r, c)$ is in a grid of height $h$ and width $w$ (tools/is_in_grid.hpp)

Code

// competitive-verifier: STANDALONE

#include <iostream>
#include "tools/assert_that.hpp"
#include "tools/is_in_grid.hpp"

int main() {
  std::cin.tie(nullptr);
  std::ios_base::sync_with_stdio(false);

  assert_that(!tools::is_in_grid(-1, -1, 2U, 3U));
  assert_that(!tools::is_in_grid(-1, 0, 2U, 3U));
  assert_that(!tools::is_in_grid(-1, 1, 2U, 3U));
  assert_that(!tools::is_in_grid(-1, 2, 2U, 3U));
  assert_that(!tools::is_in_grid(-1, 3, 2U, 3U));
  assert_that(!tools::is_in_grid(0, -1, 2U, 3U));
  assert_that(tools::is_in_grid(0, 0, 2U, 3U));
  assert_that(tools::is_in_grid(0, 1, 2U, 3U));
  assert_that(tools::is_in_grid(0, 2, 2U, 3U));
  assert_that(!tools::is_in_grid(0, 3, 2U, 3U));
  assert_that(!tools::is_in_grid(1, -1, 2U, 3U));
  assert_that(tools::is_in_grid(1, 0, 2U, 3U));
  assert_that(tools::is_in_grid(1, 1, 2U, 3U));
  assert_that(tools::is_in_grid(1, 2, 2U, 3U));
  assert_that(!tools::is_in_grid(1, 3, 2U, 3U));
  assert_that(!tools::is_in_grid(2, -1, 2U, 3U));
  assert_that(!tools::is_in_grid(2, 0, 2U, 3U));
  assert_that(!tools::is_in_grid(2, 1, 2U, 3U));
  assert_that(!tools::is_in_grid(2, 2, 2U, 3U));
  assert_that(!tools::is_in_grid(2, 3, 2U, 3U));

  assert_that(!tools::is_in_grid(-1, -1, 0U, 0U));
  assert_that(!tools::is_in_grid(-1, 0, 0U, 0U));
  assert_that(!tools::is_in_grid(0, -1, 0U, 0U));
  assert_that(!tools::is_in_grid(0, 0, 0U, 0U));

  return 0;
}

#line 1 "tests/is_in_grid.test.cpp"
// competitive-verifier: STANDALONE

#include <iostream>
#line 1 "tools/assert_that.hpp"



#line 5 "tools/assert_that.hpp"
#include <cstdlib>

#define assert_that_impl(cond, file, line, func) do {\
  if (!cond) {\
    ::std::cerr << file << ':' << line << ": " << func << ": Assertion `" << #cond << "' failed." << '\n';\
    ::std::exit(EXIT_FAILURE);\
  }\
} while (false)
#define assert_that(...) assert_that_impl((__VA_ARGS__), __FILE__, __LINE__, __func__)


#line 1 "tools/is_in_grid.hpp"



#include <cassert>
#include <utility>

namespace tools {
  template <typename T1, typename T2, typename T3, typename T4>
  constexpr bool is_in_grid(const T1 r, const T2 c, const T3 h, const T4 w) noexcept {
    assert(::std::cmp_greater_equal(h, 0));
    assert(::std::cmp_greater_equal(w, 0));
    return ::std::cmp_less_equal(0, r) && ::std::cmp_less(r, h) && ::std::cmp_less_equal(0, c) && ::std::cmp_less(c, w);
  }
}


#line 6 "tests/is_in_grid.test.cpp"

int main() {
  std::cin.tie(nullptr);
  std::ios_base::sync_with_stdio(false);

  assert_that(!tools::is_in_grid(-1, -1, 2U, 3U));
  assert_that(!tools::is_in_grid(-1, 0, 2U, 3U));
  assert_that(!tools::is_in_grid(-1, 1, 2U, 3U));
  assert_that(!tools::is_in_grid(-1, 2, 2U, 3U));
  assert_that(!tools::is_in_grid(-1, 3, 2U, 3U));
  assert_that(!tools::is_in_grid(0, -1, 2U, 3U));
  assert_that(tools::is_in_grid(0, 0, 2U, 3U));
  assert_that(tools::is_in_grid(0, 1, 2U, 3U));
  assert_that(tools::is_in_grid(0, 2, 2U, 3U));
  assert_that(!tools::is_in_grid(0, 3, 2U, 3U));
  assert_that(!tools::is_in_grid(1, -1, 2U, 3U));
  assert_that(tools::is_in_grid(1, 0, 2U, 3U));
  assert_that(tools::is_in_grid(1, 1, 2U, 3U));
  assert_that(tools::is_in_grid(1, 2, 2U, 3U));
  assert_that(!tools::is_in_grid(1, 3, 2U, 3U));
  assert_that(!tools::is_in_grid(2, -1, 2U, 3U));
  assert_that(!tools::is_in_grid(2, 0, 2U, 3U));
  assert_that(!tools::is_in_grid(2, 1, 2U, 3U));
  assert_that(!tools::is_in_grid(2, 2, 2U, 3U));
  assert_that(!tools::is_in_grid(2, 3, 2U, 3U));

  assert_that(!tools::is_in_grid(-1, -1, 0U, 0U));
  assert_that(!tools::is_in_grid(-1, 0, 0U, 0U));
  assert_that(!tools::is_in_grid(0, -1, 0U, 0U));
  assert_that(!tools::is_in_grid(0, 0, 0U, 0U));

  return 0;
}

Back to top page