A Sandcastle Documented Class Library
A Sandcastle Documented Class Library
P.Runtime
PrtSpecMachine Class
PrtSpecMachine Constructor
PrtSpecMachine Constructor
PrtSpecMachine Constructor (StateImpl)

# PrtSpecMachine Constructor

Overload List

| Name | Description
--- | --- | ---
| PrtSpecMachine | Initializes a new instance of the PrtSpecMachine class
| PrtSpecMachine(StateImpl) | Initializes a new instance of the PrtSpecMachine class

Top
See Also

#### Reference

PrtSpecMachine Class
P.Runtime Namespace