SharedEntitySet Members
A class to represent the shared entities which contains values shared among all states in a transition system.
The following tables list the members exposed by the SharedEntitySet type.
Public Constructors
Name | Description | |
---|---|---|
SharedEntitySet | Overloaded. |
Top
Public Properties
Name | Description | |
---|---|---|
SharedNodes | Shared nodes. | |
SharedObjects | Shared objects. | |
SharedValues | Shared values. |
Top
Public Methods
(see also Protected Methods)
Name | Description | |
---|---|---|
Equals | (Inherited from Object) | |
GetHashCode | (Inherited from Object) | |
GetType | (Inherited from Object) | |
ToString | (Inherited from Object) |
Top
Protected Methods
Name | Description | |
---|---|---|
Finalize | (Inherited from Object) | |
MemberwiseClone | (Inherited from Object) |
Top
See Also
Reference
SharedEntitySet Class
Microsoft.SpecExplorer.ObjectModel Namespace