 | IGraphModelGraphElementUniquenessIsUserRequested Property |
If true, the user requested graph element uniqueness with a "node edge unique;" or a "unique index;" declaration in the model. This implies GraphElementUniquenessIsEnsured.
Namespace:
de.unika.ipd.grGen.libGr
Assembly:
libGr (in libGr.dll) Version: GrGen.NET 7.2
Syntaxbool GraphElementUniquenessIsUserRequested { get; }
Property Value
Type:
Boolean
See Also