Implement a DSLv2 Expression Parser
Current Status
DSLv2 Expressions can be currently only transformed into SMT constraints / objectives. A more generic solution is needed that allows parsing using different backend technologies. Here, a generic interface would be useful.
Proposed Solution
Use a Visitor Pattern to define an interface for DSLv2 exploration parsers. A Model Validator shall be used for an prototypical concrete implementation of the interface.
(from redmine: issue id 2960, created on 2017-05-18, closed on 2019-01-25)
- Relations:
- child #2965 (closed)