[SerializableAttribute]
public class IdManager<SerializableAttribute>
Public Class IdManager[SerializableAttribute]
public ref class IdManager[<SerializableAttribute>]
type IdManager = class end| IdManager | Initializes a new instance of the IdManager class |
| add(String) | add the given identifier to the list of identifiers. |
| add(String, String) | adds a sure name identifier to an identifier. |
| Equals | Determines whether the specified object is equal to the current object. (Inherited from Object) |
| Finalize | Allows an object to try to free resources and perform other cleanup operations before it is reclaimed by garbage collection. (Inherited from Object) |
| GetHashCode | Serves as the default hash function. (Inherited from Object) |
| GetType | Gets the Type of the current instance. (Inherited from Object) |
| id | return string identifiers which correspond to a numerical identifier. |
| id_num | returns the identification number of string identifier (e.g. name of an element). If not already present the id is enlisted. |
| MemberwiseClone | Creates a shallow copy of the current Object. (Inherited from Object) |
| ToString | Returns a string that represents the current object. (Inherited from Object) |
| ContainerType |
test if object is (a container like) a list or an array.
(Defined by MiniUtil) |