L0 = <http://www.simantics.org/Layer0-1.1>
DIA = <http://www.simantics.org/Diagram-2.2>
STR = <http://www.simantics.org/Structural-1.2>
MOD = <http://www.simantics.org/Modeling-1.2>
VP = <http://www.simantics.org/Viewpoint-1.2>
IMAGE = <http://www.simantics.org/Image2-1.2>
SEL = <http://www.simantics.org/SelectionView-1.2>
SEL_UI = <http://www.simantics.org/SelectionViewUI-1.1>
G2D = <http://www.simantics.org/G2D-1.1>
DN = <http://www.simantics.org/DistrictNetwork-1.0>

// ----------------------------------------------------------------------------

DN.EdgeThicknessPropertyParameterType <T SEL.GenericParameterType
    @L0.assert SEL.HasDisplayValue
        _ : SEL.DisplayValue
            SEL.HasEnumerationValues DN.Functions.edgeThicknessPropertyEnumerationValues : L0.Function
            SEL.HasCustomModifier DN.Functions.edgeThicknessPropertyModifier : L0.Function

DN.VertexScalePropertyParameterType <T SEL.GenericParameterType
    @L0.assert SEL.HasDisplayValue
        _ : SEL.DisplayValue
            SEL.HasEnumerationValues DN.Functions.nodeScalePropertyEnumerationValues : L0.Function
            SEL.HasCustomModifier DN.Functions.nodeScalePropertyModifier : L0.Function

DN.Edge.ThicknessProperty <T L0.Value
    @L0.assert L0.ConvertsToValueWith DN.Functions.convertToValue
    >-- DN.Edge.ThicknessProperty.value ==> "Resource -> <ReadGraph> Maybe Double" <R L0.HasProperty : SEL.GenericParameterType
        L0.readOnly true
    >-- DN.Edge.ThicknessProperty.gain --> L0.Double <R L0.HasProperty : SEL.GenericParameterType
        L0.readOnly true
    >-- DN.Edge.ThicknessProperty.bias --> L0.Double <R L0.HasProperty : SEL.GenericParameterType
        L0.readOnly true
    @L0.assert DN.Edge.ThicknessProperty.gain 1.0
    @L0.assert DN.Edge.ThicknessProperty.bias 0.0

DN.Vertex.ScaleProperty <T L0.Value
    @L0.assert L0.ConvertsToValueWith DN.Functions.convertToValue
    >-- DN.Vertex.ScaleProperty.value ==> "Resource -> <ReadGraph> Maybe Double" <R L0.HasProperty : SEL.GenericParameterType
        L0.readOnly true
    >-- DN.Vertex.ScaleProperty.gain ==> "Double" <R L0.HasProperty : SEL.GenericParameterType
        L0.readOnly true
    >-- DN.Vertex.ScaleProperty.bias ==> "Double" <R L0.HasProperty : SEL.GenericParameterType
        L0.readOnly true
    @L0.assert DN.Vertex.ScaleProperty.gain 1.0
    @L0.assert DN.Vertex.ScaleProperty.bias 0.0

DN.Diagram
    >-- DN.Diagram.edgeThicknessGain ==> "Double" <R L0.HasProperty : SEL.GenericParameterType
        L0.HasLabel "Edge Thickness Gain"
    >-- DN.Diagram.edgeThicknessBias ==> "Double" <R L0.HasProperty : SEL.GenericParameterType
        L0.HasLabel "Edge Thickness Bias"
    >-- DN.Diagram.edgeThicknessProperty --> DN.Edge.ThicknessProperty <R L0.HasProperty : DN.EdgeThicknessPropertyParameterType
        L0.HasLabel "Edge Thickness 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"
    @L0.assert DN.Diagram.edgeThicknessGain 1.0
    @L0.assert DN.Diagram.edgeThicknessBias 0.0
    @L0.assert DN.Diagram.edgeThicknessProperty DN.Edge.ThicknessProperty.Diameter
    @L0.assert DN.Diagram.nodeScaleGain 1.0
    @L0.assert DN.Diagram.nodeScaleBias 0.0
    @L0.assert DN.Diagram.nodeScaleProperty DN.Vertex.ScaleProperty.NominalSupplyPressure

// ----------------------------------------------------------------------------
// Built-in enumerated ScaleProperty & ThicknessProperty instances

DN.Edge.ThicknessProperty.OnlyGainAndBias: DN.Edge.ThicknessProperty
    L0.HasLabel "Only Gain and Bias"
    DN.Edge.ThicknessProperty.value
        DN.Functions.constantOne : L0.Function
            L0.HasValueType "Resource -> <ReadGraph> Maybe Double"

DN.Edge.ThicknessProperty.Diameter : DN.Edge.ThicknessProperty
    L0.HasLabel "Diameter"
    DN.Edge.ThicknessProperty.value
        DN.Functions.hasDiameterValue : L0.Function
            L0.HasValueType "Resource -> <ReadGraph> Maybe Double"
    DN.Edge.ThicknessProperty.gain 0.001


DN.Vertex.ScaleProperty.OnlyGainAndBias: DN.Vertex.ScaleProperty
    L0.HasLabel "Only Gain and Bias"
    DN.Vertex.ScaleProperty.value
        DN.Functions.constantOne : L0.Function
            L0.HasValueType "Resource -> <ReadGraph> Maybe Double"

DN.Vertex.ScaleProperty.NominalSupplyPressure : DN.Vertex.ScaleProperty
    L0.HasLabel "Nominal Supply Pressure"
    DN.Vertex.ScaleProperty.value
        DN.Functions.hasNominalSupplyPressure : L0.Function
            L0.HasValueType "Resource -> <ReadGraph> Maybe Double"
    DN.Vertex.ScaleProperty.gain 0.001

DN.Vertex.ScaleProperty.Elevation : DN.Vertex.ScaleProperty
    L0.HasLabel "Elevation"
    DN.Vertex.ScaleProperty.value
        DN.Functions.hasElevation : L0.Function
            L0.HasValueType "Resource -> <ReadGraph> Maybe Double"
    DN.Vertex.ScaleProperty.gain 0.1
    DN.Vertex.ScaleProperty.bias 0.001