11 #ifndef CONCEPT_COXETER_TRIANGULATION_INTERSECTION_ORACLE_H_
12 #define CONCEPT_COXETER_TRIANGULATION_INTERSECTION_ORACLE_H_
16 #include <Eigen/Dense>
20 namespace coxeter_triangulation {
53 template <
class Simplex_handle,
class Triangulation>
76 template <
class Simplex_handle,
class Triangulation>
78 const Triangulation& triangulation)
const;
90 template <
class Triangulation>
91 bool lies_in_domain(
const Eigen::VectorXd& p,
const Triangulation& triangulation)
const {
97 const Function_&
function()
const;
PL_approximation< Function_, Triangulation_ > make_pl_approximation(const Function_ &function, const Triangulation_ &triangulation)
Static constructor of the piecewise-linear approximation of a function induced by an ambient triangul...
Definition: PL_approximation.h:102
Gudhi namespace.
Definition: SimplicialComplexForAlpha.h:14
The concept IntersectionOracle describes the requirements for a type to implement an intersection ora...
Definition: IntersectionOracle.h:26
std::size_t cod_d() const
Returns the codomain dimension of the underlying manifold.
Query_result< Simplex_handle > intersects(const Simplex_handle &simplex, const Triangulation &triangulation) const
Intersection query with the relative interior of the manifold.
Query_result< Simplex_handle > intersects_boundary(const Simplex_handle &simplex, const Triangulation &triangulation) const
Intersection query with the boundary of the manifold.
bool lies_in_domain(const Eigen::VectorXd &p, const Triangulation &triangulation) const
Returns true if the input point lies inside the piecewise-linear domain induced by the given ambient ...
Definition: IntersectionOracle.h:91
std::size_t amb_d() const
Returns the domain (ambient) dimension of the underlying manifold.
The result of a query by an oracle such as Implicit_manifold_intersection_oracle.
Definition: Query_result.h:26