DynamicTraversalBase.transitionSystem Field
Transition system which is traversed on.
Namespace: Microsoft.SpecExplorer.DynamicTraversal
Assembly: Microsoft.SpecExplorer.DynamicTraversal (in Microsoft.SpecExplorer.DynamicTraversal.dll)
Usage
'Usage
Syntax
'Declaration
protected TransitionSystem transitionSystem
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
DynamicTraversalBase Class
DynamicTraversalBase Members
Microsoft.SpecExplorer.DynamicTraversal Namespace