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 Methods

The PrtSpecMachine type exposes the following members.

Methods

| Name | Description
--- | --- | ---
| Clone |
| DbgCompare | (Overrides PrtMachine DbgCompare(PrtMachine).)
| Equals | Determines whether the specified object is equal to the current object. (Inherited from Object.)
| Finalize | Allows an object to try to free resources and perform other cleanup operations before it is reclaimed by garbage collection. (Inherited from Object.)
| GetHashCode | (Overrides PrtMachine GetHashCode .)
| GetType | Gets the Type of the current instance. (Inherited from Object.)
| MakeSkeleton |
| MemberwiseClone | Creates a shallow copy of the current Object. (Inherited from Object.)
| PrtChangeState | (Inherited from PrtMachine.)
| PrtEnqueueEvent | (Overrides PrtMachine PrtEnqueueEvent(PrtValue, PrtValue, PrtMachine, PrtMachineValue).)
| PrtFindActionHandler | (Inherited from PrtMachine.)
| PrtFunContGoto | (Inherited from PrtMachine.)
| PrtFunContNewMachine | (Inherited from PrtMachine.)
| PrtFunContNondet | (Inherited from PrtMachine.)
| PrtFunContPop | (Inherited from PrtMachine.)
| PrtFunContRaise | (Inherited from PrtMachine.)
| PrtFunContReceive | (Inherited from PrtMachine.)
| PrtFunContReturn | (Inherited from PrtMachine.)
| PrtFunContReturnVal | (Inherited from PrtMachine.)
| PrtFunContSend | (Inherited from PrtMachine.)
| PrtIsActionInstalled | (Inherited from PrtMachine.)
| PrtIsTransitionPresent | (Inherited from PrtMachine.)
| PrtPopFunStackFrame | (Inherited from PrtMachine.)
| PrtPopState | (Inherited from PrtMachine.)
| PrtPushExitFunction | (Inherited from PrtMachine.)
| PrtPushFunStackFrame(PrtFun, List PrtValue ) | (Inherited from PrtMachine.)
| PrtPushFunStackFrame(PrtFun, List PrtValue , Int32) | (Inherited from PrtMachine.)
| PrtPushState | (Inherited from PrtMachine.)
| PrtPushTransitionFun | (Inherited from PrtMachine.)
| Resolve | (Inherited from PrtMachine.)
| ToPrettyString | (Inherited from PrtMachine.)
| ToString | Returns a string that represents the current object. (Inherited from Object.)

Top
See Also

#### Reference

PrtSpecMachine Class
P.Runtime Namespace