A Sandcastle Documented Class Library
A Sandcastle Documented Class Library
P.Runtime
PrtSpecMachine Class
PrtSpecMachine Constructor
PrtSpecMachine Properties
PrtSpecMachine Methods
PrtSpecMachine Fields

# PrtSpecMachine Properties

The PrtSpecMachine type exposes the following members.

Properties

| Name | Description
--- | --- | ---
| CurrentActionSet | (Inherited from PrtMachine.)
| CurrentDeferredSet | (Inherited from PrtMachine.)
| CurrentState | (Inherited from PrtMachine.)
| Name | (Inherited from PrtMachine.)
| StartState | (Inherited from PrtMachine.)

Top
See Also

#### Reference

PrtSpecMachine Class
P.Runtime Namespace