Condition.IfThen Method

Article
03/26/2013

Enables exploration of the enclosing rule if a logical implication is satisfied.

Namespace: Microsoft.Modeling
Assembly: Microsoft.Xrt.Runtime (in Microsoft.Xrt.Runtime.dll)

Usage

'Usage

Syntax

'Declaration

public static void IfThen (
    bool antecedent,
    bool consequent
)

Parameters

antecedent
true to enable exploration of the enclosing rule only if consequent is true; false to enable exploration for any value of consequent.

consequent
true to enable exploration of the enclosing rule if antecedent is true; false to disable exploration if antecedent is true.

Remarks

If antecedent is true and consequent is false, then Spec Explorer does not explore the rule. This method is equivalent to the IsTrue method with a condition parameter of (!antecedent | consequent) in C#.

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