common.h

//
//   Copyright 2023 Vedad Hadžić, Graz University of Technology
//
//   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.
//

#ifndef VERIFY_COMMON_H
#define VERIFY_COMMON_H

#include <string>
#include <map>
#include <stdexcept>

enum class var_t : uint32_t {ZERO = -((uint32_t)INT32_MAX), ONE  = +((uint32_t)INT32_MAX)};
constexpr var_t to_var(bool val) {return val ? var_t::ONE : var_t::ZERO; }

using Range = std::pair<size_t, size_t>;
#define Assert(NCOND, MESSAGE) do { if (!(NCOND)) throw std::logic_error(MESSAGE); } while (0)

extern const std::string LIB_ROOT;

#endif //VERIFY_COMMON_H