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

# PrtSpecMachine Class

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

Inheritance Hierarchy
System
Object
P.Runtime
PrtMachine
P.Runtime
PrtSpecMachine

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 PrtSpecMachine : PrtMachine

    Public MustInherit Class PrtSpecMachine
    	Inherits PrtMachine

    public ref class PrtSpecMachine abstract : public PrtMachine

    [<AbstractClassAttribute>]
    type PrtSpecMachine =
        class
            inherit PrtMachine
        end

The PrtSpecMachine type exposes the following members.

Constructors

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

Top
Properties

| Name | Description
--- | --- | ---
| CurrentActionSet | (Inherited from PrtMachine.)
| CurrentDeferredSet | (Inherited from PrtMachine.)
| CurrentState | (Inherited from PrtMachine.)
| Name | (Inherited from PrtMachine.)
| StartState | (Inherited from PrtMachine.)

Top
Methods

| Name | Description
--- | --- | ---
| Clone |
| DbgCompare | (Overrides PrtMachine DbgCompare(PrtMachine).)
| 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.)
| GetHashCode | (Overrides PrtMachine GetHashCode .)
| GetType | Gets the Type of the current instance. (Inherited from Object.)
| MakeSkeleton |
| MemberwiseClone | Creates a shallow copy of the current Object. (Inherited from Object.)
| PrtChangeState | (Inherited from PrtMachine.)
| PrtEnqueueEvent | (Overrides PrtMachine PrtEnqueueEvent(PrtValue, PrtValue, PrtMachine, PrtMachineValue).)
| PrtFindActionHandler | (Inherited from PrtMachine.)
| PrtFunContGoto | (Inherited from PrtMachine.)
| PrtFunContNewMachine | (Inherited from PrtMachine.)
| PrtFunContNondet | (Inherited from PrtMachine.)
| PrtFunContPop | (Inherited from PrtMachine.)
| PrtFunContRaise | (Inherited from PrtMachine.)
| PrtFunContReceive | (Inherited from PrtMachine.)
| PrtFunContReturn | (Inherited from PrtMachine.)
| PrtFunContReturnVal | (Inherited from PrtMachine.)
| PrtFunContSend | (Inherited from PrtMachine.)
| PrtIsActionInstalled | (Inherited from PrtMachine.)
| PrtIsTransitionPresent | (Inherited from PrtMachine.)
| PrtPopFunStackFrame | (Inherited from PrtMachine.)
| PrtPopState | (Inherited from PrtMachine.)
| PrtPushExitFunction | (Inherited from PrtMachine.)
| PrtPushFunStackFrame(PrtFun, List PrtValue ) | (Inherited from PrtMachine.)
| PrtPushFunStackFrame(PrtFun, List PrtValue , Int32) | (Inherited from PrtMachine.)
| PrtPushState | (Inherited from PrtMachine.)
| PrtPushTransitionFun | (Inherited from PrtMachine.)
| Resolve | (Inherited from PrtMachine.)
| ToPrettyString | (Inherited from PrtMachine.)
| ToString | Returns a string that represents the current object. (Inherited from Object.)

Top
Fields

| Name | Description
--- | --- | ---
| continuation | (Inherited from PrtMachine.)
| currentPayload | (Inherited from PrtMachine.)
| currentStatus | (Inherited from PrtMachine.)
| currentTemperature |
| currentTrigger | (Inherited from PrtMachine.)
| currentTriggerSenderInfo | (Inherited from PrtMachine.)
| destOfGoto | (Inherited from PrtMachine.)
| eventValue | (Inherited from PrtMachine.)
| fields | (Inherited from PrtMachine.)
| instanceNumber | (Inherited from PrtMachine.)
| invertedFunStack | (Inherited from PrtMachine.)
| isSafe | (Inherited from PrtMachine.)
| nextSMOperation | (Inherited from PrtMachine.)
| observes |
| renamedName | (Inherited from PrtMachine.)
| sends | (Inherited from PrtMachine.)
| stateExitReason | (Inherited from PrtMachine.)
| stateImpl | (Inherited from PrtMachine.)
| stateStack | (Inherited from PrtMachine.)

Top
See Also

#### Reference

P.Runtime Namespace