Condition.IsTrue Method (Boolean)
Enables exploration of the enclosing rule if a condition evaluates to true.
Namespace: Microsoft.Modeling
Assembly: Microsoft.Xrt.Runtime (in Microsoft.Xrt.Runtime.dll)
Usage
'Usage
Syntax
'Declaration
public static void IsTrue (
bool condition
)
Parameters
- condition
true to enable exploration of the enclosing rule; otherwise, false.
Remarks
If condition is false, then Spec Explorer does not explore the rule.
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
Condition Class
Condition Members
Microsoft.Modeling Namespace
Condition.IsFalse Method