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

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

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


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

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


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

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

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

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

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

Conflicts:
	org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/backend/opt4j/.ratings
	org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/module/.ratings

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

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

3365

See merge request !20

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


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

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


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

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


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

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


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

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


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

* Consider module overrides for transformation modules.
* Change the transformation module retrieval logic.

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

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

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

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

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

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

* Allows to avoid modifying the PlatformCommGraph to obtain message
  routes.
* Introduces an IPhysicalExecutionUnitAdapter that represents physically
  existing ExecutionUnits, different to virtual ones such as Partitions.

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

* Rework parts of the rewiring logic for a cleaner and simpler DI-driven
  exploration pipeline.
* Require newly introduced VariableUpdaterModule when registering
  exploration variables. They are responsible for updating variables
  that are outdated due to a modification to a variable they depend
  upon.
* Deprecated @IdentityArtifact for @Provides-Method outputs and use
  @Reprovide for method inputs. It is used where the same type occurs as
  a method output in the same module.
* Update the opt4J libraries --> No modification to the
  CompositeGenotype.

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

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

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

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

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

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

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

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

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

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

* Add artifacts produced by creators or decoders to the artifact maps
  (Geno- / Phenotype) by their type AND feature annotation. The latter
  defines which feature produced the added artifact.
* Do not relaunch decoders that were already executed during the create
  phase. Therefore, the scope map of each decoding thread is checked
  against the types provided by decoders. If the to-be-produced
  artifacts are already present, the decoding method is not registered
  with the D3SE DI framework.

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

* In order to correctly calculate a producing feature of an artifact,
  the exploration feature graph now considers module overrides.
* Fixes an NPE in the constraint map if a constraint has untargetted
  primary or secondary types.

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

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

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

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

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

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