PrtMachine Class |
[Missing <summary> documentation for "T:P.Runtime.PrtMachine"]
Inheritance HierarchyNamespace: P.Runtime
Assembly: Prt (in Prt.dll) Version: 1.0.0.0 (1.0.0.0)
SyntaxThe PrtMachine type exposes the following members.
Constructors| Name | Description | |
|---|---|---|
 | PrtMachine | Initializes a new instance of the PrtMachine class |
Properties
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.) |
FieldsTop
See Also