Commit 6bf8a4c2 authored by Johannes Eder's avatar Johannes Eder
Browse files

moved class

parent b8ee5ad6
......@@ -15,7 +15,7 @@ $Id: codetemplates.xml 1 2011-01-01 00:00:01Z hoelzl $
| See the License for the specific language governing permissions and |
| limitations under the License. |
+--------------------------------------------------------------------------*/
package org.fortiss.af3.exploration.smt.modeltransformation;
package org.fortiss.af3.exploration.smt.modeltransformation.rework;
import static com.microsoft.z3.Z3javaAPIWrapper.createAddition;
import static com.microsoft.z3.Z3javaAPIWrapper.createAnd;
......
......@@ -43,7 +43,6 @@ import org.fortiss.af3.exploration.dsl_v2.model.expression.IExpression;
import org.fortiss.af3.exploration.dsl_v2.model.expression.ModelElementLiteral;
import org.fortiss.af3.exploration.dsl_v2.model.expression.Set;
import org.fortiss.af3.exploration.smt.model.SMTObjective;
import org.fortiss.af3.exploration.smt.modeltransformation.DSLToSMT2;
import org.fortiss.af3.platform.model.ExecutionUnit;
import org.fortiss.tooling.base.model.element.IModelElement;
import org.fortiss.tooling.base.model.visualization.Axis;
......
......@@ -47,7 +47,6 @@ import org.fortiss.af3.exploration.smt.model.DurationDummy;
import org.fortiss.af3.exploration.smt.model.SMTConstraint;
import org.fortiss.af3.exploration.smt.model.SMTObjective;
import org.fortiss.af3.exploration.smt.model.StartTimeDummy;
import org.fortiss.af3.exploration.smt.modeltransformation.DSLToSMT2;
import org.fortiss.af3.platform.model.annotation.HardwareCost;
import org.fortiss.af3.platform.model.annotation.MemoryPerNode;
import org.fortiss.af3.platform.model.annotation.PowerConsumption;
......
......@@ -47,7 +47,7 @@ import org.fortiss.af3.exploration.dsl_v2.model.function.FunctionFactory;
import org.fortiss.af3.exploration.dsl_v2.model.function.IFunction;
import org.fortiss.af3.exploration.dsl_v2.model.function.Minimize;
import org.fortiss.af3.exploration.smt.AF3ExplorationSMTActivator;
import org.fortiss.af3.exploration.smt.modeltransformation.DSLToSMT2;
import org.fortiss.af3.exploration.smt.modeltransformation.rework.DSLToSMT2;
import org.fortiss.af3.platform.model.ExecutionUnit;
import org.fortiss.af3.platform.model.PlatformArchitecture;
import org.fortiss.af3.platform.model.annotation.HardwareCost;
......
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