jijmodeling 2.0.0a6__cp38-abi3-manylinux_2_28_aarch64.whl → 2.0.0a7__cp38-abi3-manylinux_2_28_aarch64.whl

jijmodeling/__init__.pyi

@@ -24,32 +24,38 @@ class Compiler:
     def from_problem(problem:Problem, instance_data:typing.Mapping[builtins.str, builtins.int | builtins.float | numpy.typing.NDArray[numpy.float64] | numpy.typing.NDArray[numpy.int64] | list]) -> Compiler: ...
 
 class Constraint:
-    name: builtins.str
-    sense: ConstraintSense
-    left: Expression
-    right: Expression
-    expression: Expression
-    is_equality: builtins.bool
-    r"""
-    Returns true if the constraint is an equality constraint.
-    
-    Returns
-    --------
-    `bool`: True if the constraint is an equality constraint. Otherwise, False.
-    
-    Examples
-    ---------
-    
-    ```python
-    >>> import jijmodeling as jm
-    >>> N = jm.Placeholder("N")
-    >>> i = jm.Element("i", belong_to=N)
-    >>> x = jm.BinaryVar("x", shape=(N,))
-    >>> constraint = jm.Constraint("constraint", jm.sum(i, x[i]) == 1)
-    >>> assert constraint.is_equality()
-    
-    ```
-    """
+    @property
+    def name(self) -> builtins.str: ...
+    @property
+    def sense(self) -> ConstraintSense: ...
+    @property
+    def left(self) -> Expression: ...
+    @property
+    def right(self) -> Expression: ...
+    @property
+    def expression(self) -> Expression: ...
+    @property
+    def is_equality(self) -> builtins.bool:
+        r"""
+        Returns true if the constraint is an equality constraint.
+        
+        Returns
+        --------
+        `bool`: True if the constraint is an equality constraint. Otherwise, False.
+        
+        Examples
+        ---------
+        
+        ```python
+        >>> import jijmodeling as jm
+        >>> N = jm.Placeholder("N")
+        >>> i = jm.Element("i", belong_to=N)
+        >>> x = jm.BinaryVar("x", shape=(N,))
+        >>> constraint = jm.Constraint("constraint", jm.sum(i, x[i]) == 1)
+        >>> assert constraint.is_equality()
+        
+        ```
+        """
     def is_inequality(self) -> builtins.bool:
         r"""
         Returns true if the constraint is an inequality constraint.
@@ -149,13 +155,20 @@ class DecisionVar:
     
     ```
     """
-    name: builtins.str
-    kind: DecisionVarKind
-    description: builtins.str
-    ndim: builtins.int
-    shape: tuple
-    lower_bound: Expression | builtins.list[Expression]
-    upper_bound: Expression | builtins.list[Expression]
+    @property
+    def name(self) -> builtins.str: ...
+    @property
+    def kind(self) -> DecisionVarKind: ...
+    @property
+    def description(self) -> builtins.str: ...
+    @property
+    def ndim(self) -> builtins.int: ...
+    @property
+    def shape(self) -> tuple: ...
+    @property
+    def lower_bound(self) -> Expression | builtins.list[Expression]: ...
+    @property
+    def upper_bound(self) -> Expression | builtins.list[Expression]: ...
     def __repr__(self) -> builtins.str: ...
     def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> Expression: ...
     def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> Expression: ...
@@ -1286,6 +1299,13 @@ def min(lhs:Expression | builtins.int | builtins.float | DecisionVar | Placehold
 
 def neg(expr:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any] | typing.Callable[[Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression, Expression, Expression], typing.Any]) -> Expression: ...
 
+@typing.overload
+def prod(x:typing.Generator[Expression]) -> Expression:
+    r"""
+    Comprehension syntax for jm.sum (NOTE: only works with decorated API!)
+    """
+
+@typing.overload
 def prod(operand:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any] | typing.Callable[[Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression, Expression, Expression], typing.Any], axis:typing.Optional[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any] | typing.Callable[[Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression, Expression, Expression], typing.Any] | builtins.int | typing.Sequence[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any] | typing.Callable[[Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression, Expression, Expression], typing.Any]] | typing.Sequence[builtins.int]]=None) -> Expression: ...
 
 def roll(operand:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any] | typing.Callable[[Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression, Expression, Expression], typing.Any], shift:typing.Any, *, axis:typing.Optional[builtins.int]=None) -> Expression: ...
@@ -1298,7 +1318,19 @@ def sinh(expr:Expression | builtins.int | builtins.float | DecisionVar | Placeho
 
 def sqrt(expr:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any] | typing.Callable[[Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression, Expression, Expression], typing.Any]) -> Expression: ...
 
-def sum(operand:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any] | typing.Callable[[Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression, Expression, Expression], typing.Any], axis:typing.Optional[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any] | typing.Callable[[Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression, Expression, Expression], typing.Any] | builtins.int | typing.Sequence[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any] | typing.Callable[[Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression, Expression, Expression], typing.Any]] | typing.Sequence[builtins.int]]=None) -> Expression: ...
+@typing.overload
+def sum(x:typing.Generator[Expression]) -> Expression:
+    r"""
+    Comprehension syntax for jm.sum (NOTE: only works with decorated API!)
+    """
+
+@typing.overload
+def sum(operand:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any] | typing.Callable[[Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression, Expression, Expression], typing.Any], axis:typing.Optional[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any] | typing.Callable[[Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression, Expression, Expression], typing.Any] | builtins.int | typing.Sequence[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any] | typing.Callable[[Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression, Expression, Expression], typing.Any]] | typing.Sequence[builtins.int]]=None) -> Expression:
+    r"""
+    Takes a summation of set or tensor-like expression.
+    You can use `axis` to partially reducing the tensor along
+    specified axes.
+    """
 
 def tan(expr:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any] | typing.Callable[[Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression, Expression], typing.Any] | typing.Callable[[Expression, Expression, Expression, Expression, Expression], typing.Any]) -> Expression: ...
 

{jijmodeling-2.0.0a6.dist-info → jijmodeling-2.0.0a7.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: jijmodeling
-Version: 2.0.0a6
+Version: 2.0.0a7
 Classifier: Development Status :: 5 - Production/Stable
 Classifier: Operating System :: POSIX :: Linux
 Classifier: Operating System :: MacOS

jijmodeling-2.0.0a7.dist-info/RECORD

@@ -0,0 +1,9 @@
+jijmodeling-2.0.0a7.dist-info/METADATA,sha256=xZC3whFpGaEXEnZdDY9XgJb-nd8RdpMVEk4bl6peCLk,2479
+jijmodeling-2.0.0a7.dist-info/WHEEL,sha256=mr1qZox3cYDvZG5vJCnwvnEBrBI82LkztNJzwKJciAs,107
+jijmodeling-2.0.0a7.dist-info/licenses/LICENSE.txt,sha256=T5HdEbP5NWG8fZbvF9pofeteW3HrS30V3_LvtPUHFYM,3400
+jijmodeling/__init__.py,sha256=43DV_WzDxS0n6FseNyfJZ6oQucO31T4qqbz3bx9JMtE,44
+jijmodeling/__init__.pyi,sha256=tIpQi5yETLtj1ENwGc5IYC7MdpMInHF12czxzWwAtUs,141965
+jijmodeling/_jijmodeling.abi3.so,sha256=8-etT5cYUJhlFNsNnL5zqUqjl0LqhhDkx9UVip6lqfY,8859056
+jijmodeling/_jijmodeling.pyi,sha256=9towCfPT8yTmJxvncDdME7ZCeFSSntPxAd_TT_spuXQ,162
+jijmodeling/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+jijmodeling-2.0.0a7.dist-info/RECORD,,

jijmodeling-2.0.0a6.dist-info/RECORD

@@ -1,9 +0,0 @@
-jijmodeling-2.0.0a6.dist-info/METADATA,sha256=2VrFrvyjqXa1xzfguzSVpo9Ixyit-TAVd5r0akUoAVM,2479
-jijmodeling-2.0.0a6.dist-info/WHEEL,sha256=mr1qZox3cYDvZG5vJCnwvnEBrBI82LkztNJzwKJciAs,107
-jijmodeling-2.0.0a6.dist-info/licenses/LICENSE.txt,sha256=T5HdEbP5NWG8fZbvF9pofeteW3HrS30V3_LvtPUHFYM,3400
-jijmodeling/__init__.py,sha256=43DV_WzDxS0n6FseNyfJZ6oQucO31T4qqbz3bx9JMtE,44
-jijmodeling/__init__.pyi,sha256=wS4zwiFzlhbXh0LEiLIuBoli3sn4AvRhtZGd8iRH4k4,140970
-jijmodeling/_jijmodeling.abi3.so,sha256=vGBSekTwJOgxzZ_NNCLxXTUYaAyph8hVs985bUEuoEA,8842672
-jijmodeling/_jijmodeling.pyi,sha256=9towCfPT8yTmJxvncDdME7ZCeFSSntPxAd_TT_spuXQ,162
-jijmodeling/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-jijmodeling-2.0.0a6.dist-info/RECORD,,