jijmodeling 2.0.0a2__cp38-abi3-manylinux_2_28_x86_64.whl → 2.0.0a4__cp38-abi3-manylinux_2_28_x86_64.whl

jijmodeling/__init__.pyi

@@ -2,6 +2,8 @@
 # ruff: noqa: E501, F401
 
 import builtins
+import numpy
+import numpy.typing
 import ommx.v1
 import typing
 from . import _jijmodeling
@@ -9,7 +11,7 @@ from enum import Enum, auto
 
 __version__: builtins.str
 class Compiler:
-    def __new__(cls,namespace:Namespace, instance_data:dict): ...
+    def __new__(cls,namespace:Namespace, instance_data:typing.Mapping[builtins.str, builtins.int | builtins.float | numpy.typing.NDArray[numpy.float64] | numpy.typing.NDArray[numpy.int64] | list]): ...
     def get_constraint_id_by_name(self, name:builtins.str) -> dict:
         r"""
         Obtains a dictionary from subscript to constraint Id.
@@ -29,7 +31,7 @@ class Compiler:
         ...
 
     @staticmethod
-    def from_problem(problem:Problem, instance_data:dict) -> 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:
         ...
 
 
@@ -153,70 +155,148 @@ class DecisionVar:
     def __repr__(self) -> builtins.str:
         ...
 
-    def __getitem__(self, subscripts:typing.Any) -> Expression:
+    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> Expression:
         ...
 
-    def sum(self, axis:typing.Optional[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any] | builtins.int | typing.Sequence[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]] | typing.Sequence[builtins.int]]=None) -> Expression:
+    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> Expression:
         ...
 
-    def prod(self, axis:typing.Optional[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any] | builtins.int | typing.Sequence[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]] | typing.Sequence[builtins.int]]=None) -> Expression:
+    def __add__(self, rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __eq__(self, other:typing.Any) -> Expression:
+    def __radd__(self, lhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __ne__(self, other:typing.Any) -> Expression:
+    def __sub__(self, rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __lt__(self, other:typing.Any) -> Expression:
+    def __rsub__(self, lhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __le__(self, other:typing.Any) -> Expression:
+    def __mul__(self, rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __gt__(self, other:typing.Any) -> Expression:
+    def __rmul__(self, lhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __ge__(self, other:typing.Any) -> Expression:
+    def __truediv__(self, rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> Expression:
+    def __rtruediv__(self, lhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> Expression:
+    def __mod__(self, rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __mod__(self, other:typing.Any) -> Expression:
+    def __rmod__(self, lhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __rmod__(self, other:typing.Any) -> Expression:
+    def min(self, rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __truediv__(self, other:typing.Any) -> Expression:
+    def max(self, rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __rtruediv__(self, other:typing.Any) -> Expression:
+    def __neg__(self) -> Expression:
         ...
 
-    def __mul__(self, other:typing.Any) -> Expression:
+    def abs(self) -> Expression:
         ...
 
-    def __rmul__(self, other:typing.Any) -> Expression:
+    def sqrt(self) -> Expression:
         ...
 
-    def __sub__(self, other:typing.Any) -> Expression:
+    def sin(self) -> Expression:
         ...
 
-    def __rsub__(self, other:typing.Any) -> Expression:
+    def cos(self) -> Expression:
         ...
 
-    def __add__(self, other:typing.Any) -> Expression:
+    def tan(self) -> Expression:
         ...
 
-    def __radd__(self, other:typing.Any) -> Expression:
+    def asin(self) -> Expression:
         ...
 
-    def __neg__(self) -> Expression:
+    def acos(self) -> Expression:
+        ...
+
+    def atan(self) -> Expression:
+        ...
+
+    def sinh(self) -> Expression:
+        ...
+
+    def cosh(self) -> Expression:
+        ...
+
+    def tanh(self) -> Expression:
+        ...
+
+    def asinh(self) -> Expression:
+        ...
+
+    def acosh(self) -> Expression:
+        ...
+
+    def atanh(self) -> Expression:
+        ...
+
+    def exp(self) -> Expression:
+        ...
+
+    def ln(self) -> Expression:
+        ...
+
+    def log10(self) -> Expression:
+        ...
+
+    def log2(self) -> Expression:
+        ...
+
+    def ceil(self) -> Expression:
+        ...
+
+    def floor(self) -> Expression:
+        ...
+
+    def map(self, func:typing.Callable[[Expression], typing.Any]) -> Expression:
+        ...
+
+    def roll(self, shift:typing.Any, *, axis:typing.Optional[builtins.int]=None) -> Expression:
+        ...
+
+    def filter(self, predicate:typing.Callable[[Expression], typing.Any]) -> Expression:
+        ...
+
+    def flat_map(self, func:typing.Callable[[Expression], typing.Any]) -> Expression:
+        ...
+
+    def __getitem__(self, subscripts:typing.Any) -> Expression:
+        ...
+
+    def sum(self, axis:typing.Optional[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any] | builtins.int | typing.Sequence[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]] | typing.Sequence[builtins.int]]=None) -> Expression:
+        ...
+
+    def prod(self, axis:typing.Optional[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any] | builtins.int | typing.Sequence[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]] | typing.Sequence[builtins.int]]=None) -> Expression:
+        ...
+
+    def __eq__(self, other:typing.Any) -> Expression:
+        ...
+
+    def __ne__(self, other:typing.Any) -> Expression:
+        ...
+
+    def __lt__(self, other:typing.Any) -> Expression:
+        ...
+
+    def __le__(self, other:typing.Any) -> Expression:
+        ...
+
+    def __gt__(self, other:typing.Any) -> Expression:
+        ...
+
+    def __ge__(self, other:typing.Any) -> Expression:
         ...
 
 
@@ -224,157 +304,184 @@ class Expression:
     r"""
     Any expression in Python.
     """
-    def map(self, func:typing.Callable[[Expression], typing.Any]) -> Expression:
+    def __call__(self, *args) -> Expression:
         ...
 
-    def roll(self, shift:typing.Any, *, axis:typing.Optional[builtins.int]=None) -> Expression:
+    def shape(self) -> Expression:
+        ...
+
+    def len_at(self, axis:builtins.int) -> Expression:
         ...
 
-    def max(self, other:typing.Any) -> Expression:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def min(self, other:typing.Any) -> Expression:
+    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> Expression:
         ...
 
-    def bnot(self) -> Expression:
+    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> Expression:
         ...
 
-    def floor(self) -> Expression:
+    def __add__(self, rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def ceil(self) -> Expression:
+    def __radd__(self, lhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def atanh(self) -> Expression:
+    def __sub__(self, rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def acosh(self) -> Expression:
+    def __rsub__(self, lhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def asinh(self) -> Expression:
+    def __mul__(self, rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def tanh(self) -> Expression:
+    def __rmul__(self, lhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def cosh(self) -> Expression:
+    def __truediv__(self, rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def sinh(self) -> Expression:
+    def __rtruediv__(self, lhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def atan(self) -> Expression:
+    def __mod__(self, rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def acos(self) -> Expression:
+    def __rmod__(self, lhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def asin(self) -> Expression:
+    def min(self, rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def tan(self) -> Expression:
+    def max(self, rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def cos(self) -> Expression:
+    def __neg__(self) -> Expression:
         ...
 
-    def sin(self) -> Expression:
+    def abs(self) -> Expression:
         ...
 
     def sqrt(self) -> Expression:
         ...
 
-    def abs(self) -> Expression:
+    def sin(self) -> Expression:
         ...
 
-    def exp(self) -> Expression:
+    def cos(self) -> Expression:
         ...
 
-    def ln(self) -> Expression:
+    def tan(self) -> Expression:
         ...
 
-    def log10(self) -> Expression:
+    def asin(self) -> Expression:
         ...
 
-    def log2(self) -> Expression:
+    def acos(self) -> Expression:
         ...
 
-    def __call__(self, *args) -> Expression:
+    def atan(self) -> Expression:
         ...
 
-    def shape(self) -> Expression:
+    def sinh(self) -> Expression:
         ...
 
-    def len_at(self, axis:builtins.int) -> Expression:
+    def cosh(self) -> Expression:
         ...
 
-    def __repr__(self) -> builtins.str:
+    def tanh(self) -> Expression:
         ...
 
-    def __getitem__(self, subscripts:typing.Any) -> Expression:
+    def asinh(self) -> Expression:
         ...
 
-    def sum(self, axis:typing.Optional[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any] | builtins.int | typing.Sequence[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]] | typing.Sequence[builtins.int]]=None) -> Expression:
+    def acosh(self) -> Expression:
         ...
 
-    def prod(self, axis:typing.Optional[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any] | builtins.int | typing.Sequence[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]] | typing.Sequence[builtins.int]]=None) -> Expression:
+    def atanh(self) -> Expression:
         ...
 
-    def __eq__(self, other:typing.Any) -> Expression:
+    def exp(self) -> Expression:
         ...
 
-    def __ne__(self, other:typing.Any) -> Expression:
+    def ln(self) -> Expression:
         ...
 
-    def __lt__(self, other:typing.Any) -> Expression:
+    def log10(self) -> Expression:
         ...
 
-    def __le__(self, other:typing.Any) -> Expression:
+    def log2(self) -> Expression:
         ...
 
-    def __gt__(self, other:typing.Any) -> Expression:
+    def ceil(self) -> Expression:
         ...
 
-    def __ge__(self, other:typing.Any) -> Expression:
+    def floor(self) -> Expression:
         ...
 
-    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> Expression:
+    def map(self, func:typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> Expression:
+    def roll(self, shift:typing.Any, *, axis:typing.Optional[builtins.int]=None) -> Expression:
         ...
 
-    def __mod__(self, other:typing.Any) -> Expression:
+    def filter(self, predicate:typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __rmod__(self, other:typing.Any) -> Expression:
+    def flat_map(self, func:typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __truediv__(self, other:typing.Any) -> Expression:
+    def __getitem__(self, subscripts:typing.Any) -> Expression:
         ...
 
-    def __rtruediv__(self, other:typing.Any) -> Expression:
+    def sum(self, axis:typing.Optional[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any] | builtins.int | typing.Sequence[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]] | typing.Sequence[builtins.int]]=None) -> Expression:
         ...
 
-    def __mul__(self, other:typing.Any) -> Expression:
+    def prod(self, axis:typing.Optional[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any] | builtins.int | typing.Sequence[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]] | typing.Sequence[builtins.int]]=None) -> Expression:
         ...
 
-    def __rmul__(self, other:typing.Any) -> Expression:
+    def __and__(self, rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __sub__(self, other:typing.Any) -> Expression:
+    def __rand__(self, lhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __rsub__(self, other:typing.Any) -> Expression:
+    def __or__(self, rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __add__(self, other:typing.Any) -> Expression:
+    def __ror__(self, lhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __radd__(self, other:typing.Any) -> Expression:
+    def __xor__(self, rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __neg__(self) -> Expression:
+    def __rxor__(self, lhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
+        ...
+
+    def diff(self, rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
+        ...
+
+    def bnot(self) -> Expression:
+        ...
+
+    def __eq__(self, other:typing.Any) -> Expression:
+        ...
+
+    def __ne__(self, other:typing.Any) -> Expression:
+        ...
+
+    def __lt__(self, other:typing.Any) -> Expression:
+        ...
+
+    def __le__(self, other:typing.Any) -> Expression:
+        ...
+
+    def __gt__(self, other:typing.Any) -> Expression:
+        ...
+
+    def __ge__(self, other:typing.Any) -> Expression:
         ...
 
 
@@ -393,6 +500,12 @@ class Namespace:
     def add_decision_var(self, var:DecisionVar) -> None:
         ...
 
+    def type_of(self, name:builtins.str) -> Type:
+        ...
+
+    def infer(self, expr:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Type:
+        ...
+
 
 class Placeholder:
     r"""
@@ -465,70 +578,172 @@ class Placeholder:
     def len_at(self, index:builtins.int) -> Expression:
         ...
 
-    def __getitem__(self, subscripts:typing.Any) -> Expression:
+    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> Expression:
         ...
 
-    def sum(self, axis:typing.Optional[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any] | builtins.int | typing.Sequence[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]] | typing.Sequence[builtins.int]]=None) -> Expression:
+    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> Expression:
         ...
 
-    def prod(self, axis:typing.Optional[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any] | builtins.int | typing.Sequence[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]] | typing.Sequence[builtins.int]]=None) -> Expression:
+    def __add__(self, rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __eq__(self, other:typing.Any) -> Expression:
+    def __radd__(self, lhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __ne__(self, other:typing.Any) -> Expression:
+    def __sub__(self, rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __lt__(self, other:typing.Any) -> Expression:
+    def __rsub__(self, lhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __le__(self, other:typing.Any) -> Expression:
+    def __mul__(self, rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __gt__(self, other:typing.Any) -> Expression:
+    def __rmul__(self, lhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __ge__(self, other:typing.Any) -> Expression:
+    def __truediv__(self, rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> Expression:
+    def __rtruediv__(self, lhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> Expression:
+    def __mod__(self, rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __mod__(self, other:typing.Any) -> Expression:
+    def __rmod__(self, lhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __rmod__(self, other:typing.Any) -> Expression:
+    def min(self, rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __truediv__(self, other:typing.Any) -> Expression:
+    def max(self, rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
         ...
 
-    def __rtruediv__(self, other:typing.Any) -> Expression:
+    def __neg__(self) -> Expression:
         ...
 
-    def __mul__(self, other:typing.Any) -> Expression:
+    def abs(self) -> Expression:
         ...
 
-    def __rmul__(self, other:typing.Any) -> Expression:
+    def sqrt(self) -> Expression:
         ...
 
-    def __sub__(self, other:typing.Any) -> Expression:
+    def sin(self) -> Expression:
         ...
 
-    def __rsub__(self, other:typing.Any) -> Expression:
+    def cos(self) -> Expression:
         ...
 
-    def __add__(self, other:typing.Any) -> Expression:
+    def tan(self) -> Expression:
         ...
 
-    def __radd__(self, other:typing.Any) -> Expression:
+    def asin(self) -> Expression:
         ...
 
-    def __neg__(self) -> Expression:
+    def acos(self) -> Expression:
+        ...
+
+    def atan(self) -> Expression:
+        ...
+
+    def sinh(self) -> Expression:
+        ...
+
+    def cosh(self) -> Expression:
+        ...
+
+    def tanh(self) -> Expression:
+        ...
+
+    def asinh(self) -> Expression:
+        ...
+
+    def acosh(self) -> Expression:
+        ...
+
+    def atanh(self) -> Expression:
+        ...
+
+    def exp(self) -> Expression:
+        ...
+
+    def ln(self) -> Expression:
+        ...
+
+    def log10(self) -> Expression:
+        ...
+
+    def log2(self) -> Expression:
+        ...
+
+    def ceil(self) -> Expression:
+        ...
+
+    def floor(self) -> Expression:
+        ...
+
+    def map(self, func:typing.Callable[[Expression], typing.Any]) -> Expression:
+        ...
+
+    def roll(self, shift:typing.Any, *, axis:typing.Optional[builtins.int]=None) -> Expression:
+        ...
+
+    def filter(self, predicate:typing.Callable[[Expression], typing.Any]) -> Expression:
+        ...
+
+    def flat_map(self, func:typing.Callable[[Expression], typing.Any]) -> Expression:
+        ...
+
+    def __getitem__(self, subscripts:typing.Any) -> Expression:
+        ...
+
+    def sum(self, axis:typing.Optional[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any] | builtins.int | typing.Sequence[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]] | typing.Sequence[builtins.int]]=None) -> Expression:
+        ...
+
+    def prod(self, axis:typing.Optional[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any] | builtins.int | typing.Sequence[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]] | typing.Sequence[builtins.int]]=None) -> Expression:
+        ...
+
+    def __and__(self, rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
+        ...
+
+    def __rand__(self, lhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
+        ...
+
+    def __or__(self, rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
+        ...
+
+    def __ror__(self, lhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
+        ...
+
+    def __xor__(self, rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
+        ...
+
+    def __rxor__(self, lhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
+        ...
+
+    def diff(self, rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
+        ...
+
+    def bnot(self) -> Expression:
+        ...
+
+    def __eq__(self, other:typing.Any) -> Expression:
+        ...
+
+    def __ne__(self, other:typing.Any) -> Expression:
+        ...
+
+    def __lt__(self, other:typing.Any) -> Expression:
+        ...
+
+    def __le__(self, other:typing.Any) -> Expression:
+        ...
+
+    def __gt__(self, other:typing.Any) -> Expression:
+        ...
+
+    def __ge__(self, other:typing.Any) -> Expression:
         ...
 
 
@@ -955,6 +1170,15 @@ class Problem:
         """
         ...
 
+    def type_of(self, name:builtins.str) -> Type:
+        ...
+
+    def infer(self, expr:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Type:
+        ...
+
+
+class Type:
+    ...
 
 class ConstraintSense(Enum):
     EQUAL = auto()
@@ -1005,9 +1229,15 @@ def atan(expr:Expression | builtins.int | builtins.float | DecisionVar | Placeho
 def atanh(expr:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
     ...
 
+def band(lhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any], rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
+    ...
+
 def bnot(expr:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
     ...
 
+def bor(lhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any], rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
+    ...
+
 def ceil(expr:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
     ...
 
@@ -1017,9 +1247,18 @@ def cos(expr:Expression | builtins.int | builtins.float | DecisionVar | Placehol
 def cosh(expr:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
     ...
 
+def diff(lhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any], rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
+    ...
+
 def exp(expr:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
     ...
 
+def filter(predicate:typing.Callable[[Expression], typing.Any], operand:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
+    ...
+
+def flat_map(func:typing.Callable[[Expression], typing.Any], arg:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
+    ...
+
 def floor(expr:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
     ...
 
@@ -1032,7 +1271,7 @@ def log10(expr:Expression | builtins.int | builtins.float | DecisionVar | Placeh
 def log2(expr:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
     ...
 
-def map(arg:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any], func:typing.Callable[[Expression], typing.Any]) -> Expression:
+def map(func:typing.Callable[[Expression], typing.Any], arg:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
     ...
 
 def max(lhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any], rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
@@ -1041,6 +1280,9 @@ def max(lhs:Expression | builtins.int | builtins.float | DecisionVar | Placehold
 def min(lhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any], rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
     ...
 
+def neg(expr:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
+    ...
+
 def prod(operand:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any], axis:typing.Optional[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any] | builtins.int | typing.Sequence[Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]] | typing.Sequence[builtins.int]]=None) -> Expression:
     ...
 
@@ -1065,3 +1307,6 @@ def tan(expr:Expression | builtins.int | builtins.float | DecisionVar | Placehol
 def tanh(expr:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
     ...
 
+def xor(lhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any], rhs:Expression | builtins.int | builtins.float | DecisionVar | Placeholder | list | tuple | typing.Callable[[Expression], typing.Any]) -> Expression:
+    ...
+

{jijmodeling-2.0.0a2.dist-info → jijmodeling-2.0.0a4.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: jijmodeling
-Version: 2.0.0a2
+Version: 2.0.0a4
 Classifier: Development Status :: 5 - Production/Stable
 Classifier: Operating System :: POSIX :: Linux
 Classifier: Operating System :: MacOS
@@ -20,7 +20,7 @@ Classifier: Topic :: Scientific/Engineering :: Mathematics
 Requires-Dist: numpy
 Requires-Dist: pandas
 Requires-Dist: orjson>=3.8.0,<4.0.0
-Requires-Dist: ommx>=2.0.0rc1,<3.0.0
+Requires-Dist: ommx>=2.0.0,<3.0.0
 License-File: LICENSE.txt
 Summary: Mathematical modeling tool for optimization problem
 Author: Jij Inc.

jijmodeling-2.0.0a4.dist-info/RECORD

@@ -0,0 +1,9 @@
+jijmodeling-2.0.0a4.dist-info/METADATA,sha256=272CUGe-pz2-ZG3naHt6idaVsDMDZ06IKcc_-9_6eCQ,2479
+jijmodeling-2.0.0a4.dist-info/WHEEL,sha256=2gIzTaU1IZcNUemGxPb4DoC1_3vwD4J8-SZFo4ZrPL4,106
+jijmodeling-2.0.0a4.dist-info/licenses/LICENSE.txt,sha256=T5HdEbP5NWG8fZbvF9pofeteW3HrS30V3_LvtPUHFYM,3400
+jijmodeling/__init__.py,sha256=43DV_WzDxS0n6FseNyfJZ6oQucO31T4qqbz3bx9JMtE,44
+jijmodeling/__init__.pyi,sha256=2TpLy5Og4ioDI3Ng8kpAFla3cqys5BKx9G-KPjCX8LI,60714
+jijmodeling/_jijmodeling.abi3.so,sha256=8l_zgMXHf_VaP2oetFpQit4LysEJ5Y7MqJUP4IfKkgM,6046128
+jijmodeling/_jijmodeling.pyi,sha256=9towCfPT8yTmJxvncDdME7ZCeFSSntPxAd_TT_spuXQ,162
+jijmodeling/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+jijmodeling-2.0.0a4.dist-info/RECORD,,

jijmodeling-2.0.0a2.dist-info/RECORD

@@ -1,9 +0,0 @@
-jijmodeling-2.0.0a2.dist-info/METADATA,sha256=tdiMW4rObLVDeek9C2kZ8CfPelCjzq8ma9aLRddc5pI,2482
-jijmodeling-2.0.0a2.dist-info/WHEEL,sha256=2gIzTaU1IZcNUemGxPb4DoC1_3vwD4J8-SZFo4ZrPL4,106
-jijmodeling-2.0.0a2.dist-info/licenses/LICENSE.txt,sha256=T5HdEbP5NWG8fZbvF9pofeteW3HrS30V3_LvtPUHFYM,3400
-jijmodeling/__init__.py,sha256=43DV_WzDxS0n6FseNyfJZ6oQucO31T4qqbz3bx9JMtE,44
-jijmodeling/__init__.pyi,sha256=IeEZoh_MYKJs1Kur4SxF7Ox8NMLfG00AVIlRSGER0Ek,48095
-jijmodeling/_jijmodeling.abi3.so,sha256=2N5P77szn1MyAl7f1vcOJSv4aCc5hRkwMImuC4a7TD4,5719112
-jijmodeling/_jijmodeling.pyi,sha256=9towCfPT8yTmJxvncDdME7ZCeFSSntPxAd_TT_spuXQ,162
-jijmodeling/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-jijmodeling-2.0.0a2.dist-info/RECORD,,