bit_flags.h

/*****************************************************************************
 * VCLib                                                                     *
 * Visual Computing Library                                                  *
 *                                                                           *
 * Copyright(C) 2021-2025                                                    *
 * Visual Computing Lab                                                      *
 * ISTI - Italian National Research Council                                  *
 *                                                                           *
 * All rights reserved.                                                      *
 *                                                                           *
 * This program is free software; you can redistribute it and/or modify      *
 * it under the terms of the Mozilla Public License Version 2.0 as published *
 * by the Mozilla Foundation; either version 2 of the License, or            *
 * (at your option) any later version.                                       *
 *                                                                           *
 * This program is distributed in the hope that it will be useful,           *
 * but WITHOUT ANY WARRANTY; without even the implied warranty of            *
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the              *
 * Mozilla Public License Version 2.0                                        *
 * (https://www.mozilla.org/en-US/MPL/2.0/) for more details.                *
 ****************************************************************************/
 
#ifndef VCL_CONCEPTS_MESH_COMPONENTS_BIT_FLAGS_H
#define VCL_CONCEPTS_MESH_COMPONENTS_BIT_FLAGS_H
 
#include <vclib/concepts/const_correctness.h>
#include <vclib/concepts/space/bit_set.h>
#include <vclib/types/base.h>
 
#include <concepts>
 
namespace vcl::comp {
 
template<typename T>
concept HasBitFlags = requires (T&& obj) {
    { obj.deleted() } -> std::same_as<bool>;
    { obj.selected() } -> std::convertible_to<bool>;
    { obj.onBorder() } -> std::convertible_to<bool>;
    { obj.selected() } -> std::convertible_to<bool>;
    { obj.userBit(uint()) } -> std::convertible_to<bool>;
 
    { obj.exportFlagsToVCGFormat() } -> std::same_as<int>;
 
    // non const requirements
    requires IsConst<T> || requires {
        { obj.selected() } -> BitProxyConcept;
        { obj.onBorder() } -> BitProxyConcept;
        { obj.selected() } -> BitProxyConcept;
        { obj.userBit(uint()) } -> BitProxyConcept;
        { obj.resetBitFlags() } -> std::same_as<void>;
        { obj.importFlagsFromVCGFormat(int()) } -> std::same_as<void>;
    };
};
 
namespace detail {
 
template<typename T>
concept FaceBitFlagsConcept = HasBitFlags<T> && requires (T&& obj) {
    { obj.edgeOnBorder(uint()) } -> std::convertible_to<bool>;
    { obj.edgeSelected(uint()) } -> std::convertible_to<bool>;
    { obj.edgeVisited(uint()) } -> std::convertible_to<bool>;
    { obj.edgeFaux(uint()) } -> std::convertible_to<bool>;
 
    // non const requirements
    requires IsConst<T> || requires {
        { obj.edgeOnBorder(uint()) } -> BitProxyConcept;
        { obj.edgeSelected(uint()) } -> BitProxyConcept;
        { obj.edgeVisited(uint()) } -> BitProxyConcept;
        { obj.edgeFaux(uint()) } -> BitProxyConcept;
    };
};
 
} // namespace detail
 
template<typename T>
concept HasPolygonBitFlags =
    detail::FaceBitFlagsConcept<T> && requires (T&& obj) {
        { obj.__polygonBitFlags() } -> std::same_as<void>;
    };
 
template<typename T>
concept HasTriangleBitFlags =
    detail::FaceBitFlagsConcept<T> && requires (T&& obj) {
        { obj.__triangleBitFlags() } -> std::same_as<void>;
    };
 
template<typename T>
concept HasFaceBitFlags = HasPolygonBitFlags<T> || HasTriangleBitFlags<T>;
 
} // namespace vcl::comp
 
#endif // VCL_CONCEPTS_MESH_COMPONENTS_BIT_FLAGS_H