// This file is part of libigl, a simple c++ geometry processing library. // // Copyright (C) 2015 Alec Jacobson // Qingnan Zhou // // This Source Code Form is subject to the terms of the Mozilla Public License // v. 2.0. If a copy of the MPL was not distributed with this file, You can // obtain one at http://mozilla.org/MPL/2.0/. // #ifndef IGL_COPYLEFT_CGAL_MESH_BOOLEAN_H #define IGL_COPYLEFT_CGAL_MESH_BOOLEAN_H #include "../../igl_inline.h" #include "../../MeshBooleanType.h" #include #include #include namespace igl { namespace copyleft { namespace cgal { // MESH_BOOLEAN Compute boolean csg operations on "solid", consistently // oriented meshes. // // Inputs: // VA #VA by 3 list of vertex positions of first mesh // FA #FA by 3 list of triangle indices into VA // VB #VB by 3 list of vertex positions of second mesh // FB #FB by 3 list of triangle indices into VB // type type of boolean operation // Outputs: // VC #VC by 3 list of vertex positions of boolean result mesh // FC #FC by 3 list of triangle indices into VC // J #FC list of indices into [FA;FA.rows()+FB] revealing "birth" facet // Returns true if inputs induce a piecewise constant winding number // field and type is valid // // See also: mesh_boolean_cork, intersect_other, // remesh_self_intersections template < typename DerivedVA, typename DerivedFA, typename DerivedVB, typename DerivedFB, typename DerivedVC, typename DerivedFC, typename DerivedJ> IGL_INLINE bool mesh_boolean( const Eigen::MatrixBase & VA, const Eigen::MatrixBase & FA, const Eigen::MatrixBase & VB, const Eigen::MatrixBase & FB, const MeshBooleanType & type, Eigen::PlainObjectBase & VC, Eigen::PlainObjectBase & FC, Eigen::PlainObjectBase & J); template < typename DerivedVA, typename DerivedFA, typename DerivedVB, typename DerivedFB, typename DerivedVC, typename DerivedFC, typename DerivedJ> IGL_INLINE bool mesh_boolean( const Eigen::MatrixBase & VA, const Eigen::MatrixBase & FA, const Eigen::MatrixBase & VB, const Eigen::MatrixBase & FB, const std::string & type_str, Eigen::PlainObjectBase & VC, Eigen::PlainObjectBase & FC, Eigen::PlainObjectBase & J); // // Inputs: // VA #VA by 3 list of vertex positions of first mesh // FA #FA by 3 list of triangle indices into VA // VB #VB by 3 list of vertex positions of second mesh // FB #FB by 3 list of triangle indices into VB // wind_num_op function handle for filtering winding numbers from // tuples of integer values to [0,1] outside/inside values // keep function handle for determining if a patch should be "kept" // in the output based on the winding number on either side // Outputs: // VC #VC by 3 list of vertex positions of boolean result mesh // FC #FC by 3 list of triangle indices into VC // J #FC list of indices into [FA;FB] revealing "birth" facet // Returns true iff inputs induce a piecewise constant winding number // field // // See also: mesh_boolean_cork, intersect_other, // remesh_self_intersections template < typename DerivedVA, typename DerivedFA, typename DerivedVB, typename DerivedFB, typename DerivedVC, typename DerivedFC, typename DerivedJ> IGL_INLINE bool mesh_boolean( const Eigen::MatrixBase & VA, const Eigen::MatrixBase & FA, const Eigen::MatrixBase & VB, const Eigen::MatrixBase & FB, const std::function) >& wind_num_op, const std::function & keep, Eigen::PlainObjectBase & VC, Eigen::PlainObjectBase & FC, Eigen::PlainObjectBase & J); // MESH_BOOLEAN Variadic boolean operations // // Inputs: // Vlist k-long list of lists of mesh vertex positions // Flist k-long list of lists of mesh face indices, so that Flist[i] indexes // vertices in Vlist[i] // wind_num_op function handle for filtering winding numbers from // n-tuples of integer values to [0,1] outside/inside values // keep function handle for determining if a patch should be "kept" // in the output based on the winding number on either side // Outputs: // VC #VC by 3 list of vertex positions of boolean result mesh // FC #FC by 3 list of triangle indices into VC // J #FC list of indices into [Flist[0];Flist[1];...;Flist[k]] // revealing "birth" facet // Returns true iff inputs induce a piecewise constant winding number // field // // See also: mesh_boolean_cork, intersect_other, // remesh_self_intersections template < typename DerivedV, typename DerivedF, typename DerivedVC, typename DerivedFC, typename DerivedJ> IGL_INLINE bool mesh_boolean( const std::vector & Vlist, const std::vector & Flist, const std::function) >& wind_num_op, const std::function & keep, Eigen::PlainObjectBase & VC, Eigen::PlainObjectBase & FC, Eigen::PlainObjectBase & J); template < typename DerivedV, typename DerivedF, typename DerivedVC, typename DerivedFC, typename DerivedJ> IGL_INLINE bool mesh_boolean( const std::vector & Vlist, const std::vector & Flist, const MeshBooleanType & type, Eigen::PlainObjectBase & VC, Eigen::PlainObjectBase & FC, Eigen::PlainObjectBase & J); // Given a merged mesh (V,F) and list of sizes of inputs // // Inputs: // V #V by 3 list of merged mesh vertex positions // F #F by 3 list of merged mesh face indices so that first sizes(0) // faces come from the first input, and the next sizes(1) faces come // from the second input, and so on. // sizes #inputs list of sizes so that sizes(i) is the #faces in the // ith input // wind_num_op function handle for filtering winding numbers from // tuples of integer values to [0,1] outside/inside values // keep function handle for determining if a patch should be "kept" // in the output based on the winding number on either side // Outputs: // VC #VC by 3 list of vertex positions of boolean result mesh // FC #FC by 3 list of triangle indices into VC // J #FC list of birth parent indices // template < typename DerivedVV, typename DerivedFF, typename Derivedsizes, typename DerivedVC, typename DerivedFC, typename DerivedJ> IGL_INLINE bool mesh_boolean( const Eigen::MatrixBase & VV, const Eigen::MatrixBase & FF, const Eigen::MatrixBase & sizes, const std::function) >& wind_num_op, const std::function & keep, Eigen::PlainObjectBase & VC, Eigen::PlainObjectBase & FC, Eigen::PlainObjectBase & J); // Inputs: // VA #VA by 3 list of vertex positions of first mesh // FA #FA by 3 list of triangle indices into VA // VB #VB by 3 list of vertex positions of second mesh // FB #FB by 3 list of triangle indices into VB // type type of boolean operation // Outputs: // VC #VC by 3 list of vertex positions of boolean result mesh // FC #FC by 3 list of triangle indices into VC // Returns true ff inputs induce a piecewise constant winding number // field and type is valid template < typename DerivedVA, typename DerivedFA, typename DerivedVB, typename DerivedFB, typename DerivedVC, typename DerivedFC> IGL_INLINE bool mesh_boolean( const Eigen::MatrixBase & VA, const Eigen::MatrixBase & FA, const Eigen::MatrixBase & VB, const Eigen::MatrixBase & FB, const MeshBooleanType & type, Eigen::PlainObjectBase & VC, Eigen::PlainObjectBase & FC); } } } #ifndef IGL_STATIC_LIBRARY # include "mesh_boolean.cpp" #endif #endif