Click or drag to resize

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
Syntax
C#
bool GraphElementUniquenessIsUserRequested { get; }

Property Value

Type: Boolean
See Also