RandomCoverageDynamicTraversal Class

Article
03/26/2013

A random coverage dynamic traversal.

Namespace: Microsoft.SpecExplorer.DynamicTraversal
Assembly: Microsoft.SpecExplorer.DynamicTraversal (in Microsoft.SpecExplorer.DynamicTraversal.dll)

Usage

'Usage

Syntax

'Declaration

public class RandomCoverageDynamicTraversal : CoverageDynamicTraversal

Inheritance Hierarchy

System.Object
   Microsoft.SpecExplorer.DynamicTraversal.DynamicTraversalBase
     Microsoft.SpecExplorer.DynamicTraversal.CoverageDynamicTraversal
      Microsoft.SpecExplorer.DynamicTraversal.RandomCoverageDynamicTraversal

Thread Safety

Any public static (Shared in Visual Basic) members of this type are thread safe. Any instance members are not guaranteed to be thread safe.

Platforms

Development Platforms

Microsoft Windows 7, Microsoft Windows Vista, Microsoft Windows XP SP2 or later, Microsoft Windows Server 2008, Microsoft Windows Server 2003

Share via