A Sandcastle Documented Class Library
A Sandcastle Documented Class Library
P.Runtime
PrtMachine Class
PrtMachine Methods
DbgCompare Method
GetHashCode Method
PrtChangeState Method
PrtEnqueueEvent Method
PrtFindActionHandler Method
PrtFunContGoto Method
PrtFunContNewMachine Method
PrtFunContNondet Method
PrtFunContPop Method
PrtFunContRaise Method
PrtFunContReceive Method
PrtFunContReturn Method
PrtFunContReturnVal Method
PrtFunContSend Method
PrtIsActionInstalled Method
PrtIsTransitionPresent Method
PrtPopFunStackFrame Method
PrtPopState Method
PrtPushExitFunction Method
PrtPushFunStackFrame Method
PrtPushState Method
PrtPushTransitionFun Method
Resolve Method
ToPrettyString Method

# PrtMachine Methods

The PrtMachine type exposes the following members.

Methods

| Name | Description
--- | --- | ---
| DbgCompare |
| 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 Object GetHashCode .)
| GetType | Gets the Type of the current instance. (Inherited from Object.)
| MemberwiseClone | Creates a shallow copy of the current Object. (Inherited from Object.)
| PrtChangeState |
| PrtEnqueueEvent |
| PrtFindActionHandler |
| PrtFunContGoto |
| PrtFunContNewMachine |
| PrtFunContNondet |
| PrtFunContPop |
| PrtFunContRaise |
| PrtFunContReceive |
| PrtFunContReturn |
| PrtFunContReturnVal |
| PrtFunContSend |
| PrtIsActionInstalled |
| PrtIsTransitionPresent |
| PrtPopFunStackFrame |
| PrtPopState |
| PrtPushExitFunction |
| PrtPushFunStackFrame(PrtFun, List PrtValue ) |
| PrtPushFunStackFrame(PrtFun, List PrtValue , Int32) |
| PrtPushState |
| PrtPushTransitionFun |
| Resolve |
| ToPrettyString |
| ToString | Returns a string that represents the current object. (Inherited from Object.)

Top
See Also

#### Reference

PrtMachine Class
P.Runtime Namespace