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>

To be enabled with the flag DSE_DEBUG_PRINT_TIME.

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 a dependency from the SMT scheduler to the MessageEncoding.
* Create TimeSlots (internal) referring to the scheduled parts of
  Messages.
* Add a transformator to create Segments from Messages and
  ResourceAllocations.

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

* One for the SMT scheduler.
* One for the MOEA-DSE.

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

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

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

* Transform MOEA-DSE internal models to AF3 representations and
  vice-versa when calling the SMT scheduler.
* Bug fix: Do not add edges from other graphs to others, but
  reconstruct them every time.

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

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

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

Also, add first stubs for the the reworked schedule graph.

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

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

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

* Fix the target resetting of mapping entries: Two entries were created
  if the target was reset.
* Fix a validation statement in the maping identity decoder.
* Add an improved version of the TaskMappingEncoding/-Entry toString
  methods to the generic mappers.
* Improve the Allocation Mutate operation.
* Add more checks for valid mappings.

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

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

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

* Introduce the DSE_DEBUG_VALIDATE env variable to enable encoding
  validation.
* Exploit conditional compilation to avoid performance impact of
  debugging code.

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

* Do not check for input constraints / objectives: Allow feasibility
  checks.
* Check for the existence of required input super sets.
* Drop the model context query (unneeded now).

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

* Adds infeasiblity markers to encodings and the top-most ProvidingGeno-
  /Phenotypes.
* Skip execution of decoders & evaluators if infeasibility was detected
  for performance reasons.
* Allow Operators to mark genotypes as infeasible: Operators are able
  to perform indirect (simple) constraint checks based on genotypes.

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

* Direct Task --> phys. ExU constraints are now respected again when
  creating / modifying encodings.
* Fixes the pure deployment exploration.
* Fixes evaluator de-registration if modules were overridden.

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

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

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

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


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

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


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

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


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

* Fixes the copy constructor of the PlatformExploration encoding to
  consider contained element map of templates.

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


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

* Adds support for using sub-elements of template execution units as
  deployment targets.
* Introduce a new encoding for this use case.
* Rework the route calculation.
* Note: The exploration fails as soon as operators are executed. This
  is fixed in a follow-up commit.

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


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

* Fix the shift operation for ResourceSchedules.
* Use TreeSets to automatically sort TimeSlot by their start times.

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


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

* Fix the shift operation for ResourceSchedules.
* Use TreeSets to automatically sort TimeSlot by their start times.

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


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

Platform exploration

See merge request !15

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


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

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


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