StateImpl Class |
[Missing <summary> documentation for "T:P.Runtime.StateImpl"]
Inheritance HierarchyNamespace: P.Runtime
Assembly: Prt (in Prt.dll) Version: 1.0.0.0 (1.0.0.0)
SyntaxThe StateImpl type exposes the following members.
ConstructorsProperties| Name | Description | |
|---|---|---|
 | Deadlock | |
| EnabledMachines | |
| Exception | |
| ImplMachines |
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 ObjectGetHashCode.) |
| 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 ObjectToString.) |
| Trace | |
| TraceLine |
FieldsTop
See Also