blob: d009caca0f48d0f3139cf9ea13d60a83daabec1f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
#ifndef WITNESS_COMPLEX_ALL_FACES_IN_H_
#define WITNESS_COMPLEX_ALL_FACES_IN_H_
/* \brief Check if the facets of the k-dimensional simplex witnessed
* by witness witness_id are already in the complex.
* inserted_vertex is the handle of the (k+1)-th vertex witnessed by witness_id
*/
template < typename SimplicialComplexForWitness,
typename Simplex >
bool all_faces_in(Simplex& simplex,
double* filtration_value,
SimplicialComplexForWitness& sc)
{
typedef typename SimplicialComplexForWitness::Simplex_handle Simplex_handle;
if (simplex.size() == 1)
return true; /* Add vertices unconditionally */
Simplex facet;
for (typename Simplex::iterator not_it = simplex.begin(); not_it != simplex.end(); ++not_it)
{
facet.clear();
for (typename Simplex::iterator it = simplex.begin(); it != simplex.end(); ++it)
if (it != not_it)
facet.push_back(*it);
Simplex_handle facet_sh = sc.find(facet);
if (facet_sh == sc.null_simplex())
return false;
else if (sc.filtration(facet_sh) > *filtration_value)
*filtration_value = sc.filtration(facet_sh);
}
return true;
}
#endif // WITNESS_COMPLEX_ALL_FACES_IN_H_
|