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 ObjectGetHashCode.) |
| 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, ListPrtValue) | |
| PrtPushFunStackFrame(PrtFun, ListPrtValue, Int32) | |
| PrtPushState | |
| PrtPushTransitionFun | |
| Resolve | |
| ToPrettyString | |
| ToString | Returns a string that represents the current object. (Inherited from Object.) |
See Also