A Sandcastle Documented Class Library
A Sandcastle Documented Class Library
P.Runtime
AbstractChecker Class
AstNode Class
AstNodeType Enumeration
ConcreteChecker Class
CreateAction Class
ExprNode Class
Hashing 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
PrtEvent Class
PrtEventBuffer Class
PrtEventNode Class
PrtEventNodeComparer Class
PrtEventType Class
PrtEventValue Class
PrtException Class
PrtFloatType Class
PrtFloatValue Class
PrtFun 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
PrtState Class
PrtStateExitReason Enumeration
PrtStateStack Class
PrtStateStackFrame Class
PrtTransition Class
PrtTupleType Class
PrtTupleValue Class
PrtType 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

# StateImpl CreateSpecDelegate Delegate

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

Namespace: P.Runtime
Assembly: Prt (in Prt.dll) Version: 1.0.0.0 (1.0.0.0)
Syntax
C#
VB
C++
F#
Copy

    public delegate PrtSpecMachine CreateSpecDelegate(
    	StateImpl application
    )

    Public Delegate Function CreateSpecDelegate (
    	application As StateImpl
    ) As PrtSpecMachine

    public delegate PrtSpecMachine^ CreateSpecDelegate(
    	StateImpl^ application
    )

    type CreateSpecDelegate =
        delegate of
            application : StateImpl -> PrtSpecMachine

#### Parameters

application
  Type: P.Runtime
  StateImpl

#### Return Value

Type: PrtSpecMachine
See Also

#### Reference

P.Runtime Namespace