![]() |
ElemSet Constructor |
Name | Description | |
---|---|---|
![]() | ElemSet |
create an empty element set
|
![]() | ElemSet(ElemSet) |
copy constructor for element-set
|
![]() | ElemSet(String, Double) |
create element set based on an element identifier
|