A Sandcastle Documented Class Library
A Sandcastle Documented Class Library
P.Runtime
PrtImplMachine Class
PrtImplMachine Methods
AbstractMe Method
Clone Method
DbgCompare Method
GetEventValue Method
GetHashCode Method
IsAbstract Method
MakeSkeleton Method
NextInstanceNumber Method
PrtDequeueEvent Method
PrtEnqueueEvent Method
PrtHasNullReceiveCase Method
PrtIsPushTransitionPresent Method
PrtResetTriggerAndPayload Method
PrtRunStateMachine Method
PrtRunStateMachineNextChoice Method
PrtStepStateMachine Method
Resolve Method
ToPrettyString Method
ToString Method

# PrtImplMachine Methods

The PrtImplMachine type exposes the following members.

Methods

| Name | Description
--- | --- | ---
| AbstractMe |
| 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.)
| GetEventValue |
| GetHashCode | (Overrides PrtMachine GetHashCode .)
| GetType | Gets the Type of the current instance. (Inherited from Object.)
| IsAbstract |
| MakeSkeleton |
| MemberwiseClone | Creates a shallow copy of the current Object. (Inherited from Object.)
| NextInstanceNumber |
| PrtChangeState | (Inherited from PrtMachine.)
| PrtDequeueEvent |
| 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.)
| PrtHasNullReceiveCase |
| PrtIsActionInstalled | (Inherited from PrtMachine.)
| PrtIsPushTransitionPresent |
| 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.)
| PrtResetTriggerAndPayload |
| PrtRunStateMachine |
| PrtRunStateMachineNextChoice |
| PrtStepStateMachine |
| Resolve | (Overrides PrtMachine Resolve(StateImpl).)
| ToPrettyString |
| ToString | (Overrides Object ToString .)

Top
See Also

#### Reference

PrtImplMachine Class
P.Runtime Namespace