Domains
The tree on the left side of the editor displays all the constraints, sorted by their domain. When you expand one of the constraint nodes, you can see a quick overview of the constraint's domain and predicate. Depending on the types of nodes you can drill down even further to explore the whole structure of a constraint's predicates and concept set definitions.
Clicking on a node displays its details on the right side of the editor.
You can add/delete constraints using the buttons in the top right corner of the section; other nodes can be added and deleted using the Context Menu.
The editor enforces a strict constraint model structure, which means that the commands for adding new nodes might not always be available. If this is the case, just delete the existing node you want to replace before trying to add a new one.
