PrtContinuation Class

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

Inheritance Hierarchy

SystemObject
P.RuntimePrtContinuation

Namespace: P.Runtime
Assembly: Prt (in Prt.dll) Version: 1.0.0.0 (1.0.0.0)

Syntax

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

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 ObjectGetHashCode.)
	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 ObjectToString.)

Fields