EditingPredicates

The following is a guide to editing predicates for a mapping.

Step 1: Select a single mapping.

Step 2: Select "Real Editor" -> "Mapping Additions" -> "Set Predicates" (See image below).

The "Set Predicates" dialog should now be active (See image below). There are several items to take account of in this dialog:

• "Available Predicates": This is a list of all the current predicates in the enumeration.
  
• "Predicate Tree": This is the current predicate tree.
  
• "Add Predicates": This button will take the selected predicate and add true/false predicate branches to the selected branch of the predicate tree. The added predicate must not be present in the current tree path of the selected branch.
  
• "Remove Predicates": This button is the opposite of the "Add Predicates" button.
  
• "Available Mappings": This is a list of the mappings associated with the current predicate tree.
  
• "Set Mapping": This button will take the selected mapping and set if to the selected branch of the predicate tree.
  
• "Unset Mapping": This button will remove a mapping from the selected predicate tree branch.
  

Changes to the enumeration:

• Case 1: A branch is added without a mapping set to it.
  • Outcome: A new, illegal mapping is added with the corresponding predicate branch.
• Case 2: A branch is added with a mapping that has not been previously set.
  • Outcome: The set mapping will change to reflect the predicate split. All extended mappings will also change.
• Case 3: A branch is added with a mapping that has been previously set.
  • Outcome: A new mapping is created that is identical to the previously set mapping, except for the predicate split. All extended mappings are copied as well.
• Case 4: A branch is deleted, which previously had a mapping set to it.
  • Outcome: The mapping is deleted. If the mapping was extended, then the algorithm "" is applied.