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 Clone Method

[Missing <summary> documentation for "M:P.Runtime.PrtSpecMachine.Clone(P.Runtime.StateImpl)"]

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 Clone(
    	StateImpl app
    )

    Public Function Clone (
    	app As StateImpl
    ) As PrtSpecMachine

    public:
    PrtSpecMachine^ Clone(
    	StateImpl^ app
    )

    member Clone :
            app : StateImpl -> PrtSpecMachine

#### Parameters

app
  Type: P.Runtime
  StateImpl

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

#### Return Value

Type: PrtSpecMachine

[Missing <returns> documentation for "M:P.Runtime.PrtSpecMachine.Clone(P.Runtime.StateImpl)"]

See Also

#### Reference

PrtSpecMachine Class
P.Runtime Namespace