GrGen.NET v7.2 API: the libGr class library (the type exact interface gets generated)
GrGen.NET v7.2 API: the libGr class library (the type exact interface gets generated)
de.unika.ipd.grGen.libGr
IIndex Interface
IIndex Properties
Description Property
Size Property
IIndex
Size Property
The number of elements in the index.
Namespace:
de.unika.ipd.grGen.libGr
Assembly:
libGr (in libGr.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
int
Size
{
get
; }
Property Value
Type:
Int32
See Also
Reference
IIndex Interface
de.unika.ipd.grGen.libGr Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement