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

# PrtSpecMachine Constructor

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()

    Public Sub New

    public:
    PrtSpecMachine()

    new : unit -> PrtSpecMachine

See Also

#### Reference

PrtSpecMachine Class
PrtSpecMachine Overload
P.Runtime Namespace