A Sandcastle Documented Class Library
A Sandcastle Documented Class Library
P.Runtime
StateImpl Class
StateImpl Methods
AbstractMe Method
AddImplMachineToStateImpl Method
AddSpecMachineToStateImpl Method
Announce Method
CheckAbstractStateInvariant Method
CheckConcreteStateInvariant Method
CheckFailure Method
CheckTransInvariant Method
Clone Method
CollectAbstractSuccessors Method
CreateInterface Method
CreateMainMachine Method
CreateSpecMachine Method
DbgCompare Method
GetAllSpecMachines Method
GetHashCode Method
GetSelectedChoiceValue Method
MakeSkeleton Method
NextMachineInstanceNumber Method
Resolve Method
SetPendingChoicesAsBoolean Method
ToPrettyString Method
ToString Method
Trace Method
TraceLine Method

# StateImpl Methods

The StateImpl type exposes the following members.

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
See Also

#### Reference

StateImpl Class
P.Runtime Namespace