#687 Add 'state' annotations and CIF explorer adds them to statespace automata
requested to merge 687-cif-explorer-generate-state-annotations-on-locations-of-state-space-automata into develop
- Best to review per commit.
- Changes for this issue:
- Added state annotations, such that they exist.
- CIF explorer gets an option to add state annotations. It is enabled by default.
- Some changes not strictly related to the issue at hand:
- I moved some things in the code, to make room for other annotations later, to separate generic stuff from specific annotations, to have options in one place, etc. See commits for details.
- I generalized some documentation to not have to update it again in the future.
- I changed the API of annotation providers a bit, to allow more easily checking on what annotated object an annotation is present.
- Fixes 'starting the program' description in CIF explorer documentation.
- Extended the documentation of the CIF explorer a bit, to describe the 'output as a CIF automaton' a bit more. Adding the annotations is described there as well.
Closes #687 (closed)