PrtSpecMachine Constructor (StateImpl)

Initializes a new instance of the PrtSpecMachine class

Namespace: P.Runtime
Assembly: Prt (in Prt.dll) Version: 1.0.0.0 (1.0.0.0)

Syntax

public PrtSpecMachine(
	StateImpl app
)

Public Sub New ( 
	app As StateImpl
)

public:
PrtSpecMachine(
	StateImpl^ app
)

new : 
        app : StateImpl -> PrtSpecMachine

app: Type: P.RuntimeStateImpl
[Missing <param name="app"/> documentation for "M:P.Runtime.PrtSpecMachine.#ctor(P.Runtime.StateImpl)"]