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
public property SharedNodes Shared nodes.
public property SharedObjects Shared objects.
public property SharedValues Shared values.

Top

Public Methods

(see also Protected Methods)

  Name Description
public method Equals  (Inherited from Object)
public method GetHashCode  (Inherited from Object)
public method GetType  (Inherited from Object)
public method ToString  (Inherited from Object)

Top

Protected Methods

  Name Description
protected method Finalize  (Inherited from Object)
protected method MemberwiseClone  (Inherited from Object)

Top

See Also

Reference

SharedEntitySet Class
Microsoft.SpecExplorer.ObjectModel Namespace