StateImplCreateSpecMachine Method |
[Missing <summary> documentation for "M:P.Runtime.StateImpl.CreateSpecMachine(System.String)"]
Namespace:
P.Runtime
Assembly:
Prt (in Prt.dll) Version: 1.0.0.0 (1.0.0.0)
Syntax public void CreateSpecMachine(
string renamedSpecName
)
Public Sub CreateSpecMachine (
renamedSpecName As String
)
public:
void CreateSpecMachine(
String^ renamedSpecName
)
member CreateSpecMachine :
renamedSpecName : string -> unit
Parameters
- renamedSpecName
- Type: SystemString
[Missing <param name="renamedSpecName"/> documentation for "M:P.Runtime.StateImpl.CreateSpecMachine(System.String)"]
See Also