Launch Formula

Execution prerequisites are defined and combined in the Launch formula section.

The launch formula is a Boolean expression which uses the operators: AND and OR:

• C1 AND C2 is true if condition C1 and condition C2 are true.
• C1 OR C2 is true if at least one of the conditions (C1 or C2) is true.

During evaluation of the formula:

• "AND" takes priority over "OR".
• Parentheses define the evaluation order.
• The launch formula is evaluated during the condition checking phase of the launch. The Uproc will be executed if the launch formula is true.

The condition number is the identifier of the condition for a given Uproc. If a condition is duplicated, the duplicate condition will have the same number as the original. If a condition is modified, all duplicated conditions (with the same number) are also modified.

The formula is read from top to bottom and left to right. The launcher will evaluate the launch formula in that order.

• Parallel conditions signify a logical "OR".
• Two conditions in sequence signify a logical "AND".
• is an open bracket, is a closed bracket.

The launch formula (Boolean logic) combines three types of conditions: dependency, non-simultaneity and resource. The first three letters of the condition define the condition type:

• "DEP" denotes dependency conditions
• "SIM" denotes non-simultaneity (incompatibility)
• "RES" denotes resource

For example:

• = (=CXX) is true if the condition (CXX) is true
• # (#CXX) is true if (CXX) is false

The default launch formula is always defined with an empty condition.

To create the first condition:

• Select the empty condition.
• Right click to display the popup menu.
• Select the condition type to be created (Dependency, Non-simultaneity or Resource condition). The condition definition window opens.
• Enter the necessary information (refer to section "Dependency Condition" for details) and click OK to validate. The new condition is added to the launch formula.

To create an “OR” between two conditions (insert a new condition on the same level as the selected one):

• Select the condition in the launch formula. The condition is then highlighted.
• From the right-click menu, select New/New left condition to insert a new condition to the left of the first condition or New/New right condition to insert it to the right. An empty condition is created at the same level as the first one. The same function is available from the NEW button in the toolbar.

To create an “AND” between the two conditions (insert a new condition above or below the selected one):

• Click the arrow representing the closing parenthesis of the existing formula to indicate where the new condition should be inserted. Both conditions are then highlighted.
• Click New below condition to insert a new condition following the first two. An empty condition is created after the parenthesis.

To copy a condition or a group of conditions to the clipboard:

• Click on the condition or on the triangle ( or ) delimiting the condition or the conditions group. The selection will become highlighted.
• Click Copy or select Copy in the right-click menu.

To paste a condition or a group of conditions from the clipboard to the launch formula:

• Click on the condition or on the triangle ( or ) delimiting the condition or the conditions group. The selection will become highlighted.
• Click Paste or select Special Paste in the right-click menu to paste the condition (or the group) from the clipboard below, above, right or left of the condition (or the group) selected.