-
Alexander Diewald authored
* Eclasses for the SolverSettings hosting a list of BackendSettings. Also, the SolverSettings contain information about the termination criteria such as timeouts. * Add a JFX dialog to display a TreeTableView that allows to edit SolverSettings. * Each IDSEBackend implementation must define its default SolverSettings. Issue-Ref: 3541 Issue-Url: https://af3-developer.fortiss.org/issues/3541 Signed-off-by: Alexander Diewald <diewald@fortiss.org>
3aa3be97