Scheduling Formalizatio: Clarify / cleanup StartTimeDummy and DurationDummy
See
-
ScheduleRun::createStartSet()andScheduleRun::createDurationSet() DSMLtoSMTTransformator
(from redmine: issue id 3472, created on 2018-07-05, closed on 2019-12-06)
See
ScheduleRun::createStartSet() and
ScheduleRun::createDurationSet()
DSMLtoSMTTransformator(from redmine: issue id 3472, created on 2018-07-05, closed on 2019-12-06)