refactor(z3): re-export AttributeOptimization from core

The AttributeOptimization interface and OptimizationGoal now live in flamapy-fw;
re-export them from the historical z3 interface path so existing imports keep
working while both backends share a single interface.

Author: José Ángel Galindo Duarte

flamapy/metamodels/z3_metamodel/operations/interfaces/attribute_optimization.py

@@ -1,27 +1,12 @@
-from abc import abstractmethod
-from enum import Enum
-
-from flamapy.core.operations import Operation
-from flamapy.metamodels.configuration_metamodel.models import Configuration
-from flamapy.metamodels.fm_metamodel.models import Attribute
-
-
-class OptimizationGoal(Enum):
-    MAXIMIZE = 'Maximize'
-    MINIMIZE = 'Minimize'
-
-
-class AttributeOptimization(Operation):
-    """This operation returns the configurations that optimize the given attribute(s)."""
-
-    @abstractmethod
-    def __init__(self) -> None:
-        pass
-
-    @abstractmethod
-    def set_attributes(self, attributes: dict[Attribute, OptimizationGoal]) -> None:
-        pass
-
-    @abstractmethod
-    def optimize(self) -> list[Configuration]:
-        pass
+"""Backward-compatible re-export.
+
+``AttributeOptimization`` and ``OptimizationGoal`` now live in the core framework so
+that every backend shares one interface. This module keeps the historical import path
+``flamapy.metamodels.z3_metamodel.operations.interfaces.attribute_optimization`` working.
+"""
+from flamapy.core.operations.attribute_optimization import (
+    AttributeOptimization,
+    OptimizationGoal,
+)
+
+__all__ = ["AttributeOptimization", "OptimizationGoal"]