A Sandcastle Documented Class Library

A Sandcastle Documented Class Library

AbstractChecker Class

AstNodeType Enumeration

ConcreteChecker Class

CreateAction Class

PrtAnyType Class

PrtApplicationException Class

PrtAssertFailureException Class

PrtAssumeFailureException Class

PrtBoolType Class

PrtBoolValue Class

PrtContinuation Class

PrtContinuationReason Enumeration

PrtDeadlockException Class

PrtDequeueReturnStatus Enumeration

PrtEnumType Class

PrtEnumValue Class

PrtEventBuffer Class

PrtEventNode Class

PrtEventNodeComparer Class

PrtEventType Class

PrtEventValue Class

PrtException Class

PrtFloatType Class

PrtFloatValue Class

PrtFunStack 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

PrtNullType Class

PrtSeqType Class

PrtSeqValue Class

PrtSpecMachine Class

PrtStateExitReason Enumeration

PrtStateStack Class

PrtStateStackFrame Class

PrtTransition Class

PrtTupleType Class

PrtTupleValue Class

PrtUnhandledEventException 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

VisibleAction Class

VisibleTrace Class

Click or drag to resize

PrtMachineStatus Enumeration

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

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

Syntax

public enum PrtMachineStatus

Public Enumeration PrtMachineStatus

public enum class PrtMachineStatus

type PrtMachineStatus

Members

	Member name	Value	Description
	Enabled	0
	Blocked	1
	Halted	2

See Also

Reference

P.Runtime Namespace