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

# 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
C#
VB
C++
F#
Copy

    public PrtSpecMachine(
    	StateImpl app
    )

    Public Sub New (
    	app As StateImpl
    )

    public:
    PrtSpecMachine(
    	StateImpl^ app
    )

    new :
            app : StateImpl -> PrtSpecMachine

#### Parameters

app
  Type: P.Runtime
  StateImpl

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

See Also

#### Reference

PrtSpecMachine Class
PrtSpecMachine Overload
P.Runtime Namespace