Click or drag to resize

PrtSpecMachine Methods

The PrtSpecMachine type exposes the following members.

Methods
  NameDescription
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 methodGetHashCode (Overrides PrtMachineGetHashCode.)
Public methodGetType
Gets the Type of the current instance.
(Inherited from Object.)
Public methodMakeSkeleton
Protected methodMemberwiseClone
Creates a shallow copy of the current Object.
(Inherited from Object.)
Public methodPrtChangeState (Inherited from PrtMachine.)
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 methodPrtIsActionInstalled (Inherited from PrtMachine.)
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 methodResolve (Inherited from PrtMachine.)
Public methodToPrettyString (Inherited from PrtMachine.)
Public methodToString
Returns a string that represents the current object.
(Inherited from Object.)
Top
See Also