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)