Page tree

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

...

  • Resulting subset will appear as follows with refset members populated based on the provided defintion.

Image Added

Editing an Intensional Refset Definition

To edit an intensional refset follow these steps:

  • Log into the tool (https://refset.ihtsdotools.org)
  • Select the "Refset" tab
    Image Added
  • Select the refset intended to be edited. Note that intensional refsets are indicated by the Image Addedsymbol.  On the right pane, the details of the refset are displayed, including the Definition editing which is pictured below.

Image Added

  • The Definition editing sub-panel has four actions: editing the definition(s), optimizing the definition(s), exporting definitions and importing definitions.
  • Editing the Definition
    • Click on the pencil icon to bring up the "Definition Clauses" form

Image Added

  • An additional clause can be entered into the text box.  Click the add button to add the clause to the list.
  • Click the negated clause if the components of this clause should be removed from the reference set.
  • Click the 'Recompute' button when the clauses are completely defined.  The refset members on the main pane will adjust accordingly.
  • Optimizing the Definition