A Sandcastle Documented Class Library
A Sandcastle Documented Class Library
P.Runtime
PrtSpecMachine Class
PrtSpecMachine Methods
Clone Method
DbgCompare Method
GetHashCode Method
MakeSkeleton Method
PrtEnqueueEvent Method

# PrtSpecMachine MakeSkeleton Method

[Missing <summary> documentation for "M:P.Runtime.PrtSpecMachine.MakeSkeleton"]

Namespace: P.Runtime
Assembly: Prt (in Prt.dll) Version: 1.0.0.0 (1.0.0.0)
Syntax
C#
VB
C++
F#
Copy

    public abstract PrtSpecMachine MakeSkeleton()

    Public MustOverride Function MakeSkeleton As PrtSpecMachine

    public:
    virtual PrtSpecMachine^ MakeSkeleton() abstract

    abstract MakeSkeleton : unit -> PrtSpecMachine

#### Return Value

Type: PrtSpecMachine

[Missing <returns> documentation for "M:P.Runtime.PrtSpecMachine.MakeSkeleton"]

See Also

#### Reference

PrtSpecMachine Class
P.Runtime Namespace