Click or drag to resize

PrtImplMachine Methods

The PrtImplMachine type exposes the following members.

Methods
  NameDescription
Public methodAbstractMe
Public methodClone
Public methodDbgCompare (Overrides PrtMachineDbgCompare(PrtMachine).)
Public methodEquals
Determines whether the specified object is equal to the current object.
(Inherited from Object.)
Protected methodFinalize
Allows an object to try to free resources and perform other cleanup operations before it is reclaimed by garbage collection.
(Inherited from Object.)
Public methodGetEventValue
Public methodGetHashCode (Overrides PrtMachineGetHashCode.)
Public methodGetType
Gets the Type of the current instance.
(Inherited from Object.)
Public methodIsAbstract
Public methodMakeSkeleton
Protected methodMemberwiseClone
Creates a shallow copy of the current Object.
(Inherited from Object.)
Public methodNextInstanceNumber
Public methodPrtChangeState (Inherited from PrtMachine.)
Public methodPrtDequeueEvent
Public methodPrtEnqueueEvent (Overrides PrtMachinePrtEnqueueEvent(PrtValue, PrtValue, PrtMachine, PrtMachineValue).)
Public methodPrtFindActionHandler (Inherited from PrtMachine.)
Public methodPrtFunContGoto (Inherited from PrtMachine.)
Public methodPrtFunContNewMachine (Inherited from PrtMachine.)
Public methodPrtFunContNondet (Inherited from PrtMachine.)
Public methodPrtFunContPop (Inherited from PrtMachine.)
Public methodPrtFunContRaise (Inherited from PrtMachine.)
Public methodPrtFunContReceive (Inherited from PrtMachine.)
Public methodPrtFunContReturn (Inherited from PrtMachine.)
Public methodPrtFunContReturnVal (Inherited from PrtMachine.)
Public methodPrtFunContSend (Inherited from PrtMachine.)
Public methodPrtHasNullReceiveCase
Public methodPrtIsActionInstalled (Inherited from PrtMachine.)
Public methodPrtIsPushTransitionPresent
Public methodPrtIsTransitionPresent (Inherited from PrtMachine.)
Public methodPrtPopFunStackFrame (Inherited from PrtMachine.)
Public methodPrtPopState (Inherited from PrtMachine.)
Public methodPrtPushExitFunction (Inherited from PrtMachine.)
Public methodPrtPushFunStackFrame(PrtFun, ListPrtValue) (Inherited from PrtMachine.)
Public methodPrtPushFunStackFrame(PrtFun, ListPrtValue, Int32) (Inherited from PrtMachine.)
Public methodPrtPushState (Inherited from PrtMachine.)
Public methodPrtPushTransitionFun (Inherited from PrtMachine.)
Public methodPrtResetTriggerAndPayload
Public methodPrtRunStateMachine
Public methodPrtRunStateMachineNextChoice
Public methodPrtStepStateMachine
Public methodResolve (Overrides PrtMachineResolve(StateImpl).)
Public methodToPrettyString
Public methodToString (Overrides ObjectToString.)
Top
See Also