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 |
See AlsoPrtSpecMachine Constructor |
Overload List| Name | Description | |
|---|---|---|
| PrtSpecMachine | Initializes a new instance of the PrtSpecMachine class |
| PrtSpecMachine(StateImpl) | Initializes a new instance of the PrtSpecMachine class |
See Also