	Name	Description
	PrtImplMachine	Initializes a new instance of the PrtImplMachine class
	PrtImplMachine(StateImpl, Int32, Boolean)	Initializes a new instance of the PrtImplMachine class

	Name	Description
	CurrentActionSet	(Inherited from PrtMachine.)
	CurrentDeferredSet	(Inherited from PrtMachine.)
	CurrentState	(Inherited from PrtMachine.)
	Name	(Inherited from PrtMachine.)
	StartState	(Inherited from PrtMachine.)

	Name	Description
	AbstractMe
	Clone
	DbgCompare	(Overrides PrtMachineDbgCompare(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 PrtMachineGetHashCode.)
	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 PrtMachinePrtEnqueueEvent(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, ListPrtValue)	(Inherited from PrtMachine.)
	PrtPushFunStackFrame(PrtFun, ListPrtValue, Int32)	(Inherited from PrtMachine.)
	PrtPushState	(Inherited from PrtMachine.)
	PrtPushTransitionFun	(Inherited from PrtMachine.)
	PrtResetTriggerAndPayload
	PrtRunStateMachine
	PrtRunStateMachineNextChoice
	PrtStepStateMachine
	Resolve	(Overrides PrtMachineResolve(StateImpl).)
	ToPrettyString
	ToString	(Overrides ObjectToString.)

	Name	Description
	continuation	(Inherited from PrtMachine.)
	currentPayload	(Inherited from PrtMachine.)
	currentStatus	(Inherited from PrtMachine.)
	currentTrigger	(Inherited from PrtMachine.)
	currentTriggerSenderInfo	(Inherited from PrtMachine.)
	DefaultMaxBufferSize
	destOfGoto	(Inherited from PrtMachine.)
	doAssume
	eventQueue
	eventValue	(Inherited from PrtMachine.)
	fields	(Inherited from PrtMachine.)
	instanceNumber	(Inherited from PrtMachine.)
	invertedFunStack	(Inherited from PrtMachine.)
	isSafe	(Inherited from PrtMachine.)
	maxBufferSize
	nextSMOperation	(Inherited from PrtMachine.)
	receiveSet
	renamedName	(Inherited from PrtMachine.)
	self
	sends	(Inherited from PrtMachine.)
	stateExitReason	(Inherited from PrtMachine.)
	stateImpl	(Inherited from PrtMachine.)
	stateStack	(Inherited from PrtMachine.)

PrtImplMachine Class

Reference