+ >-- DN.Diagram.arrowLengthGain ==> "Double" <R L0.HasProperty : SEL.GenericParameterType
+ L0.HasLabel "Arrow Length Gain"
+ >-- DN.Diagram.arrowLengthBias ==> "Double" <R L0.HasProperty : SEL.GenericParameterType
+ L0.HasLabel "Arrow Length Bias"
+ >-- DN.Diagram.arrowLengthProperty --> DN.Edge.ArrowLengthProperty <R L0.HasProperty : DN.ArrowLengthPropertyParameterType
+ L0.HasLabel "Arrow Length Property"
+ >-- DN.Diagram.nodeScaleGain ==> "Double" <R L0.HasProperty : SEL.GenericParameterType
+ L0.HasLabel "Node Scale Gain"
+ >-- DN.Diagram.nodeScaleBias ==> "Double" <R L0.HasProperty : SEL.GenericParameterType
+ L0.HasLabel "Node Scale Bias"
+ >-- DN.Diagram.nodeScaleProperty --> DN.Vertex.ScaleProperty <R L0.HasProperty : DN.VertexScalePropertyParameterType
+ L0.HasLabel "Node Scale Property"
+ >-- DN.Diagram.backgroundColor --> DATATYPES.RGB.Integer <R L0.HasProperty : SEL.ColorParameterType
+ L0.HasLabel "Diagram Background Color"
+ >-- DN.Diagram.drawMapEnabled ==> "Boolean" <R L0.HasProperty : SEL.GenericParameterType
+ L0.HasLabel "Draw Map"
+ >-- DN.Diagram.profileUpdateInterval ==> "Long" <R L0.HasProperty : SEL.GenericParameterType
+ L0.HasLabel "Profile update interval"
+ @L0.assert DN.Diagram.elementColoringGradientHue
+ 0.0 : L0.Float
+ L0.HasDataType $(Float(unit="deg",range=[0..360]))
+ @L0.assert DN.Diagram.elementColoringGradientSaturation
+ 100.0 : L0.Float
+ L0.HasDataType $(Float(unit="%",range=[0..100]))
+ @MOD.sclAssertion DN.Diagram.elementColoringFunction "\r -> 1.0" "Resource -> <ReadGraph> Double"
+ @L0.assert DN.Diagram.edgeThicknessGain 1.0
+ @L0.assert DN.Diagram.edgeThicknessBias 0.0