face_container.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_CONTAINERS_FACE_CONTAINER_H
#define VCL_CONCEPTS_MESH_CONTAINERS_FACE_CONTAINER_H
 
#include <vclib/concepts/const_correctness.h>
#include <vclib/concepts/iterators.h>
#include <vclib/concepts/ranges/range.h>
 
#include <vector>
 
namespace vcl {
namespace mesh {
 
template<typename T>
concept HasFaceContainer = requires (
    T&&                                                       obj,
    typename RemoveRef<T>::FaceType                           f,
    typename RemoveRef<T>::FaceType*                          fP,
    typename RemoveRef<T>::FaceType&                          fR,
    typename RemoveRef<T>::FaceType::VertexType*              vP,
    std::vector<uint>                                         vecU,
    std::vector<typename RemoveRef<T>::FaceType::VertexType*> vecV) {
    typename RemoveRef<T>::FaceType;
    typename RemoveRef<T>::FaceIterator;
    typename RemoveRef<T>::ConstFaceIterator;
 
    { obj.face(uint()) } -> std::convertible_to<decltype(f)>;
    { obj.faceNumber() } -> std::same_as<uint>;
    { obj.faceContainerSize() } -> std::same_as<uint>;
    { obj.deletedFaceNumber() } -> std::same_as<uint>;
 
    { obj.faceIndexIfCompact(uint()) } -> std::same_as<uint>;
    { obj.faceCompactIndices() } -> std::same_as<decltype(vecU)>;
 
    { obj.faceBegin() } -> InputIterator<decltype(f)>;
    { obj.faceEnd() } -> InputIterator<decltype(f)>;
    { obj.faces() } -> InputRange<decltype(f)>;
    { obj.faces(bool()) } -> InputRange<decltype(f)>;
 
    // non const requirements
    requires IsConst<T> || requires {
        { obj.face(uint()) } -> std::same_as<decltype(fR)>;
 
        { obj.addFace() } -> std::same_as<uint>;
        { obj.addFace(uint(), uint(), uint()) } -> std::same_as<uint>;
        { obj.addFace(vP, vP, vP) } -> std::same_as<uint>;
        { obj.addFace(vecU) } -> std::same_as<uint>;
        { obj.addFace(vecV) } -> std::same_as<uint>;
        { obj.addFaces(uint()) } -> std::same_as<uint>;
        { obj.clearFaces() } -> std::same_as<void>;
        { obj.resizeFaces(uint()) } -> std::same_as<void>;
        { obj.reserveFaces(uint()) } -> std::same_as<void>;
        { obj.compactFaces() } -> std::same_as<void>;
        { obj.deleteFace(uint()) } -> std::same_as<void>;
        { obj.deleteFace(fP) } -> std::same_as<void>;
        { obj.updateFaceIndices(vecU) } -> std::same_as<void>;
 
        { obj.faceBegin() } -> OutputIterator<decltype(f)>;
        { obj.faceEnd() } -> OutputIterator<decltype(f)>;
        { obj.faces() } -> OutputRange<decltype(f)>;
        { obj.faces(bool()) } -> OutputRange<decltype(f)>;
 
        { obj.enableAllPerFaceOptionalComponents() } -> std::same_as<void>;
        { obj.disableAllPerFaceOptionalComponents() } -> std::same_as<void>;
    };
};
 
} // namespace mesh
 
template<typename... Args>
concept HasFaces = (mesh::HasFaceContainer<Args> || ...);
 
} // namespace vcl
 
#endif // VCL_CONCEPTS_MESH_CONTAINERS_FACE_CONTAINER_H