We want to rename the directory "cegar" to "cartesian_abstractions" to better reflect that this part of the code is about Cartesian (CEGAR) abstractions. To this end, we will also rename the namespace and adapt the documentation slightly.
When discussing feature names (by that I mean the identifiers used for the command line options), we decided against also doing the same renaming here because feature names more broadly should be made more consistent. Currently, some features use very generic names which are then not available for other features and which possibly leads to confusion or at least makes it unclear what a specific feature is about (example: max evaluator vs the delete-relaxed max heuristic). We think that it would be easier for users to adapt to changed feature names in a single consolidation effort, hence we want to do this in a separate issue.
Finally, we also want to rename another directory, namely search_engines (together with all related classes), and we also want to do this in a separate issue.
|