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

The prior fix dependency broke the pure deployment exploration.

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

Add a containment encoding & generalize variablity encodings

See merge request !19

* Adds a containment encoding to encode composite structures.
* Use the new containment encoding in the PlatformExploration.
* Add a dedicated structure for subgraphs (directed ones).
* Reduce restrictions for transformation modules such that transformers
  can produce other artifacts than SuperSets in the transformation
  process.

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

* Do propagate get key-artifact associations from the create stage where
  keys do not have an annotation. This breaks the correct resolution
  of artifact dependencies in the decode stage.
* Let the task-ExU-mapping transformator depend on the previous
  production of execution units.

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

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

Feature dependencies

See merge request !18

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

* Previous implementation was broken and only worked for the mapping +
  scheduling configuration.
* Produced types are no longer explicitly exposed by D3SEModules as they
  would bind to the inputs of these modules. Instead a D3SEInjector
  wrapper is responsible for obtaining the Feature-annotated artifacts.
* Inputs of D3SEModules don't need to specify @Genotyped or
  @InputArtifact annotations anymore that cause a fix type binding and
  conflict with the dynamic feature selection. Instead, these
  annotations are bound by the configuration phase.
* Creates and Decodes annotations are removed as they are no longer
  needed.

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

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

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

D3SE: Enable dependencies between exploration features

See merge request !17

* IExplorationFeatures can now declare their predecessors and
  successors by priorTo() and after() statements.
* All creator and decoder modules are now d3se modules that are private
  guice modules.
* The d3se modules mark every generated output with their containing
  features as an annotation. This allows the same type to be provided
  by different modules. The coupling of feature-annotated artifacts is
  done by a feature dependency graph and the module config phase from
  guice.
* Within d3se modules, only the artifacts are visible (no need to reason
  about their origin --> handled when declaring the feature).
* IExplorationFeatures are pluggable and can be en-/disabled subject to
  a system's needs.

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>

* Drop the use of entryXYZ types.
* Mapping tables now support m:n mappings, but no more multiple
  instances per allocation. This will be handled in a separate step
  that will be performed before the mapping.

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>

* NOTE: These constraints are disabled by default. They are too strict
  since they enforce equal start/end times between memory fetching and
  execution tasks.
* Proper constraints for this execution model would require considering
  the size of caches and the size of fetched data to avoid cache over-
  flows.

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

If a task hosts strongly causal components we may not define causality
on the task itself, but its write task.

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

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

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

* Import the AllocationToSchedule generator for Schedule skeletons and
  adjust it for the needs of the SMTStrictTTDecoder.
* Fix the signal & route handling in the SMTStrictTTDecoder. Wrong
  artifacts have been passed around method calls.

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

* Instead a zero duration is assumed for this degenerate case.

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

* Remove the unneeded setAssignedResources method (avoid code
  duplicates).
* Move the task replica validation to the encoding.
* Fix the crossover operation.
* Fix the removal of Mapping Entries in the MappingEncoding.

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>

* Create an intersects method for N sets.
* Respect allocation constraints in the allocation of the first member
  of a coupled set.

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>