sup inf変数
(Src/Template/SupInf.hpp)

• View this file on GitHub
• Last update: 2023-08-05 12:58:19+09:00
• Include: #include "Src/Template/SupInf.hpp"

概要

適当な初期値として利用できるsupとinfを提供します。

ライブラリの使い方

i32 supi;
i32 infi;
i64 supl;
i64 infl;

void SetSupi(i32)
void SetInfi(i32)
void SetSupl(i64)
void SetInfl(i64)

それぞれi32型とi64型でsupとinfを提供します。予めSet...でこれらの値を各自設定することを想定しています。

• デフォルトでは、 $2^{30} - 1$ と $2^{62} - 1$ となっています。

Depends on

• 標準データ型のエイリアス (Src/Template/TypeAlias.hpp)

Verified with

• Test/AOJ/ITP1_1_A.test.cpp

Code

#pragma once

#include "./TypeAlias.hpp"

namespace zawa {

i32 supi{ (1 << 30) - 1 };
i64 supl{ (1LL << 62) - 1 };
i32 infi{ -supi };
i64 infl{ -supl };

void SetSupi(i32 value) {
    supi = value;
}

void SetSupl(i64 value) {
    supl = value;
}

void SetInfi(i32 value) {
    infi = value;
}

void SetInfl(i64 value) {
    infl = value;
}

} // namespace zawa

#line 2 "Src/Template/SupInf.hpp"

#line 2 "Src/Template/TypeAlias.hpp"

#include <cstdint>
#include <cstddef>

namespace zawa {

using i16 = std::int16_t;
using i32 = std::int32_t;
using i64 = std::int64_t;
using i128 = __int128_t;

using u8 = std::uint8_t;
using u16 = std::uint16_t;
using u32 = std::uint32_t;
using u64 = std::uint64_t;

using usize = std::size_t;

} // namespace zawa
#line 4 "Src/Template/SupInf.hpp"

namespace zawa {

i32 supi{ (1 << 30) - 1 };
i64 supl{ (1LL << 62) - 1 };
i32 infi{ -supi };
i64 infl{ -supl };

void SetSupi(i32 value) {
    supi = value;
}

void SetSupl(i64 value) {
    supl = value;
}

void SetInfi(i32 value) {
    infi = value;
}

void SetInfl(i64 value) {
    infl = value;
}

} // namespace zawa

Back to top page