* 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>

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

* Adjust the slot number validation (all tasks are scheduled) for the
  new IScheduledTask representation.
* Switch the StrictTTSchedule to operate on ISchedulableTasks.
* Rename the schedulable entities: *Schedule* -> *Schedulable*.
* Add a debug method to the EDF scheduler that prints unscheduled tasks
  whose predecessors are scheduled.

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

* Correctly adjust the ready time of tasks to the finish time of
  their predecessors.

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>

* Define a separate encoding for memory access latencies that is derived
  form the task mapping. Also, add an according Decoder.
* Create an IMemAccessTask that wraps AF3 task only performing memory
  accesses.
* Add methods to obtain direct successors of tasks from TaskGraphs and
  rename the previoulsy existing transient methods.

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

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

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


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>

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

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

Adapt to updated IDSEBackend

See merge request !16

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


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

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

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

* Set DSE_DEBUG_PRINT_SOLUTION.
* Applicable for the SMT-based schedule.
* UNSAT information gives a lower bound.

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

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

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