TransitionSystem.ContainsCallTransition Method
Namespace: Microsoft.SpecExplorer.ObjectModel
Assembly: Microsoft.SpecExplorer.ObjectModel (in Microsoft.SpecExplorer.ObjectModel.dll)
'Usage
'Declaration
public bool ContainsCallTransition (
State state
)
Any public static (Shared in Visual Basic) members of this type are thread safe. Any instance members are not guaranteed to be thread safe.
Microsoft Windows 7, Microsoft Windows Vista, Microsoft Windows XP SP2 or later, Microsoft Windows Server 2008, Microsoft Windows Server 2003
TransitionSystem Class
TransitionSystem Members
Microsoft.SpecExplorer.ObjectModel Namespace