A Sandcastle Documented Class Library
A Sandcastle Documented Class Library
P.Runtime
PrtContinuation Class
PrtContinuation Constructor
PrtContinuation Methods
PrtContinuation Fields

# PrtContinuation Class

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

Inheritance Hierarchy
System
Object
P.Runtime
PrtContinuation

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

    public class PrtContinuation

    Public Class PrtContinuation

    public ref class PrtContinuation

    type PrtContinuation =  class end

The PrtContinuation type exposes the following members.

Constructors

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

Top
Methods

| Name | Description
--- | --- | ---
| Clone |
| 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 Object GetHashCode .)
| GetType | Gets the Type of the current instance. (Inherited from Object.)
| MemberwiseClone | Creates a shallow copy of the current Object. (Inherited from Object.)
| Resolve |
| ReturnAndResetNondet |
| ToString | (Overrides Object ToString .)

Top
Fields

| Name | Description
--- | --- | ---
| nondet |
| reason |
| retLocals |
| retVal |

Top
See Also

#### Reference

P.Runtime Namespace