The right hand side provides a list of operations which we found useful in our examples. These operations are organized in groups. This list is by no means complete. We pretty much developed these operations in a demand-driven way. If you have an idea for a new operation, do not hesitate to contact us. In addition, there may still be problems in the operations which are not used very often. Please let us know about problems when applying the operations so that we can fix them.
Each of the operations is documented. The documentation consists of a description of the operation itself, a description of each of its parameters and a description of each of its constraints. This information is also directly available in the operation browser by pressing F1 while selecting one of the elements.