public class ElementFilter
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
ElementFilter.DegreeFilter |
static class |
ElementFilter.LeafFilter |
static class |
ElementFilter.LoopFilter |
static class |
ElementFilter.SimplicialVertexFilter |
Constructor and Description |
---|
ElementFilter() |