 | IIndexSet Interface |
The index set applied on a graph.
Namespace: de.unika.ipd.grGen.libGr
Assembly: libGr (in libGr.dll) Version: GrGen.NET 7.2
SyntaxC#
public interface IIndexSet
The IIndexSet type exposes the following members.
Methods| Name | Description | |
|---|---|---|
 | GetIndex |
Returns the index of the given name associated with the graph,
or null in case no index of the given name is known.
|
See Also