jijmodeling 0.10.15__cp310-cp310-win_amd64.whl → 1.11.0__cp310-cp310-win_amd64.whl

jijmodeling/protobuf/from_protobuf/message_to_problem.py

@@ -1,51 +0,0 @@
-from __future__ import annotations
-
-import jijmodeling_schema as pb
-
-from jijmodeling.problem.problem import Problem, ProblemSense
-from jijmodeling.protobuf.from_protobuf.message_to_constraint import (
-    message_to_constraint,
-)
-from jijmodeling.protobuf.from_protobuf.message_to_expression import (
-    message_to_expression,
-)
-from jijmodeling.protobuf.from_protobuf.message_to_penalty import message_to_penalty
-
-
-def message_to_problem(problem: pb.Problem) -> Problem:
-    """
-    Convert a `Problem` message into a `Problem` object.
-
-    Args:
-        problem (pb.Problem): a `Problem` message
-
-    Returns:
-        Problem: a `Problem` object
-    """
-    # Set sense of the problem.
-    if problem.sense == pb.ProblemSense.MIN:
-        sense = ProblemSense.MINIMUM
-    else:
-        sense = ProblemSense.MAXIMUM
-
-    # Set the objective function.
-    objective = message_to_expression(problem.objective)
-
-    # Set the constraints.
-    constraints = {
-        constraint.name: message_to_constraint(constraint)
-        for constraint in problem.constraints
-    }
-
-    # Set the penalties.
-    penalties = {
-        penalty.name: message_to_penalty(penalty) for penalty in problem.penalties
-    }
-
-    return Problem(
-        name=problem.name,
-        sense=sense,
-        objective=objective,
-        constraints=constraints,
-        penalties=penalties,
-    )

jijmodeling/protobuf/from_protobuf/message_to_reduction_op.py

@@ -1,52 +0,0 @@
-from __future__ import annotations
-
-from typing import List
-
-import jijmodeling_schema as pb
-
-from jijmodeling.expression.prod import ProdOperator
-from jijmodeling.expression.sum import ReductionOperator, SumOperator
-
-
-def message_to_reduction_op(
-    id: str, message: pb.ReductionOp, children: List[pb.Expression]
-) -> ReductionOperator:
-    """
-    Convert a message to a `ReductionOperator` object.
-
-    Args:
-        id (str): the id of the `ReductionOperator` object.
-        message (pb.ReductionOp): the `ReductionOp` message
-        children (List[pb.Expression]): 0: the index, 1: the operand, 2(optional): the condition expression
-
-    Returns:
-        ReductionOperator: a `ReductionOperator` object.
-    """
-    # NOTE: Import a module within a local scope to fix a circular import.
-    # - https://stackoverflow.com/questions/59462679/design-of-python-conditional-imports
-    # - https://medium.com/@hamana.hadrien/so-you-got-a-circular-import-in-python-e9142fe10591
-    from jijmodeling.protobuf.from_protobuf.message_to_expression import (
-        message_to_expression,
-    )
-
-    # Set the index.
-    index = message_to_expression(children[0])
-
-    # Set the operand.
-    operand = message_to_expression(children[1])
-
-    # Check if the message has a condition expression.
-    if message.has_condition:
-        # Set the condition expression.
-        condition = message_to_expression(children[2])
-    else:
-        condition = None
-
-    if message.kind == pb.ReductionOpKind.SUM:
-        return SumOperator(
-            sum_index=index, operand=operand, condition=condition, uuid=id
-        )
-    elif message.kind == pb.ReductionOpKind.PROD:
-        return ProdOperator(
-            sum_index=index, operand=operand, condition=condition, uuid=id
-        )

jijmodeling/protobuf/from_protobuf/message_to_subscript_op.py

@@ -1,46 +0,0 @@
-from __future__ import annotations
-
-from typing import List
-
-import jijmodeling_schema as pb
-
-from jijmodeling.expression.variables.variable import Subscripts
-
-
-def message_to_subscript_op(
-    id: str, message: pb.SubscriptOp, children: List[pb.Expression]
-) -> Subscripts:
-    """
-    Convert a message to a `Subscripts` object.
-
-    Args:
-        id (str): the id of the `Subscripts` object.
-        message (pb.SubscriptOp): the `SubscriptOp` message
-        children (List[pb.Expression]): 0: the array, 1..: the subscripts of the `Subscripts` object
-
-    Raises:
-        ValueError: the error occurs if `num_subs` is not equal to length of the subscript
-
-    Returns:
-        Subscripts: a `Subscripts` object
-    """
-    # Validate length of the subscripts.
-    if message.num_subs + 1 != len(children):
-        raise ValueError(
-            f"invalid length of the subscripts, expect = {message.num_subs} but actual = {len(children) - 1}"
-        )
-
-    # NOTE: Import a module within a local scope to fix a circular import.
-    # - https://stackoverflow.com/questions/59462679/design-of-python-conditional-imports
-    # - https://medium.com/@hamana.hadrien/so-you-got-a-circular-import-in-python-e9142fe10591
-    from jijmodeling.protobuf.from_protobuf.message_to_expression import (
-        message_to_expression,
-    )
-
-    # Set the array.
-    array = message_to_expression(children[0])
-
-    # Set the subscripts.
-    subscripts = [message_to_expression(expr) for expr in children[1:]]
-
-    return Subscripts(variable=array, subscripts=subscripts, uuid=id)

jijmodeling/protobuf/from_protobuf/message_to_unary_op.py

@@ -1,47 +0,0 @@
-from __future__ import annotations
-
-import jijmodeling_schema as pb
-
-from jijmodeling.expression.mathfunc import (
-    AbsoluteValue,
-    Ceil,
-    Floor,
-    Log2,
-    UnaryOperator,
-)
-
-
-def message_to_unary_op(
-    id: str, message: pb.UnaryOp, operand: pb.Expression
-) -> UnaryOperator:
-    """
-    Convert a message to a `UnaryOperator` object.
-
-    Args:
-        id (str): the id of the `UnaryOperator` object
-        message (pb.UnaryOp): the `UnaryOp` message
-        operand (pb.Expression): the operand node that the `UnaryOp` message has
-
-    Raises:
-        TypeError: the error happens if the message cannot be converted to a `UnaryOperator` object
-
-    Returns:
-        UnaryOperator: a `UnaryOperator` object
-    """
-    # NOTE: Import a module within a local scope to fix a circular import.
-    # - https://stackoverflow.com/questions/59462679/design-of-python-conditional-imports
-    # - https://medium.com/@hamana.hadrien/so-you-got-a-circular-import-in-python-e9142fe10591
-    from jijmodeling.protobuf.from_protobuf.message_to_expression import (
-        message_to_expression,
-    )
-
-    if message.kind == pb.UnaryOpKind.ABS:
-        return AbsoluteValue(uuid=id, operand=message_to_expression(operand))
-    elif message.kind == pb.UnaryOpKind.CEIL:
-        return Ceil(uuid=id, operand=message_to_expression(operand))
-    elif message.kind == pb.UnaryOpKind.FLOOR:
-        return Floor(uuid=id, operand=message_to_expression(operand))
-    elif message.kind == pb.UnaryOpKind.LOG2:
-        return Log2(uuid=id, operand=message_to_expression(operand))
-    else:
-        raise TypeError(f"cannot convert the unary operator to an expression")

jijmodeling/protobuf/to_protobuf/__init__.py

@@ -1,43 +0,0 @@
-from pkgutil import extend_path
-
-__path__ = extend_path(__path__, __name__)
-
-import jijmodeling.protobuf.to_protobuf.add_header_to_message as add_header_to_message
-import jijmodeling.protobuf.to_protobuf.array_shape_to_message as array_shape_to_message
-import jijmodeling.protobuf.to_protobuf.binary_op_to_message as binary_op_to_message
-import jijmodeling.protobuf.to_protobuf.binary_var_to_message as binary_var_to_message
-import jijmodeling.protobuf.to_protobuf.constraint_to_message as constraint_to_message
-import jijmodeling.protobuf.to_protobuf.element_to_message as element_to_message
-import jijmodeling.protobuf.to_protobuf.expression_to_message as expression_to_message
-import jijmodeling.protobuf.to_protobuf.forall_to_message as forall_to_message
-import jijmodeling.protobuf.to_protobuf.integer_var_to_message as integer_var_to_message
-import jijmodeling.protobuf.to_protobuf.jagged_array_to_message as jagged_array_to_message
-import jijmodeling.protobuf.to_protobuf.number_lit_to_message as number_lit_to_message
-import jijmodeling.protobuf.to_protobuf.penalty_to_message as penalty_to_message
-import jijmodeling.protobuf.to_protobuf.placeholder_to_message as placeholder_to_message
-import jijmodeling.protobuf.to_protobuf.problem_to_message as problem_to_message
-import jijmodeling.protobuf.to_protobuf.reduction_op_to_message as reduction_op_to_message
-import jijmodeling.protobuf.to_protobuf.subscript_op_to_message as subscript_op_to_message
-import jijmodeling.protobuf.to_protobuf.to_protobuf as to_protobuf
-import jijmodeling.protobuf.to_protobuf.unary_op_to_message as unary_op_to_message
-
-__all__ = [
-    "add_header_to_message",
-    "array_shape_to_message",
-    "binary_op_to_message",
-    "binary_var_to_message",
-    "constraint_to_message",
-    "element_to_message",
-    "expression_to_message",
-    "forall_to_message",
-    "integer_var_to_message",
-    "jagged_array_to_message",
-    "number_lit_to_message",
-    "penalty_to_message",
-    "placeholder_to_message",
-    "problem_to_message",
-    "reduction_op_to_message",
-    "subscript_op_to_message",
-    "to_protobuf",
-    "unary_op_to_message",
-]

jijmodeling/protobuf/to_protobuf/add_header_to_message.py

@@ -1,35 +0,0 @@
-from __future__ import annotations
-
-from typing import Union
-
-import jijmodeling_schema as pb
-
-from ulid import ULID
-
-
-def add_header_to_message(message: Union[pb.Expression, pb.Problem]) -> pb.Header:
-    """
-    Add header meta data to the `Expression` type message.
-
-    Args:
-        message (jijmodeling_schema.Expression): an `Expression` message
-
-    Returns:
-        jijmodeling_schema.Header: a `Header` message
-    """
-    # Create an empty `Header` message.
-    header = pb.Header()
-
-    # Make the id of the `Header` message.
-    header.id = str(ULID())
-
-    # Set the version of the JijModeling schema.
-    header.version = "0.10.0"
-
-    # Set the target message to the `header.value`.
-    if type(message) is pb.Problem:
-        header.value.problem = message
-    elif type(message) is pb.Expression:
-        header.value.expression = message
-
-    return header

jijmodeling/protobuf/to_protobuf/array_shape_to_message.py

@@ -1,43 +0,0 @@
-from __future__ import annotations
-
-import jijmodeling_schema as pb
-
-from jijmodeling.expression.variables.placeholders import ArrayShape
-
-
-def array_shape_to_message(array_shape: ArrayShape) -> pb.Expression:
-    """
-    Convert an `ArrayShape` object to an `Expression` message.
-
-    Args:
-        array_shape (ArrayShape): an `ArrayShape` object
-
-    Returns:
-        pb.Expression: an `Expression` message
-    """
-    # Create an empty `ArrayShape` message.
-    array_shape_message = pb.ArrayShape()
-
-    # Set the number of axis
-    array_shape_message.axis = array_shape.dimension
-
-    # Create an empty `Expression` message.
-    message = pb.Expression()
-
-    # Set the id that the `ArrayShape` object has.
-    message.id = array_shape.uuid
-
-    # Set the kind of nodes to an `ArrayShape` message.
-    message.kind.array_shape = array_shape_message
-
-    # NOTE: Import a module within a local scope to fix a circular import.
-    # - https://stackoverflow.com/questions/59462679/design-of-python-conditional-imports
-    # - https://medium.com/@hamana.hadrien/so-you-got-a-circular-import-in-python-e9142fe10591
-    from jijmodeling.protobuf.to_protobuf.expression_to_message import (
-        expression_to_message,
-    )
-
-    # Set the array of the ArrayShape.
-    message.children.append(expression_to_message(array_shape.array))
-
-    return message

jijmodeling/protobuf/to_protobuf/binary_op_to_message.py

@@ -1,101 +0,0 @@
-from __future__ import annotations
-
-from typing import Union
-
-import jijmodeling_schema as pb
-
-from jijmodeling.expression.condition import (
-    AndOperator,
-    Condition,
-    Equal,
-    LessThan,
-    LessThanEqual,
-    NotEqual,
-    OrOperator,
-    XorOperator,
-)
-from jijmodeling.expression.expression import Add, BinaryOperator, Div, Mod, Mul, Power
-from jijmodeling.expression.variables.variable import Range
-
-
-def binary_op_to_message(
-    binary_op: Union[BinaryOperator, Range, Condition]
-) -> pb.Expression:
-    """
-    Convert a `BinaryOperator | Range | Condition` object to an `Expression`.
-
-    message.
-
-    Args:
-        unary_op (BinaryOperator): an expression node that has two children
-
-    Returns:
-        pb.Expression: an `Expression` message
-    """
-    # Create an empty `BinaryOp` message.
-    binary_op_message = pb.BinaryOp()
-
-    # Set the kind of the binary operator node.
-    # BinaryOp
-    if type(binary_op) is Add:
-        binary_op_message.kind = pb.BinaryOpKind.ADD
-    elif type(binary_op) is Mul:
-        binary_op_message.kind = pb.BinaryOpKind.MUL
-    elif type(binary_op) is Div:
-        binary_op_message.kind = pb.BinaryOpKind.DIV
-    elif type(binary_op) is Power:
-        binary_op_message.kind = pb.BinaryOpKind.POW
-    elif type(binary_op) is Mod:
-        binary_op_message.kind = pb.BinaryOpKind.MOD
-    # Range
-    elif type(binary_op) is Range:
-        binary_op_message.kind = pb.BinaryOpKind.RANGE
-    # ComparisonOp
-    elif type(binary_op) is Equal:
-        binary_op_message.kind = pb.BinaryOpKind.EQ
-    elif type(binary_op) is NotEqual:
-        binary_op_message.kind = pb.BinaryOpKind.NOT_EQ
-    elif type(binary_op) is LessThan:
-        binary_op_message.kind = pb.BinaryOpKind.LESS_THAN
-    elif type(binary_op) is LessThanEqual:
-        binary_op_message.kind = pb.BinaryOpKind.LESS_THAN_EQ
-    # LogicalOp
-    elif type(binary_op) is AndOperator:
-        binary_op_message.kind = pb.BinaryOpKind.AND
-    elif type(binary_op) is OrOperator:
-        binary_op_message.kind = pb.BinaryOpKind.OR
-    elif type(binary_op) is XorOperator:
-        binary_op_message.kind = pb.BinaryOpKind.XOR
-    # Otherwise
-    else:
-        raise TypeError(f"{binary_op.__class__.__name__} is not supported")
-
-    # Create an empty `Expression` message.
-    message = pb.Expression()
-
-    # Set the id that the `Expression` object has.
-    message.id = binary_op.uuid
-
-    # Set the kind of nodes to the `BinaryOp` message.
-    message.kind.binary_op = binary_op_message
-
-    # NOTE: Import a module within a local scope to fix a circular import.
-    # - https://stackoverflow.com/questions/59462679/design-of-python-conditional-imports
-    # - https://medium.com/@hamana.hadrien/so-you-got-a-circular-import-in-python-e9142fe10591
-    from jijmodeling.protobuf.to_protobuf.expression_to_message import (
-        expression_to_message,
-    )
-
-    if type(binary_op) is Range:
-        # Set the range of the `Range` object.
-        message.children.append(expression_to_message(binary_op.start))
-        message.children.append(expression_to_message(binary_op.last))
-    elif isinstance(binary_op, (BinaryOperator, Condition)):
-        # Set the children of the `BinaryOperator` object.
-        message.children.append(expression_to_message(binary_op.left))
-        message.children.append(expression_to_message(binary_op.right))
-    # Otherwise
-    else:
-        raise TypeError(f"{binary_op.__class__.__name__} is not supported")
-
-    return message

jijmodeling/protobuf/to_protobuf/binary_var_to_message.py

@@ -1,49 +0,0 @@
-from __future__ import annotations
-
-import jijmodeling_schema as pb
-
-from jijmodeling.expression.variables.deci_vars import Binary
-
-
-def binary_var_to_message(binary_var: Binary) -> pb.Expression:
-    """
-    Convert a `Binary` object to an `BinaryVar` message.
-
-    Args:
-        binary_var (Binary): a `Binary` object.
-
-    Returns:
-        pb.Expression: an `Expression` message.
-    """
-    # Create an empty `BinaryVar` message.
-    binary_var_message = pb.BinaryVar()
-
-    # Set the symbol.
-    binary_var_message.symbol = binary_var.label
-
-    # Set length of the shape.
-    binary_var_message.dim = binary_var.dim
-
-    # Create an empty `Expression` message.
-    message = pb.Expression()
-
-    # Set the id that the `Binary` object has.
-    message.id = binary_var.uuid
-
-    # Set the kind of nodes to a `BinaryVar` message.
-    message.kind.binary_var = binary_var_message
-
-    # NOTE: Import a module within a local scope to fix a circular import.
-    # - https://stackoverflow.com/questions/59462679/design-of-python-conditional-imports
-    # - https://medium.com/@hamana.hadrien/so-you-got-a-circular-import-in-python-e9142fe10591
-    from jijmodeling.protobuf.to_protobuf.expression_to_message import (
-        expression_to_message,
-    )
-
-    # Set the shape.
-    message.children = [
-        expression_to_message(shape_element) for shape_element in binary_var.shape
-    ]
-
-    # Serialize the `Expression` object into a bytes object.
-    return message

jijmodeling/protobuf/to_protobuf/constraint_to_message.py

@@ -1,52 +0,0 @@
-from __future__ import annotations
-
-import jijmodeling_schema as pb
-
-from ulid import ULID
-
-from jijmodeling.expression.constraint import Constraint
-from jijmodeling.protobuf.to_protobuf.expression_to_message import expression_to_message
-from jijmodeling.protobuf.to_protobuf.forall_to_message import forall_to_message
-
-
-def constraint_to_message(constraint: Constraint) -> pb.Constraint:
-    """
-    Convert a `Constraint` object into a `Constraint` message.
-
-    Args:
-        constraint (Constraint): a `Constraint` object
-
-    Returns:
-        pb.Constraint: a `Constraint` message
-    """
-    # Create an empty `Constraint` message.
-    message = pb.Constraint()
-
-    # Set the id of the constraint.
-    message.id = str(ULID())
-
-    # Set the name of the constraint.
-    message.name = constraint.label
-
-    # Set the expression of the constraint.
-    message.expression = expression_to_message(constraint.condition)
-
-    # Set the list of forall.
-    message.forall.extend(
-        [
-            forall_to_message(element, condition)
-            for element, condition in constraint.forall
-        ]
-    )
-
-    # Set the left_lower.
-    if constraint.left_lower is not None:
-        message.left_lower = expression_to_message(constraint.left_lower)
-
-    message.is_penalty = constraint.with_penalty
-
-    message.needs_multiplier = constraint.with_multiplier
-
-    message.needs_square = constraint.auto_qubo
-
-    return message

jijmodeling/protobuf/to_protobuf/element_to_message.py

@@ -1,43 +0,0 @@
-from __future__ import annotations
-
-import jijmodeling_schema as pb
-
-from jijmodeling.expression.variables.variable import Element
-
-
-def element_to_message(element: Element) -> pb.Expression:
-    """
-    Convert an `Element` object to an `Element` message.
-
-    Args:
-        element (Element): an `Element` object
-
-    Returns:
-        pb.Expression: an `Element` message
-    """
-    # Create an empty `ArrayShape` message.
-    element_message = pb.Element()
-
-    # Set the symbol
-    element_message.symbol = element.label
-
-    # Create an empty `Expression` message.
-    message = pb.Expression()
-
-    # Set the id that the `Element` object has.
-    message.id = element.uuid
-
-    # Set the kind of nodes to an `ArrayShape` message.
-    message.kind.element = element_message
-
-    # NOTE: Import a module within a local scope to fix a circular import.
-    # - https://stackoverflow.com/questions/59462679/design-of-python-conditional-imports
-    # - https://medium.com/@hamana.hadrien/so-you-got-a-circular-import-in-python-e9142fe10591
-    from jijmodeling.protobuf.to_protobuf.expression_to_message import (
-        expression_to_message,
-    )
-
-    # Set the parent of the `Element` object.
-    message.children.append(expression_to_message(element.parent))
-
-    return message