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 symmetryReduction Field

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

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 bool symmetryReduction

    Public Shared symmetryReduction As Boolean

    public:
    static bool symmetryReduction

    static val mutable symmetryReduction: bool

#### Field Value

Type: Boolean
See Also

#### Reference

StateImpl Class
P.Runtime Namespace