DN.ElementColoringStyle : DIA.Style
DN.VertexSizeStyle : DIA.Style
DN.EdgeThicknessStyle : DIA.Style
+DN.ArrowLengthStyle : DIA.Style
DN.HideStyle : DIA.Style
DN.VertexSymbolStyle : DIA.Style
+DN.ConnectionLineStyle : DIA.Style
// Function for dynamic selection of symbols for a vertex
// The input of the function is a DN.Vertex
DN.HasSymbolFunction <R L0.HasProperty
<-- DIA.ProfileEntry
--> L0.Value
- ==> "Resource -> <ReadGraph> String"
+ ==> "Resource -> <ReadGraph> Maybe String"