A Sandcastle Documented Class Library

P.Runtime

AbstractChecker Class

AstNode Class

AstNodeType Enumeration

ConcreteChecker Class

PrtApplicationException Class

PrtAssertFailureException Class

PrtAssumeFailureException Class

PrtBoolType Class

PrtBoolValue Class

PrtContinuation Class

PrtContinuationReason Enumeration

PrtDeadlockException Class

PrtDequeueReturnStatus Enumeration

PrtEventNodeComparer Class

PrtFunStackFrame Class

PrtIgnoreFun Class

PrtIllegalEnqueueException Class

PrtImplMachine Class

PrtInfiniteRaiseLoop Class

PrtInhabitsTypeException Class

PrtInterfaceType Class

PrtInterfaceValue Class

PrtInternalException Class

PrtIntType Class

PrtIntValue Class

PrtInvalidEqualsException Class

PrtInvalidPopStatement Class

PrtMachine Class

PrtMachineStatus Enumeration

PrtMachineType Class

PrtMachineValue Class

PrtMapKey Class

PrtMapType Class

PrtMapValue Class

PrtMaxBufferSizeExceededException Class

PrtMaxEventInstancesExceededException Class

PrtNamedTupleType Class

PrtNamedTupleValue Class

PrtNextStatemachineOperation Enumeration

PrtStateExitReason Enumeration

PrtStateStack Class

PrtStateStackFrame Class

PrtUnhandledEventException Class

PrtValue Class

PSourceContext Class

QuTLException Class

QuTLOperator Enumeration

QuTLParser Class

SendAction Class

StateImpl Class

StateImpl.CreateMachineCallbackDelegate Delegate

StateImpl.CreateMachineDelegate Delegate

StateImpl.CreateSpecDelegate Delegate

StateImpl.DequeueCallbackDelegate Delegate

StateImpl.ExploreMode Enumeration

StateImpl.GetBooleanChoiceDelegate Delegate

StateImpl.StateTransitionCallbackDelegate Delegate

StateImpl.SuccessorFound Class

StateImplComparer Class

StateTemperature Enumeration

TestMCer Class

VisibleAction Class

VisibleTrace Class

PrtContinuationReason Enumeration

[Missing <summary> documentation for "T:P.Runtime.PrtContinuationReason"]

Namespace: P.Runtime
Assembly: Prt (in Prt.dll) Version: 1.0.0.0 (1.0.0.0)

Syntax

C++

Copy

public enum PrtContinuationReason

Public Enumeration PrtContinuationReason

public enum class PrtContinuationReason

type PrtContinuationReason

Members

	Member name	Value	Description
	Return	0
	Nondet	1
	Pop	2
	Raise	3
	Receive	4
	Send	5
	NewMachine	6
	Goto	7

Reference

P.Runtime Namespace