![]() |
ElemSet Constructor |
Name | Description | |
---|---|---|
![]() | ElemSet |
Initializes a new instance of the ElemSet class.
create an empty element set.
|
![]() | ElemSet(ElemSet) |
Initializes a new instance of the ElemSet class.
copy constructor for element-set.
|
![]() | ElemSet(SerializationInfo, StreamingContext) |
Initializes a new instance of the ElemSet class.
Deserialize ElemSet.
|
![]() | ElemSet(String, Double) |
Initializes a new instance of the ElemSet class.
create element set based on an element identifier.
|