 | termExploreModelSet Properties |
[This is preliminary documentation and is subject to change.]
The termExploreModelSet type exposes the following members.
Properties| Name | Description | |
|---|---|---|
 | Capacity | Gets or sets the total number of elements the internal data structure can hold without resizing. (Inherited from ListtermExploreModel.) |
| Count | Gets the number of elements contained in the ListT. (Inherited from ListtermExploreModel.) |
| failedModels | |
| Item | Gets or sets the element at the specified index. (Inherited from ListtermExploreModel.) |
| lemmasToCheck | |
| missingLemmas |
See Also