Commit 11d60aff authored by Johannes Eder's avatar Johannes Eder
Browse files

Transformation of a deployment into a SystemSchedule model

refs 2924
parent f97b3a1b
......@@ -20,7 +20,8 @@ Require-Bundle: org.eclipse.core.runtime,
org.fortiss.af3.safety;visibility:=reexport,
org.fortiss.tooling.kernel;visibility:=reexport,
com.microsoft.z3;bundle-version="2.11.0",
org.fortiss.af3.scheduling;bundle-version="2.11.0"
org.fortiss.af3.scheduling;bundle-version="2.11.0",
org.fortiss.af3.schedule;bundle-version="2.11.0"
Export-Package: org.fortiss.af3.exploration.smt.model,
org.fortiss.af3.exploration.smt.model.impl,
org.fortiss.af3.exploration.smt.model.util,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment