Index is a better name to describe a label index than ID which may be an integer, word or other means of identification.
2013-05-27 Detect 'pinches' in patch (i.e., non-manifold on point). Run on cavity_pinched subdirectory.
Index is a better name to describe a label index than ID which may be an integer, word or other means of identification.
2013-05-27 Detect 'pinches' in patch (i.e., non-manifold on point). Run on cavity_pinched subdirectory.