local.md 3.35 KB
Newer Older
TheNumbat's avatar
TheNumbat committed
1
2
3
---
layout: default
title: "Local Ops"
TheNumbat's avatar
TheNumbat committed
4
permalink: /meshedit/local/
TheNumbat's avatar
TheNumbat committed
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
---

# Local Mesh Operations

Many of the actions that need to be implemented in the MeshEdit mode are local mesh operations (like edge collapse, face bevel, etc.).

A good recipe for ensuring that all pointers are still valid after a local remeshing operation is:

1.  Draw a picture of all the elements (vertices, edges, faces, halfedges) that will be needed from the original mesh, and all the elements that should appear in the modified mesh.
2.  Allocate any new elements that are needed in the modified mesh, but do not appear in the original mesh.
3.  For every element in the "modified" picture, set **all** of its pointers -- even if they didn't change. For instance, for each halfedge, make sure to set `next`, `twin`, `vertex`, `edge`, and `face` to the correct values in the new (modified) picture. For each vertex, make sure to set its `halfedge` pointer. Etc. A convenience method `Halfedge::set_neighbors()` has been created for this purpose.
4.  Deallocate any elements that are no longer used in the modified mesh, which can be done by calling `Halfedge_Mesh::erase()`.

The reason for setting all the pointers (and not just the ones that changed) is that it is very easy to miss a pointer, causing your code to crash.

#### Interface with global mesh operations

To facilitate user interaction, as well as global mesh processing operations (described below), local mesh operations should return the following values when possible. However, should it happen that the specified values are not available, or that the operation should not work on the given input, we need a way to signify the failure case. To do so, each local operation actually returns a ``std::optional`` value parameterized on the type of element it returns. For example, ``Halfedge_Mesh::erase_vertex`` returns a ``std::optional<Halfedge_Mesh::Face>``.  An ``optional`` can hold a value of the specified type, or, similarly to a pointer, a null value (``std::nullopt``). See ``student/meshedit.cpp`` for specific examples. 

Also, remember that in any case, _the program should not crash!_ So for instance, you should never return a pointer to an element that was deleted. 

TheNumbat's avatar
TheNumbat committed
26
27
See the [User Guide](../guide/model) for demonstrations of each local operation.

TheNumbat's avatar
TheNumbat committed
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
*   `Halfedge_Mesh::flip_edge` - should return the edge that was flipped

![](flip_edge.svg)

*   `Halfedge_Mesh::split_edge` - should return the inserted vertex

![](split_edge.svg)

*   `Halfedge_Mesh::collapse_edge` - should return the new vertex, corresponding to the collapsed edge

![](collapse_edge.svg)

*   `Halfedge_Mesh::collapse_face` - should return the new vertex, corresponding to the collapsed face

![](collapse_face.svg)

*   `Halfedge_Mesh::erase_vertex` - should return the new face, corresponding to the faces originally containing the vertex

![](erase_vertex.svg)

*   `Halfedge_Mesh::erase_edge` - should return the new face, corresponding to the faces originally containing the edge

![](erase_edge.svg)

*   `Halfedge_Mesh::bevel_vertex` - should return the new face, corresponding to the beveled vertex

![](bevel_vertex.svg)

*   `Halfedge_Mesh::bevel_edge` - should return the new face, corresponding to the beveled edge

![](bevel_edge.svg)

*   `Halfedge_Mesh::bevel_face` - should return the new, inset face

![](bevel_face.svg)