Enumeration ConditionEdge

Edge types that can be used for conditions.

Used in:
Condition
Enumeration Literals
Name Description
rising A condition defined with a rising edge shall return true at discrete time t if its logical expression is true at discrete time t and its logical expression was false at discrete time t-ts, where ts is the simulation sampling time.
falling A condition defined with a falling edge shall return true at discrete time t if its logical expression is false at discrete time t and its logical expression was true at discrete time t-ts, where ts is the simulation sampling time.
risingOrFalling A condition defined with a 'risingOrFalling' edge shall return true at discrete time t if its logical expression is true at discrete time t and its logical expression was false at discrete time t-ts OR if its logical expression is false at discrete time t and its logical expression was true at discrete time t-ts. ts is the simulation sampling time.
none A condition defined with a 'none' edge shall return true at discrete time t if its logical expression is true at discrete time t.

Migration Information from XSD 0.9.1
Derived From:
Enum_Condition_edge
Property Name XSD Type XSD 0.9.1 Name Migration
rising Attribute rising
falling Attribute falling
risingOrFalling Attribute N/A Created for version 1.0.
none Attribute N/A Created for version 1.0.
Attribute any Migrated to risingOrFalling.

XSD 1.0 Representation


<xsd:simpleType name="ConditionEdge">
<xsd:union>
<xsd:simpleType>
<xsd:restriction base="xsd:string">
<xsd:enumeration value="rising"/>
<xsd:enumeration value="falling"/>
<xsd:enumeration value="risingOrFalling"/>
<xsd:enumeration value="none"/>
</xsd:restriction>
</xsd:simpleType>
<xsd:simpleType>
<xsd:restriction base="parameter"/>
</xsd:simpleType>
</xsd:union>
</xsd:simpleType>

To XSD To XSLT