Issue-Ref: 3648
Issue-Url: https://af3-developer.fortiss.org/issues/3648



Signed-off-by: Marco Volpe <volpe@fortiss.org>

Issue-Ref: 3641
Issue-Url: https://af3-developer.fortiss.org/issues/3641


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

fixed bug by inserting basic constraints at beginning of exploration
spec

Issue-Ref: 3626
Issue-Url: https://af3-developer.fortiss.org/issues/3626



Signed-off-by: eder <eder@10.0.5.223>

Issue-Ref: 3590
Issue-Url: https://af3-developer.fortiss.org/issues/3590



Signed-off-by: Marco Volpe <volpe@fortiss.org>

Moves and simplifies the create method of the SMT-specific deployment
constraints to the SMT plugin. These constraints are added to the
ExplorationSpecification that is passed to the DSE on-the-fly (no
transaction needed due to ExplorationSpecifications not being part of an
AF3 project).

Issue-Ref: 3590
Issue-Url: https://af3-developer.fortiss.org/issues/3590


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

* org.fortiss.af3.exploration.backend -> service
* Move DSEBackendService to service.interal (not exported)

Issue-Ref: 3327
Issue-Url: https://af3-developer.fortiss.org/issues/3327



Signed-off-by: Simon Barner <barner@fortiss.org>

* IDseBacked -> IDSEBackend
* DseBacked -> DSEBackendService
* DseSolutionVisualization -> DSESolutionVisualization
* No functional change: Keep ratings

Issue-Ref: 3327
Issue-Url: https://af3-developer.fortiss.org/issues/3327



Signed-off-by: Simon Barner <barner@fortiss.org>

* DSMLtoSMTTransformator has been set from RED to GREEN: The class
  was GREEN before, so setting it YELLOW has been obviously forgotten.
* DSMLTransformationService is RED now due to deprecation warnings. For
  reference, it was last time GREEN at commit
  760a5dbb
* IDSMLTransformationService is RED due to deprecation warnings. It was
  GREEN last time with commit 760a5dbb.

Issue-Ref: 3566
Issue-Url: https://af3-developer.fortiss.org/issues/3566


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

* Do not access Z3 BoolExpr's returned by Solver.getUnsatCore() after
  the Solver object is out of scope and subject to garbage collection
* Obviously, the BoolExprs are created by native code that is of
  course not aware of any additional references to the array returned
  by getUnsatCore()
* Instead, extractFailedConstraints() performs the Z3 BoolExpr -> DSML
  SMTConstraint translation during the lifetime of the solver.

Issue-Ref: 3566
Issue-Url: https://af3-developer.fortiss.org/issues/3566



Signed-off-by: Simon Barner <barner@fortiss.org>

Issue-Ref: 3416
Issue-Url: https://af3-developer.fortiss.org/issues/3416



Signed-off-by: Simon Barner <barner@fortiss.org>

Issue-ref: 3416
Signed-off-by: Marco Volpe <volpe@fortiss.org>

Issue-Ref: 3538
Signed-off-by: Alexander Diewald <diewald@fortiss.org>

* exploration and exploration.smt made yellow

Issue-ref: 3416
Signed-off-by: Marco Volpe <volpe@fortiss.org>

* Make solveOptimized() and solveNonOptimized() private
* Introduce abstract method transformSolution()
* Cleanup (remove unused method, sort, ...)

Issue-Ref: 2920
Issue-Url: https://af3-developer.fortiss.org/issues/2920

Issue-Ref: 2920
Signed-off-by: Marco Volpe <volpe@fortiss.org>

Issue-Ref: 2920

Signed-off-by: Simon Barner <barner@fortiss.org>

* Removed some old unused classes.
* Subpackage 'rework' removed; its classes moved into
'modeltransformation'.
* SolverRun2 renamed as SolverRun. 
* DeploymentRun2 renamed as DeploymentRun.

Issue-Ref: 2920
Signed-off-by: Marco Volpe <volpe@fortiss.org>

Comments added.
Debug printing removed.
Some dead code removed.

refs #2920


Signed-off-by: Marco Volpe <emme.volpe@gmail.com>

UI makes now use of DSE and Z3 backends.

Issue-Ref: 2920

* Since the tooling helpers used in the svn installation and the git
  version, a re-rating of all files was required (less work than fixing
  the tooling code that would be only used once).
* Updates the hashes of the classes in the .rating files.
* Removes empty .rating files from directories without ratable files.

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

- Adjust the Visualization to ExplorationSolution Mapper.
- Adjust the UI code to operate on entries of the above map.
- Fix some wrong types in the allocation transformation.
- Adjust the deployment generation code for the new allocations returned by the DSE.
refs 3255

* Modify (Super)Sets to use a generic that denotes the types of elements within a set. Thereby, it is ensured that only elements of this kind are contained/referenced in a specific set.
* Introduce a SuperSetMap that allows to associate the types of elements of supersets with superset instances.
* Use the SuperSetMap as the main entity to pass model elements from the DSE Project to backends.
* Add the ComponentToTaskAllocationTable to the DSESuperSet and the DSE model element: This is the new way to identify which Tasks belong to which Component.
refs 2939

refs 2939

refs 3194

- Harmonize remaining file headers
refs 3177,3192

refs 3177