Add limitation descriptions (#60)

* Add limitation descriptions

* Improve readability

Co-authored-by: Jonathan Ehwald <github@ehwald.info>

---------

Co-authored-by: Jonathan Ehwald <github@ehwald.info>

docs/plugins/featureide-import.md

@@ -22,3 +22,9 @@ Import the feature model into the CFM Toolbox and show some basic information ab
 ```bash
 python3 -m cfmtoolbox --import sandwich.xml debug
 ```
+
+## Limitation
+
+The current version of the FeatureIDE import plugin does not support the import of complex constraints containing conjunctions, disjunctions, or equations.
+It supports `implications` between two features and direct negations such as `A => B` and `not A => not not B`.
+If the imported file contains unsupported constraints, those will be omitted and printed to the terminal (stderr).

docs/plugins/uvl-export.md

@@ -39,4 +39,14 @@ The constraints are exported in a specific way, for example the constraint `A =>
 ```uvl
 constraints
     ((A >= 0) & (A <= 2)) => (B = 1)
+```
+
+Currently, only the bare minimum needed for exporting our internal model is implemented.
+If additional UVL "include" statements are required, they must be added manually.
+The following shows the currently generated UVL "include" statements:
+
+```uvl
+include
+    Arithmetic.feature-cardinality
+    Boolean.group-cardinality
 ```