RandomCoverageDynamicTraversal Class
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
See Also
Reference
RandomCoverageDynamicTraversal Members
Microsoft.SpecExplorer.DynamicTraversal Namespace