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

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

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

    public override void DbgCompare(
    	PrtMachine machine
    )

    Public Overrides Sub DbgCompare (
    	machine As PrtMachine
    )

    public:
    virtual void DbgCompare(
    	PrtMachine^ machine
    ) override

    abstract DbgCompare :
            machine : PrtMachine -> unit
    override DbgCompare :
            machine : PrtMachine -> unit

#### Parameters

machine
  Type: P.Runtime
  PrtMachine

  [Missing <param name="machine"/> documentation for "M:P.Runtime.PrtSpecMachine.DbgCompare(P.Runtime.PrtMachine)"]

See Also

#### Reference

PrtSpecMachine Class
P.Runtime Namespace