https://sourceforge.net/p/realsbs/wiki/EditingPredicates/Recent changes to EditingPredicatesenThu, 14 Nov 2013 15:46:40 -0000https://sourceforge.net/p/realsbs/wiki/EditingPredicates/<div class="markdown_content"><pre></pre> </div>Tom SwainThu, 14 Nov 2013 15:46:40 -0000https://sourceforge.net688d3f0ba27774e6ee053cc10a2972146da55351https://sourceforge.net/p/realsbs/wiki/EditingPredicates/<div class="markdown_content"><p>The following is a guide to editing predicates for a mapping.<br /> </p> <p>Step 1: Select a single mapping.<br /><br /> Step 2: Select "Real Editor" -&gt; "Mapping Additions" -&gt; "Set Predicates" (See image below).<br /></p> <p><img src="./attachment/set_predicates.png" /><br /></p> <p>The "Set Predicates" dialog should now be active (See image below). There are several items to take account of in this dialog:</p> <ul> <li>"Available Predicates": This is a list of all the current predicates in the enumeration.<br /></li> <li>"Predicate Tree": This is the current predicate tree.<br /></li> <li>"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.<br /></li> <li>"Remove Predicates": This button is the opposite of the "Add Predicates" button.<br /></li> <li>"Available Mappings": This is a list of the mappings associated with the current predicate tree.<br /></li> <li>"Set Mapping": This button will take the selected mapping and set if to the selected branch of the predicate tree.<br /></li> <li>"Unset Mapping": This button will remove a mapping from the selected predicate tree branch.<br /></li> </ul> <p>Changes to the enumeration:</p> <ul> <li>Case 1: A branch is added without a mapping set to it.<ul> <li>Outcome: A new, illegal mapping is added with the corresponding predicate branch.</li> </ul> </li> <li>Case 2: A branch is added with a mapping that has not been previously set.<ul> <li>Outcome: The set mapping will change to reflect the predicate split. All extended mappings will also change.</li> </ul> </li> <li>Case 3: A branch is added with a mapping that has been previously set.<ul> <li>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.</li> </ul> </li> <li>Case 4: A branch is deleted, which previously had a mapping set to it.<ul> <li>Outcome: The mapping is deleted. If the mapping was extended, then the algorithm "" is applied.</li> </ul> </li> </ul> <p><img src="./attachment/sp_dialog.png" /></p></div>Tom SwainThu, 14 Nov 2013 15:46:05 -0000https://sourceforge.net739df6fd1cd7bcd781766fa628828055dd53f2f2