Operations on multiple resources and functionalities

Adding or multiplying functionality and resources together

M_Fun_AddMany_DP dataclass

Bases: PrimitiveDP[Decimal, tuple[Decimal, ...]]

Addition on the right side.

The resources posets is a PosetProduct of, in general, \(n\) elements \(\F_1, \F_2, \dots\). (You can assume \(n = 2\)).

Relation:

$$
    \fun \leq_{\opspace}  \res_1 +_{\opspace} \res_2 +_{\opspace} \dots
$$

Attributes:

Name	Type	Description
F	Poset	The functionality poset \(\F\)
R	Poset	The resources poset \(\R\)
opspace	Numbers	The poset \(\opspace\) where the operations and comparisons take place.

Source code in src/act4e_mcdp/primitivedps.py

@dataclass(frozen=True)
class M_Fun_AddMany_DP(PrimitiveDP[Decimal, tuple[Decimal, ...]]):
    r"""
    Addition on the right side.

    The resources posets is a PosetProduct of, in general, $n$ elements $\F_1, \F_2, \dots$.
    (You can assume $n = 2$).


    Relation:

        $$
            \fun \leq_{\opspace}  \res_1 +_{\opspace} \res_2 +_{\opspace} \dots
        $$

    Attributes:
        F (Poset): The functionality poset $\F$
        R (Poset): The resources poset $\R$
        opspace: The poset $\opspace$ where the operations and comparisons take place.

    """
    opspace: Numbers

M_Res_AddMany_DP dataclass

Bases: PrimitiveDP[tuple[Decimal, ...], Decimal]

Addition on the left side.

Relation:

$$
    \fun_1 +_{\opspace} \fun_2 +_{\opspace} \dots \leq_{\opspace}  \res
$$

Attributes:

Name	Type	Description
F	Poset	The functionality poset \(\F\)
R	Poset	The resources poset \(\R\)
opspace	Numbers	The poset \(\opspace\) where the operations and comparisons take place.

Source code in src/act4e_mcdp/primitivedps.py

@dataclass(frozen=True)
class M_Res_AddMany_DP(PrimitiveDP[tuple[Decimal, ...], Decimal]):
    r"""
    Addition on the left side.


    Relation:

        $$
            \fun_1 +_{\opspace} \fun_2 +_{\opspace} \dots \leq_{\opspace}  \res
        $$

    Attributes:
        F (Poset): The functionality poset $\F$
        R (Poset): The resources poset $\R$
        opspace: The poset $\opspace$ where the operations and comparisons take place.

    """
    F: PosetProduct[Decimal]
    R: Numbers
    opspace: Numbers

M_Fun_MultiplyMany_DP dataclass

Bases: PrimitiveDP[Decimal, tuple[Decimal, ...]]

Multiplication on the right side.

Relation:

$$
    \fun \leq_{\opspace}  \res_1 \cdot_{\opspace} \res_2 \cdot_{\opspace} \dots
$$

Attributes:

Name	Type	Description
F	Poset	The functionality poset \(\F\)
R	Poset	The resources poset \(\R\)
opspace	Numbers	The poset \(\opspace\) where the operations and comparisons take place.

Source code in src/act4e_mcdp/primitivedps.py

@dataclass(frozen=True)
class M_Fun_MultiplyMany_DP(PrimitiveDP[Decimal, tuple[Decimal, ...]]):
    r"""
    Multiplication on the right side.


    Relation:

        $$
            \fun \leq_{\opspace}  \res_1 \cdot_{\opspace} \res_2 \cdot_{\opspace} \dots
        $$

    Attributes:
        F (Poset): The functionality poset $\F$
        R (Poset): The resources poset $\R$
        opspace: The poset $\opspace$ where the operations and comparisons take place.
    """
    opspace: Numbers

M_Res_MultiplyMany_DP dataclass

Bases: PrimitiveDP[tuple[Decimal, ...], Decimal]

Multiplication on the left side.

Relation:

$$
    \fun_1 \cdot_{\opspace} \fun_2 \cdot_{\opspace} \dots \leq_{\opspace}  \res
$$

Attributes:

Name	Type	Description
F	Poset	The functionality poset \(\F\) must be Numbers
R	Poset	The resources poset \(\R\) must be Numbers
opspace	Numbers	The poset \(\opspace\) where the operations and comparisons take place.

Source code in src/act4e_mcdp/primitivedps.py

@dataclass(frozen=True)
class M_Res_MultiplyMany_DP(PrimitiveDP[tuple[Decimal, ...], Decimal]):
    r"""
    Multiplication on the left side.


    Relation:

        $$
            \fun_1 \cdot_{\opspace} \fun_2 \cdot_{\opspace} \dots \leq_{\opspace}  \res
        $$

    Attributes:
        F (Poset): The functionality poset $\F$ must be Numbers
        R (Poset): The resources poset $\R$ must be Numbers
        opspace: The poset $\opspace$ where the operations and comparisons take place.

    """
    F: PosetProduct[Decimal]
    R: Numbers
    opspace: Numbers