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.lgsp
LGSPUniquenessEnsurer Class
LGSPUniquenessEnsurer Methods
ClearingGraph Method
EdgeAdded Method
EnlargeFlagsOfParallelizedMatcherAsNeeded Method
FetchAndRemoveMinimum Method
FillAsClone Method
InitialFillFlags Method
Insert Method
NodeAdded Method
RemovingEdge Method
RemovingNode Method
RetypingEdge Method
RetypingNode Method
LGSPUniquenessEnsurer
Insert Method
Namespace:
de.unika.ipd.grGen.lgsp
Assembly:
lgspBackend (in lgspBackend.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public
void
Insert
(
int
value
)
Parameters
value
Type:
System
Int32
See Also
Reference
LGSPUniquenessEnsurer Class
de.unika.ipd.grGen.lgsp Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement
SyntaxSee AlsoSyntaxSee Also