Partager via


StateEntity Members

The object model representing state content.

The following tables list the members exposed by the StateEntity type.

Public Constructors

  Name Description
  StateEntity Overloaded.  

Top

Public Properties

  Name Description
public property Content The root node of content of this state.
public property Description A description of this state.
public property Flags The flags of this state.
public property Label Label which uniquely identifies a state in a TransitionSystem.

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

StateEntity Class
Microsoft.SpecExplorer.ObjectModel Namespace