A Sandcastle Documented Class Library
A Sandcastle Documented Class Library
P.Runtime
StateImpl Class
StateImpl Constructor
StateImpl Properties
StateImpl Methods
StateImpl Fields

# StateImpl Class

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

Inheritance Hierarchy
System
Object
P.Runtime
StateImpl

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

    public abstract class StateImpl : ICloneable

    Public MustInherit Class StateImpl
    	Implements ICloneable

    public ref class StateImpl abstract : ICloneable

    [<AbstractClassAttribute>]
    type StateImpl =
        class
            interface ICloneable
        end

The StateImpl type exposes the following members.

Constructors

| Name | Description
--- | --- | ---
| StateImpl | Initializes a new instance of the StateImpl class

Top
Properties

| Name | Description
--- | --- | ---
| Deadlock |
| EnabledMachines |
| Exception |
| ImplMachines |

Top
Methods

| Name | Description
--- | --- | ---
| AbstractMe |
| AddImplMachineToStateImpl |
| AddSpecMachineToStateImpl |
| Announce |
| CheckAbstractStateInvariant |
| CheckConcreteStateInvariant |
| CheckConcreteStateInvariant(Int32) |
| CheckFailure |
| CheckTransInvariant |
| Clone |
| CollectAbstractSuccessors |
| CreateInterface |
| CreateMainMachine |
| CreateSpecMachine |
| DbgCompare |
| Equals | Determines whether the specified object is equal to the current object. (Inherited from Object.)
| Finalize | Allows an object to try to free resources and perform other cleanup operations before it is reclaimed by garbage collection. (Inherited from Object.)
| GetAllSpecMachines |
| GetHashCode | (Overrides Object GetHashCode .)
| GetHashCode(Boolean) |
| GetSelectedChoiceValue |
| GetType | Gets the Type of the current instance. (Inherited from Object.)
| MakeSkeleton |
| MemberwiseClone | Creates a shallow copy of the current Object. (Inherited from Object.)
| NextMachineInstanceNumber |
| Resolve |
| SetPendingChoicesAsBoolean |
| ToPrettyString |
| ToString | (Overrides Object ToString .)
| Trace |
| TraceLine |

Top
Fields

| Name | Description
--- | --- | ---
| concrete |
| CreateMachineCallback |
| createMachineMap |
| createSpecMap |
| currentVisibleTrace |
| DequeueCallback |
| errorTrace |
| FileDump |
| interfaceMap |
| invariant |
| isSafeMap |
| linkMap |
| machineDefMap |
| mode |
| predHash |
| specMachineMap |
| StateTransitionCallback |
| succHash |
| symmetryReduction |
| UserBooleanChoice |
| visibleEvents |
| visibleInterfaces |

Top
See Also

#### Reference

P.Runtime Namespace