A Sandcastle Documented Class Library
A Sandcastle Documented Class Library
P.Runtime
StateImpl Class
StateImpl Fields
concrete Field
CreateMachineCallback Field
createMachineMap Field
createSpecMap Field
currentVisibleTrace Field
DequeueCallback Field
errorTrace Field
FileDump Field
interfaceMap Field
invariant Field
isSafeMap Field
linkMap Field
machineDefMap Field
mode Field
predHash Field
specMachineMap Field
StateTransitionCallback Field
succHash Field
symmetryReduction Field
UserBooleanChoice Field
visibleEvents Field
visibleInterfaces Field

# StateImpl createSpecMap Field

[Missing <summary> documentation for "F:P.Runtime.StateImpl.createSpecMap"]

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

    public static Dictionary<string, StateImplCreateSpecDelegate> createSpecMap

    Public Shared createSpecMap As Dictionary(Of String, StateImplCreateSpecDelegate)

    public:
    static Dictionary<String^, StateImplCreateSpecDelegate^>^ createSpecMap

    static val mutable createSpecMap: Dictionary<string, StateImplCreateSpecDelegate>

#### Field Value

Type: Dictionary
String, StateImpl
CreateSpecDelegate
See Also

#### Reference

StateImpl Class
P.Runtime Namespace