Overview  Diagram  Inheritance  Events  Faults  FSMs  Properties Summary  Properties Detail 

Class copp:ACustomValues (ABSTRACT)

Class ID:10013
Class Label: Base setting for all the protocols on a given platform generation
Encrypted: false - Exportable: true - Persistent: true - Configurable: true - Subject to Quota: Disabled
Write Access: [admin]
Read Access: [admin]
Creatable/Deletable: derived (see Container Mos for details)
Semantic Scope: Fabric
Semantic Scope Evaluation Rule: Subclasses
Monitoring Policy Source: Parent
Monitoring Flags : [ IsObservable: false, HasStats: false, HasFaults: false, HasHealth: false, HasEventRules: false ]

Base Class for all the custom settings a user can apply under a coppAProfile of type custom

Naming Rules 


DN FORMAT:


Diagram

Super Mo: pol:Obj,
Sub Mos: copp:LeafGen1CustomValues, copp:SpineGen1CustomValues,


Inheritance
[V] naming:NamedObject An abstract base class for an object that contains a name.
 ├
 		[V] pol:Obj Represents a generic policy object.
 
 		 ├
 		[V] copp:ACustomValues  Base Class for all the custom settings a user can apply under a coppAProfile of type custom
 
 		 
 		 ├
 		[V] copp:LeafGen1CustomValues  Configuration of all the protocols burst and rates for LEAF of first generation
 
 		 
 		 ├
 		[V] copp:SpineGen1CustomValues  Configuration of all the protocols burst and rates for SPINE of first generation


Events


Faults


Fsms


Properties Summary
Defined in: copp:ACustomValues
policer:Burst
          scalar:Uint64 		acllogBurst  (copp:ACustomValues:acllogBurst)
           NO COMMENTS
policer:Rate
          scalar:Uint64 		acllogRate  (copp:ACustomValues:acllogRate)
           NO COMMENTS
policer:Burst
          scalar:Uint64 		arpBurst  (copp:ACustomValues:arpBurst)
           NO COMMENTS
policer:Rate
          scalar:Uint64 		arpRate  (copp:ACustomValues:arpRate)
           NO COMMENTS
policer:Burst
          scalar:Uint64 		bfdBurst  (copp:ACustomValues:bfdBurst)
           NO COMMENTS
policer:Rate
          scalar:Uint64 		bfdRate  (copp:ACustomValues:bfdRate)
           NO COMMENTS
policer:Burst
          scalar:Uint64 		bgpBurst  (copp:ACustomValues:bgpBurst)
           NO COMMENTS
policer:Rate
          scalar:Uint64 		bgpRate  (copp:ACustomValues:bgpRate)
           NO COMMENTS
policer:Burst
          scalar:Uint64 		cdpBurst  (copp:ACustomValues:cdpBurst)
           NO COMMENTS
policer:Rate
          scalar:Uint64 		cdpRate  (copp:ACustomValues:cdpRate)
           NO COMMENTS
policer:Burst
          scalar:Uint64 		coopBurst  (copp:ACustomValues:coopBurst)
           NO COMMENTS
policer:Rate
          scalar:Uint64 		coopRate  (copp:ACustomValues:coopRate)
           NO COMMENTS
policer:Burst
          scalar:Uint64 		dhcpBurst  (copp:ACustomValues:dhcpBurst)
           NO COMMENTS
policer:Rate
          scalar:Uint64 		dhcpRate  (copp:ACustomValues:dhcpRate)
           NO COMMENTS
policer:Burst
          scalar:Uint64 		eigrpBurst  (copp:ACustomValues:eigrpBurst)
           NO COMMENTS
policer:Rate
          scalar:Uint64 		eigrpRate  (copp:ACustomValues:eigrpRate)
           NO COMMENTS
policer:Burst
          scalar:Uint64 		icmpBurst  (copp:ACustomValues:icmpBurst)
           NO COMMENTS
policer:Rate
          scalar:Uint64 		icmpRate  (copp:ACustomValues:icmpRate)
           NO COMMENTS
policer:Burst
          scalar:Uint64 		ifcBurst  (copp:ACustomValues:ifcBurst)
           NO COMMENTS
policer:Burst
          scalar:Uint64 		ifcOtherBurst  (copp:ACustomValues:ifcOtherBurst)
           NO COMMENTS
policer:Rate
          scalar:Uint64 		ifcOtherRate  (copp:ACustomValues:ifcOtherRate)
           NO COMMENTS
policer:Rate
          scalar:Uint64 		ifcRate  (copp:ACustomValues:ifcRate)
           NO COMMENTS
policer:Burst
          scalar:Uint64 		ifcSpanBurst  (copp:ACustomValues:ifcSpanBurst)
           NO COMMENTS
policer:Rate
          scalar:Uint64 		ifcSpanRate  (copp:ACustomValues:ifcSpanRate)
           NO COMMENTS
policer:Burst
          scalar:Uint64 		igmpBurst  (copp:ACustomValues:igmpBurst)
           NO COMMENTS
policer:Rate
          scalar:Uint64 		igmpRate  (copp:ACustomValues:igmpRate)
           NO COMMENTS
policer:Burst
          scalar:Uint64 		infraArpBurst  (copp:ACustomValues:infraArpBurst)
           NO COMMENTS
policer:Rate
          scalar:Uint64 		infraArpRate  (copp:ACustomValues:infraArpRate)
           NO COMMENTS
policer:Burst
          scalar:Uint64 		isisBurst  (copp:ACustomValues:isisBurst)
           NO COMMENTS
policer:Rate
          scalar:Uint64 		isisRate  (copp:ACustomValues:isisRate)
           NO COMMENTS
policer:Burst
          scalar:Uint64 		lacpBurst  (copp:ACustomValues:lacpBurst)
           NO COMMENTS
policer:Rate
          scalar:Uint64 		lacpRate  (copp:ACustomValues:lacpRate)
           NO COMMENTS
policer:Burst
          scalar:Uint64 		lldpBurst  (copp:ACustomValues:lldpBurst)
           NO COMMENTS
policer:Rate
          scalar:Uint64 		lldpRate  (copp:ACustomValues:lldpRate)
           NO COMMENTS
policer:Burst
          scalar:Uint64 		mcpBurst  (copp:ACustomValues:mcpBurst)
           NO COMMENTS
policer:Rate
          scalar:Uint64 		mcpRate  (copp:ACustomValues:mcpRate)
           NO COMMENTS
policer:Burst
          scalar:Uint64 		ndBurst  (copp:ACustomValues:ndBurst)
           NO COMMENTS
policer:Rate
          scalar:Uint64 		ndRate  (copp:ACustomValues:ndRate)
           NO COMMENTS
policer:Burst
          scalar:Uint64 		ospfBurst  (copp:ACustomValues:ospfBurst)
           NO COMMENTS
policer:Rate
          scalar:Uint64 		ospfRate  (copp:ACustomValues:ospfRate)
           NO COMMENTS
policer:Burst
          scalar:Uint64 		permitlogBurst  (copp:ACustomValues:permitlogBurst)
           NO COMMENTS
policer:Rate
          scalar:Uint64 		permitlogRate  (copp:ACustomValues:permitlogRate)
           NO COMMENTS
policer:Burst
          scalar:Uint64 		pimBurst  (copp:ACustomValues:pimBurst)
           NO COMMENTS
policer:Rate
          scalar:Uint64 		pimRate  (copp:ACustomValues:pimRate)
           NO COMMENTS
policer:Burst
          scalar:Uint64 		stpBurst  (copp:ACustomValues:stpBurst)
           NO COMMENTS
policer:Rate
          scalar:Uint64 		stpRate  (copp:ACustomValues:stpRate)
           NO COMMENTS
policer:Burst
          scalar:Uint64 		tracerouteBurst  (copp:ACustomValues:tracerouteBurst)
           NO COMMENTS
policer:Rate
          scalar:Uint64 		tracerouteRate  (copp:ACustomValues:tracerouteRate)
           NO COMMENTS
Defined in: pol:Obj
naming:Name
          string:Basic 		name  (pol:Obj:name)
           Overrides:naming:NamedObject:name
           null
Defined in: naming:NamedObject
naming:NameAlias
          string:Basic 		nameAlias  (naming:NamedObject:nameAlias)
           NO COMMENTS
Defined in: mo:TopProps
mo:ModificationChildAction
          scalar:Bitmask32 		childAction  (mo:TopProps:childAction)
           Delete or ignore. For internal use only.
reference:BinRef dn  (mo:TopProps:dn)
           A tag or metadata is a non-hierarchical keyword or term assigned to the fabric module.
reference:BinRN rn  (mo:TopProps:rn)
           Identifies an object from its siblings within the context of its parent object. The distinguished name contains a sequence of relative names.
mo:ModificationStatus
          scalar:Bitmask32 		status  (mo:TopProps:status)
           The upgrade status. This property is for internal use only.
Properties Detail

acllogBurst

Type: policer:Burst
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS
Constants
unspecified 0xffffffffffffffffull Unspecified NO COMMENTS
DEFAULT unspecified(0xffffffffffffffffull) Unspecified NO COMMENTS




acllogRate

Type: policer:Rate
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS


arpBurst

Type: policer:Burst
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS
Constants
unspecified 0xffffffffffffffffull Unspecified NO COMMENTS
DEFAULT unspecified(0xffffffffffffffffull) Unspecified NO COMMENTS




arpRate

Type: policer:Rate
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS


bfdBurst

Type: policer:Burst
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS
Constants
unspecified 0xffffffffffffffffull Unspecified NO COMMENTS
DEFAULT unspecified(0xffffffffffffffffull) Unspecified NO COMMENTS




bfdRate

Type: policer:Rate
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS


bgpBurst

Type: policer:Burst
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS
Constants
unspecified 0xffffffffffffffffull Unspecified NO COMMENTS
DEFAULT unspecified(0xffffffffffffffffull) Unspecified NO COMMENTS




bgpRate

Type: policer:Rate
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS


cdpBurst

Type: policer:Burst
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS
Constants
unspecified 0xffffffffffffffffull Unspecified NO COMMENTS
DEFAULT unspecified(0xffffffffffffffffull) Unspecified NO COMMENTS




cdpRate

Type: policer:Rate
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS


childAction

Type: mo:ModificationChildAction
Primitive Type: scalar:Bitmask32

Units: null
Encrypted: false
Access: implicit
Category: TopLevelChildAction
    Comments:
Delete or ignore. For internal use only.
Constants
deleteAll 16384u deleteAll NO COMMENTS
ignore 4096u ignore NO COMMENTS
deleteNonPresent 8192u deleteNonPresent NO COMMENTS
DEFAULT 0 --- This type is used to




coopBurst

Type: policer:Burst
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS
Constants
unspecified 0xffffffffffffffffull Unspecified NO COMMENTS
DEFAULT unspecified(0xffffffffffffffffull) Unspecified NO COMMENTS




coopRate

Type: policer:Rate
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS


dhcpBurst

Type: policer:Burst
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS
Constants
unspecified 0xffffffffffffffffull Unspecified NO COMMENTS
DEFAULT unspecified(0xffffffffffffffffull) Unspecified NO COMMENTS




dhcpRate

Type: policer:Rate
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS


dn

Type: reference:BinRef

Units: null
Encrypted: false
Access: implicit
Category: TopLevelDn
    Comments:
A tag or metadata is a non-hierarchical keyword or term assigned to the fabric module.


eigrpBurst

Type: policer:Burst
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS
Constants
unspecified 0xffffffffffffffffull Unspecified NO COMMENTS
DEFAULT unspecified(0xffffffffffffffffull) Unspecified NO COMMENTS




eigrpRate

Type: policer:Rate
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS


icmpBurst

Type: policer:Burst
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS
Constants
unspecified 0xffffffffffffffffull Unspecified NO COMMENTS
DEFAULT unspecified(0xffffffffffffffffull) Unspecified NO COMMENTS




icmpRate

Type: policer:Rate
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS


ifcBurst

Type: policer:Burst
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS
Constants
unspecified 0xffffffffffffffffull Unspecified NO COMMENTS
DEFAULT unspecified(0xffffffffffffffffull) Unspecified NO COMMENTS




ifcOtherBurst

Type: policer:Burst
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS
Constants
unspecified 0xffffffffffffffffull Unspecified NO COMMENTS
DEFAULT unspecified(0xffffffffffffffffull) Unspecified NO COMMENTS




ifcOtherRate

Type: policer:Rate
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS


ifcRate

Type: policer:Rate
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS


ifcSpanBurst

Type: policer:Burst
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS
Constants
unspecified 0xffffffffffffffffull Unspecified NO COMMENTS
DEFAULT unspecified(0xffffffffffffffffull) Unspecified NO COMMENTS




ifcSpanRate

Type: policer:Rate
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS


igmpBurst

Type: policer:Burst
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS
Constants
unspecified 0xffffffffffffffffull Unspecified NO COMMENTS
DEFAULT unspecified(0xffffffffffffffffull) Unspecified NO COMMENTS




igmpRate

Type: policer:Rate
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS


infraArpBurst

Type: policer:Burst
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS
Constants
unspecified 0xffffffffffffffffull Unspecified NO COMMENTS
DEFAULT unspecified(0xffffffffffffffffull) Unspecified NO COMMENTS




infraArpRate

Type: policer:Rate
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS


isisBurst

Type: policer:Burst
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS
Constants
unspecified 0xffffffffffffffffull Unspecified NO COMMENTS
DEFAULT unspecified(0xffffffffffffffffull) Unspecified NO COMMENTS




isisRate

Type: policer:Rate
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS


lacpBurst

Type: policer:Burst
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS
Constants
unspecified 0xffffffffffffffffull Unspecified NO COMMENTS
DEFAULT unspecified(0xffffffffffffffffull) Unspecified NO COMMENTS




lacpRate

Type: policer:Rate
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS


lldpBurst

Type: policer:Burst
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS
Constants
unspecified 0xffffffffffffffffull Unspecified NO COMMENTS
DEFAULT unspecified(0xffffffffffffffffull) Unspecified NO COMMENTS




lldpRate

Type: policer:Rate
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS


mcpBurst

Type: policer:Burst
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS
Constants
unspecified 0xffffffffffffffffull Unspecified NO COMMENTS
DEFAULT unspecified(0xffffffffffffffffull) Unspecified NO COMMENTS




mcpRate

Type: policer:Rate
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS


name

Type: naming:Name
Primitive Type: string:Basic

Overrides:naming:NamedObject:name

Units: null
Encrypted: false
Access: admin
Category: TopLevelRegular
Property Validators:
    Range:  min: "0"  max: "64"
        Allowed Chars:
            Regex: [a-zA-Z0-9_.:-]+
    Comments:
null


nameAlias

Type: naming:NameAlias
Primitive Type: string:Basic

Units: null
Encrypted: false
Access: admin
Category: TopLevelRegular
Property Validators:
    Range:  min: "0"  max: "63"
        Allowed Chars:
            Regex: [a-zA-Z0-9_.-]+
    Comments:
NO COMMENTS


ndBurst

Type: policer:Burst
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS
Constants
unspecified 0xffffffffffffffffull Unspecified NO COMMENTS
DEFAULT unspecified(0xffffffffffffffffull) Unspecified NO COMMENTS




ndRate

Type: policer:Rate
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS


ospfBurst

Type: policer:Burst
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS
Constants
unspecified 0xffffffffffffffffull Unspecified NO COMMENTS
DEFAULT unspecified(0xffffffffffffffffull) Unspecified NO COMMENTS




ospfRate

Type: policer:Rate
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS


permitlogBurst

Type: policer:Burst
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS
Constants
unspecified 0xffffffffffffffffull Unspecified NO COMMENTS
DEFAULT unspecified(0xffffffffffffffffull) Unspecified NO COMMENTS




permitlogRate

Type: policer:Rate
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS


pimBurst

Type: policer:Burst
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS
Constants
unspecified 0xffffffffffffffffull Unspecified NO COMMENTS
DEFAULT unspecified(0xffffffffffffffffull) Unspecified NO COMMENTS




pimRate

Type: policer:Rate
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS


rn

Type: reference:BinRN

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRn
    Comments:
Identifies an object from its siblings within the context of its parent object. The distinguished name contains a sequence of relative names.


status

Type: mo:ModificationStatus
Primitive Type: scalar:Bitmask32

Units: null
Encrypted: false
Access: implicit
Category: TopLevelStatus
    Comments:
The upgrade status. This property is for internal use only.
Constants
created 2u created In a setter method: specifies that an object should be created. An error is returned if the object already exists.
In the return value of a setter method: indicates that an object has been created.
modified 4u modified In a setter method: specifies that an object should be modified
In the return value of a setter method: indicates that an object has been modified.
deleted 8u deleted In a setter method: specifies that an object should be deleted.
In the return value of a setter method: indicates that an object has been deleted.
DEFAULT 0 --- This type controls the life cycle of objects passed in the XML API.

When used in a setter method (such as configConfMo), the ModificationStatus specifies whether an object should be created, modified, deleted or removed.
In the return value of a setter method, the ModificationStatus indicates the actual operation that was performed. For example, the ModificationStatus is set to "created" if the object was created. The ModificationStatus is not set if the object was neither created, modified, deleted or removed.

When invoking a setter method, the ModificationStatus is optional:
If a setter method such as configConfMo is invoked and the ModificationStatus is not set, the system automatically determines if the object should be created or modified.





stpBurst

Type: policer:Burst
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS
Constants
unspecified 0xffffffffffffffffull Unspecified NO COMMENTS
DEFAULT unspecified(0xffffffffffffffffull) Unspecified NO COMMENTS




stpRate

Type: policer:Rate
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS


tracerouteBurst

Type: policer:Burst
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS
Constants
unspecified 0xffffffffffffffffull Unspecified NO COMMENTS
DEFAULT unspecified(0xffffffffffffffffull) Unspecified NO COMMENTS




tracerouteRate

Type: policer:Rate
Primitive Type: scalar:Uint64

Units: null
Encrypted: false
Access: implicit
Category: TopLevelRegular
    Comments:
NO COMMENTS




Overview  Diagram  Inheritance  Events  Faults  FSMs  Properties Summary  Properties Detail