SMT: Factorize commonalities of ScheduleRun and DeploymentRun
Factorize commonalities of
org.fortiss.af3.exploration.smt.modeltransformation.ScheduleRun with
org.fortiss.af3.exploration.smt.modeltransformation.DeploymentRun
.
Replace solveSchedule
and solveDeployment()
and with solve()
(method declared in SolverRun
) that delegates the differences
between deployment and schedule synthesis to abstract methods declared
in SolverRun
.
(from redmine: issue id 3461, created on 2018-06-26, closed on 2018-07-03)