jijmodeling 1.0.0rc2__cp38-cp38-manylinux_2_28_x86_64.whl → 1.0.0rc4__cp38-cp38-manylinux_2_28_x86_64.whl

jijmodeling/__init__.pyi

@@ -1,4 +1,4 @@
-import typing
+import typing, enum
 
 @typing.final
 class AbsOp:
@@ -14,9 +14,108 @@ class AbsOp:
     Note:
         The AbsOp class does not have a constructor.
     """
-    def __init__():
+    def __new__(cls):
         pass
 
+    def __add__(self, value, /):
+        """
+        Return self+value.
+        """
+        pass
+
+
+    def __mod__(self, value, /):
+        """
+        Return self%value.
+        """
+        pass
+
+
+    def __mul__(self, value, /):
+        """
+        Return self*value.
+        """
+        pass
+
+
+    def __neg__(self, /):
+        """
+        -self
+        """
+        pass
+
+
+    def __pow__(self, value, mod=None, /):
+        """
+        Return pow(self, value, mod).
+        """
+        pass
+
+
+    def __radd__(self, value, /):
+        """
+        Return value+self.
+        """
+        pass
+
+
+    def __rmod__(self, value, /):
+        """
+        Return value%self.
+        """
+        pass
+
+
+    def __rmul__(self, value, /):
+        """
+        Return value*self.
+        """
+        pass
+
+
+    def __rpow__(self, value, mod=None, /):
+        """
+        Return pow(value, self, mod).
+        """
+        pass
+
+
+    def __rsub__(self, value, /):
+        """
+        Return value-self.
+        """
+        pass
+
+
+    def __rtruediv__(self, value, /):
+        """
+        Return value/self.
+        """
+        pass
+
+
+    def __sub__(self, value, /):
+        """
+        Return self-value.
+        """
+        pass
+
+
+    def __truediv__(self, value, /):
+        """
+        Return self/value.
+        """
+        pass
+
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
+        pass
+
+
+    operand: typing.Any
     def set_latex(self, /, latex=None):
         """
         Set the LaTeX representation of the object.
@@ -45,9 +144,107 @@ class AddOp:
         instantiation method is by calling the addition operation on other
         expressions.
     """
-    def __init__():
+    def __new__(cls):
+        pass
+
+    def __add__(self, value, /):
+        """
+        Return self+value.
+        """
+        pass
+
+
+    def __mod__(self, value, /):
+        """
+        Return self%value.
+        """
+        pass
+
+
+    def __mul__(self, value, /):
+        """
+        Return self*value.
+        """
+        pass
+
+
+    def __neg__(self, /):
+        """
+        -self
+        """
+        pass
+
+
+    def __pow__(self, value, mod=None, /):
+        """
+        Return pow(self, value, mod).
+        """
+        pass
+
+
+    def __radd__(self, value, /):
+        """
+        Return value+self.
+        """
+        pass
+
+
+    def __rmod__(self, value, /):
+        """
+        Return value%self.
+        """
+        pass
+
+
+    def __rmul__(self, value, /):
+        """
+        Return value*self.
+        """
+        pass
+
+
+    def __rpow__(self, value, mod=None, /):
+        """
+        Return pow(value, self, mod).
+        """
+        pass
+
+
+    def __rsub__(self, value, /):
+        """
+        Return value-self.
+        """
+        pass
+
+
+    def __rtruediv__(self, value, /):
+        """
+        Return value/self.
+        """
+        pass
+
+
+    def __sub__(self, value, /):
+        """
+        Return self-value.
+        """
+        pass
+
+
+    def __truediv__(self, value, /):
+        """
+        Return self/value.
+        """
+        pass
+
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
         pass
 
+
     def set_latex(self, /, latex=None):
         """
         Set the LaTeX representation of the object.
@@ -59,6 +256,7 @@ class AddOp:
         pass
 
 
+    terms: typing.Any
 @typing.final
 class AndOp:
     """
@@ -74,9 +272,58 @@ class AndOp:
     Note:
         The AndOp class does not have a constructor.
     """
-    def __init__():
+    def __new__(cls):
+        pass
+
+    def __and__(self, value, /):
+        """
+        Return self&value.
+        """
+        pass
+
+
+    def __or__(self, value, /):
+        """
+        Return self|value.
+        """
+        pass
+
+
+    def __rand__(self, value, /):
+        """
+        Return value&self.
+        """
+        pass
+
+
+    def __ror__(self, value, /):
+        """
+        Return value|self.
+        """
+        pass
+
+
+    def __rxor__(self, value, /):
+        """
+        Return value^self.
+        """
+        pass
+
+
+    def __xor__(self, value, /):
+        """
+        Return self^value.
+        """
+        pass
+
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
         pass
 
+
     def set_latex(self, /, latex=None):
         """
         Set the LaTeX representation of the object.
@@ -88,6 +335,7 @@ class AndOp:
         pass
 
 
+    terms: typing.Any
 @typing.final
 class ArrayLength:
     """
@@ -95,8 +343,9 @@ class ArrayLength:
     
     The ArrayLength class is to refer to the number of elements of an axis in an array.
     
-    This class is not intended to be instantiated directly. Instead, you can use
-    the `len_at` method in of `Placeholder`, `Element` or `Subscript`.
+    This class is not intended to be constructed directly. Instead, we
+    recommend using the `len_at` method of `Placeholder`, `Element` or
+    `Subscript`.
     
     Attributes:
         array: A variable with `ndim >= 1`.
@@ -113,9 +362,110 @@ class ArrayLength:
         >>> a = jm.Placeholder("a", ndim=2)
         >>> N = a.len_at(0, latex="N")
     """
-    def __init__():
+    def __new__(cls, array, axis, *, latex=None, description=None):
+        pass
+
+    def __add__(self, value, /):
+        """
+        Return self+value.
+        """
+        pass
+
+
+    def __mod__(self, value, /):
+        """
+        Return self%value.
+        """
+        pass
+
+
+    def __mul__(self, value, /):
+        """
+        Return self*value.
+        """
         pass
 
+
+    def __neg__(self, /):
+        """
+        -self
+        """
+        pass
+
+
+    def __pow__(self, value, mod=None, /):
+        """
+        Return pow(self, value, mod).
+        """
+        pass
+
+
+    def __radd__(self, value, /):
+        """
+        Return value+self.
+        """
+        pass
+
+
+    def __rmod__(self, value, /):
+        """
+        Return value%self.
+        """
+        pass
+
+
+    def __rmul__(self, value, /):
+        """
+        Return value*self.
+        """
+        pass
+
+
+    def __rpow__(self, value, mod=None, /):
+        """
+        Return pow(value, self, mod).
+        """
+        pass
+
+
+    def __rsub__(self, value, /):
+        """
+        Return value-self.
+        """
+        pass
+
+
+    def __rtruediv__(self, value, /):
+        """
+        Return value/self.
+        """
+        pass
+
+
+    def __sub__(self, value, /):
+        """
+        Return self-value.
+        """
+        pass
+
+
+    def __truediv__(self, value, /):
+        """
+        Return self/value.
+        """
+        pass
+
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
+        pass
+
+
+    array: typing.Any
+    axis: typing.Any
+    description: str
     def set_latex(self, /, latex=None):
         """
         Set the LaTeX representation of the object.
@@ -167,21 +517,102 @@ class BinaryVar:
         >>> x[123]
         BinaryVar(name='x', shape=[NumberLit(value=124)])[NumberLit(value=123)]
     """
-    def __init__(name: str, *, shape=None, latex=None, description=None):
+    def __new__(cls, name: str, *, shape=None, latex=None, description=None):
         pass
 
-    def set_latex(self, /, latex=None):
+    def __add__(self, value, /):
         """
-        Set the LaTeX representation of the object.
-        If the LaTeX representation is not set, the default representation is set.
-        
-        Args:
-            latex (str, optional): LaTeX representation of the object. Defaults to None.
+        Return self+value.
         """
         pass
 
 
-@typing.final
+    def __getitem__(self, key, /):
+        """
+        Return self[key].
+        """
+        pass
+
+
+    def __mul__(self, value, /):
+        """
+        Return self*value.
+        """
+        pass
+
+
+    def __neg__(self, /):
+        """
+        -self
+        """
+        pass
+
+
+    def __pow__(self, value, mod=None, /):
+        """
+        Return pow(self, value, mod).
+        """
+        pass
+
+
+    def __radd__(self, value, /):
+        """
+        Return value+self.
+        """
+        pass
+
+
+    def __rmul__(self, value, /):
+        """
+        Return value*self.
+        """
+        pass
+
+
+    def __rpow__(self, value, mod=None, /):
+        """
+        Return pow(value, self, mod).
+        """
+        pass
+
+
+    def __rsub__(self, value, /):
+        """
+        Return value-self.
+        """
+        pass
+
+
+    def __sub__(self, value, /):
+        """
+        Return self-value.
+        """
+        pass
+
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
+        pass
+
+
+    description: str
+    name: str
+    ndim: int
+    def set_latex(self, /, latex=None):
+        """
+        Set the LaTeX representation of the object.
+        If the LaTeX representation is not set, the default representation is set.
+        
+        Args:
+            latex (str, optional): LaTeX representation of the object. Defaults to None.
+        """
+        pass
+
+
+    shape: tuple
+@typing.final
 class CeilOp:
     """
     A class for representing the ceil operator
@@ -195,9 +626,108 @@ class CeilOp:
     Note:
         The CeilOp class does not have a constructor.
     """
-    def __init__():
+    def __new__(cls):
+        pass
+
+    def __add__(self, value, /):
+        """
+        Return self+value.
+        """
+        pass
+
+
+    def __mod__(self, value, /):
+        """
+        Return self%value.
+        """
+        pass
+
+
+    def __mul__(self, value, /):
+        """
+        Return self*value.
+        """
+        pass
+
+
+    def __neg__(self, /):
+        """
+        -self
+        """
+        pass
+
+
+    def __pow__(self, value, mod=None, /):
+        """
+        Return pow(self, value, mod).
+        """
+        pass
+
+
+    def __radd__(self, value, /):
+        """
+        Return value+self.
+        """
+        pass
+
+
+    def __rmod__(self, value, /):
+        """
+        Return value%self.
+        """
+        pass
+
+
+    def __rmul__(self, value, /):
+        """
+        Return value*self.
+        """
+        pass
+
+
+    def __rpow__(self, value, mod=None, /):
+        """
+        Return pow(value, self, mod).
+        """
+        pass
+
+
+    def __rsub__(self, value, /):
+        """
+        Return value-self.
+        """
+        pass
+
+
+    def __rtruediv__(self, value, /):
+        """
+        Return value/self.
+        """
+        pass
+
+
+    def __sub__(self, value, /):
+        """
+        Return self-value.
+        """
+        pass
+
+
+    def __truediv__(self, value, /):
+        """
+        Return self/value.
+        """
+        pass
+
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
         pass
 
+
+    operand: typing.Any
     def set_latex(self, /, latex=None):
         """
         Set the LaTeX representation of the object.
@@ -261,9 +791,18 @@ class Constraint:
         {'expression': x[i, j] <= 2, 'forall': [i, (j, j != i)]}
         
     """
-    def __init__(name: str, expression, *, forall=None):
+    def __new__(cls, name: str, expression, *, forall=None):
+        pass
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
         pass
 
+
+    expression: typing.Any
+    forall: typing.Any
     def is_equality(self, /):
         """
         Returns true if the constraint is an equality constraint.
@@ -300,14 +839,21 @@ class Constraint:
         pass
 
 
+    left: typing.Any
+    name: str
+    right: typing.Any
+    sense: typing.Any
 @typing.final
 class ConstraintSense:
     """
     Equality of a constraint
     """
-    def __init__():
+    def __new__(cls):
         pass
 
+    EQUAL: ConstraintSense
+    GREATER_THAN_EQUAL: ConstraintSense
+    LESS_THAN_EQUAL: ConstraintSense
 @typing.final
 class ContinuousVar:
     """
@@ -364,9 +910,90 @@ class ContinuousVar:
         >>> x[123]
         ContinuousVar(name='x', shape=[NumberLit(value=124)], lower_bound=NumberLit(value=0), upper_bound=NumberLit(value=2))[NumberLit(value=123)]
     """
-    def __init__(name: str, *, shape=None, lower_bound, upper_bound, latex=None, description=None):
+    def __new__(cls, name: str, *, shape=None, lower_bound, upper_bound, latex=None, description=None):
+        pass
+
+    def __add__(self, value, /):
+        """
+        Return self+value.
+        """
+        pass
+
+
+    def __getitem__(self, key, /):
+        """
+        Return self[key].
+        """
+        pass
+
+
+    def __mul__(self, value, /):
+        """
+        Return self*value.
+        """
+        pass
+
+
+    def __neg__(self, /):
+        """
+        -self
+        """
+        pass
+
+
+    def __pow__(self, value, mod=None, /):
+        """
+        Return pow(self, value, mod).
+        """
+        pass
+
+
+    def __radd__(self, value, /):
+        """
+        Return value+self.
+        """
+        pass
+
+
+    def __rmul__(self, value, /):
+        """
+        Return value*self.
+        """
+        pass
+
+
+    def __rpow__(self, value, mod=None, /):
+        """
+        Return pow(value, self, mod).
+        """
+        pass
+
+
+    def __rsub__(self, value, /):
+        """
+        Return value-self.
+        """
+        pass
+
+
+    def __sub__(self, value, /):
+        """
+        Return self-value.
+        """
+        pass
+
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
         pass
 
+
+    description: str
+    lower_bound: typing.Any
+    name: str
+    ndim: int
     def set_latex(self, /, latex=None):
         """
         Set the LaTeX representation of the object.
@@ -378,6 +1005,8 @@ class ContinuousVar:
         pass
 
 
+    shape: tuple
+    upper_bound: typing.Any
 @typing.final
 class CustomPenaltyTerm:
     """
@@ -428,17 +1057,96 @@ class CustomPenaltyTerm:
         >>> jm.CustomPenaltyTerm("custom penalty term", (x[i,j] - 2)**2, forall=[i, (j, j != i)])  # doctest: +ELLIPSIS
         <jijmodeling.CustomPenaltyTerm object at 0x...>
     """
-    def __init__(name: str, expression, *, forall=None):
+    def __new__(cls, name: str, expression, *, forall=None):
+        pass
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
         pass
 
+
+    expression: typing.Any
+    forall: typing.Any
+    name: str
 @typing.final
 class DataType:
     """
     
     """
-    def __init__():
+    def __new__(cls):
+        pass
+
+    FLOAT: DataType
+    INTEGER: DataType
+@typing.final
+class DummyIndexedVar:
+    """
+    A class for representing a subscripted variable with dummy indices
+    
+    The DummyIndexedVar class is an intermediate representation to support syntactic sugar of sum/prod with slices.
+    
+    Note:
+        The DummyIndexedVar class does not have a constructor.
+    """
+    def __new__(cls):
+        pass
+
+    def prod(self, /):
+        """
+        Take a prod of the decision variable over the elements for which the slice is given and return a ProdOp object.
+        
+        Returns:
+            ProdOp: A ProdOp object taken a prod of the decision variable over the elements for which the slice is given.
+        
+        Note:
+            An automatically created dummy index
+            - has a name of the form `__dummy_{decision_var.name}_{axis}` where `axis` is the axis of the slice.
+            - belongs to a range whose start defaults to 0 and end defaults to the length of the axis.
+            - has description of the form `dummy index at {axis} for {decision_var.name}`.
+            - has latex string of the form `\\ast_{axis}`.
+        
+        Examples:
+            Create a prodOp object taken a prod of the 2-dim binary variable over the 0-th elements for which the slice is given.
+        
+            >>> import jijmodeling as jm
+            >>> n = jm.Placeholder("n")
+            >>> x = jm.BinaryVar("x", shape=(n, n))
+            >>> i = jm.Element("__dummy_x_0", belong_to=n)
+            >>> j = jm.Element("j", belong_to=n)
+            >>> assert jm.is_same(x[:, j].prod(), jm.prod(i, x[i, j]))
+        """
+        pass
+
+
+    def sum(self, /):
+        """
+        Take a sum of the decision variable over the elements for which the slice is given and return a SumOp object.
+        
+        Returns:
+            SumOp: A SumOp object taken a sum of the decision variable over the elements for which the slice is given.
+        
+        Note:
+            An automatically created dummy index
+            - has a name of the form `__dummy_{decision_var.name}_{axis}` where `axis` is the axis of the slice.
+            - belongs to a range whose start defaults to 0 and end defaults to the length of the axis.
+            - has description of the form `dummy index at {axis} for {decision_var.name}`.
+            - has latex string of the form `\\ast_{axis}`.
+        
+        Examples:
+            Create a SumOp object taken a sum of the 2-dim binary variable over the 0-th elements for which the slice is given.
+        
+            >>> import jijmodeling as jm
+            >>> n = jm.Placeholder("n")
+            >>> x = jm.BinaryVar("x", shape=(n, n))
+            >>> i = jm.Element("__dummy_x_0", belong_to=n)
+            >>> j = jm.Element("j", belong_to=n)
+            >>> assert jm.is_same(x[:, j].sum(), jm.sum(i, x[i, j]))
+        """
         pass
 
+
 @typing.final
 class Element:
     """
@@ -450,10 +1158,13 @@ class Element:
     - an index of product $\displaystyle \prod$ (:obj:`ProdOp`)
     - a bound variable of the universal quantifier $\forall$ (:obj:`Forall`)
     
-    It has a set that it belongs to.
-    There are two options for this set:
-    1. A half-open range, where the lower bound is included and the upper bound is excluded
-    2. A `Placeholder`, `Element`, or `Subscript` variable with `ndim` >= 1
+    Elements specify a set to which they belong. The set can be:
+    1. A half-open range, where the lower bound is included and the upper bound is excluded.
+    2. A `Placeholder`, `Element`, or `Subscript` object with `ndim` >= 1.
+    
+    Ranges are generally specified with tuples as `(start, end)`. For
+    convenience, passing a single number or scalar object as the argument is
+    interpreted as the `end` of a range starting from zero.
     
     The index operator (`[]`) of an element with `ndim >= 1` returns a :obj:`Subscript` object.
     
@@ -471,58 +1182,179 @@ class Element:
         description (str, optional): A description of the element.
     
     Examples:
+        Note that `belong_to` is a positional argument, not a keyword
+        argument, and so does not need to be written out. This is done in some
+        of these examples for clarity.
+    
         Create an element that belongs to a half-open range.
     
         >>> import jijmodeling as jm
         >>> i = jm.Element("i", belong_to=(0,10))
     
-        If you pass an object with `ndim` as the `belong_to` argument, the set that the element belongs to is a range with a start of 0 and an end of the object.
+        If you pass a scalar as the `belong_to` argument, the set that the element belongs to is a range starting at 0 going up to that value.
     
         >>> import jijmodeling as jm
-        >>> i = jm.Element("i", belong_to=10)
+        >>> i = jm.Element("i", 10)
         >>> assert jm.is_same(i, jm.Element("i", belong_to=(0,10)))
     
+        The applies not just to numbers, but certain scalars, like `Placeholder` (with `ndim == 0`).
+    
+        >>> import jijmodeling as jm
+        >>> n = jm.Placeholder("N")
+        >>> i = jm.Element("i", n)
+        >>> assert jm.is_same(i, jm.Element("i", belong_to=(0,n)))
+    
         Create an element that belongs to a 1-dimensional placeholder.
     
         >>> import jijmodeling as jm
         >>> E = jm.Placeholder("E", ndim=1)
-        >>> e = jm.Element("e", belong_to=E)
+        >>> e = jm.Element("e", E)
     
         Create a 1-dimensional element with the index of `123`.
     
         >>> import jijmodeling as jm
         >>> a = jm.Placeholder("a", ndim=2)
-        >>> e = jm.Element("e", belong_to=a)
+        >>> e = jm.Element("e", a)
         >>> e[123]
         Element(name='e', belong_to=Placeholder(name='a', ndim=2))[NumberLit(value=123)]
     """
-    def __init__(name: str, *, belong_to, latex=None, description=None):
+    def __new__(cls, name: str, belong_to, *, latex=None, description=None):
         pass
 
-    def len_at(self, /, axis, *, latex=None, description=None):
+    def __add__(self, value, /):
         """
-        
+        Return self+value.
         """
         pass
 
 
-    def set_latex(self, /, latex=None):
+    def __getitem__(self, key, /):
         """
-        Set the LaTeX representation of the object.
-        If the LaTeX representation is not set, the default representation is set.
-        
-        Args:
-            latex (str, optional): LaTeX representation of the object. Defaults to None.
+        Return self[key].
         """
         pass
 
 
-@typing.final
-class EqualOp:
-    """
-    A class for representing the equal operator
-    
-    The EqualOp class is used to represent the equal operator (`==`).
+    def __mod__(self, value, /):
+        """
+        Return self%value.
+        """
+        pass
+
+
+    def __mul__(self, value, /):
+        """
+        Return self*value.
+        """
+        pass
+
+
+    def __neg__(self, /):
+        """
+        -self
+        """
+        pass
+
+
+    def __pow__(self, value, mod=None, /):
+        """
+        Return pow(self, value, mod).
+        """
+        pass
+
+
+    def __radd__(self, value, /):
+        """
+        Return value+self.
+        """
+        pass
+
+
+    def __rmod__(self, value, /):
+        """
+        Return value%self.
+        """
+        pass
+
+
+    def __rmul__(self, value, /):
+        """
+        Return value*self.
+        """
+        pass
+
+
+    def __rpow__(self, value, mod=None, /):
+        """
+        Return pow(value, self, mod).
+        """
+        pass
+
+
+    def __rsub__(self, value, /):
+        """
+        Return value-self.
+        """
+        pass
+
+
+    def __rtruediv__(self, value, /):
+        """
+        Return value/self.
+        """
+        pass
+
+
+    def __sub__(self, value, /):
+        """
+        Return self-value.
+        """
+        pass
+
+
+    def __truediv__(self, value, /):
+        """
+        Return self/value.
+        """
+        pass
+
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
+        pass
+
+
+    belong_to: typing.Any
+    description: str
+    def len_at(self, /, axis, *, latex=None, description=None):
+        """
+        
+        """
+        pass
+
+
+    name: str
+    ndim: int
+    def set_latex(self, /, latex=None):
+        """
+        Set the LaTeX representation of the object.
+        If the LaTeX representation is not set, the default representation is set.
+        
+        Args:
+            latex (str, optional): LaTeX representation of the object. Defaults to None.
+        """
+        pass
+
+
+    shape: tuple
+@typing.final
+class EqualOp:
+    """
+    A class for representing the equal operator
+    
+    The EqualOp class is used to represent the equal operator (`==`).
     The number of dimensions of each operand is zero.
     
     Attributes:
@@ -532,9 +1364,60 @@ class EqualOp:
     Note:
         The EqualOp class does not have a constructor.
     """
-    def __init__():
+    def __new__(cls):
+        pass
+
+    def __and__(self, value, /):
+        """
+        Return self&value.
+        """
+        pass
+
+
+    def __or__(self, value, /):
+        """
+        Return self|value.
+        """
+        pass
+
+
+    def __rand__(self, value, /):
+        """
+        Return value&self.
+        """
+        pass
+
+
+    def __ror__(self, value, /):
+        """
+        Return value|self.
+        """
+        pass
+
+
+    def __rxor__(self, value, /):
+        """
+        Return value^self.
+        """
+        pass
+
+
+    def __xor__(self, value, /):
+        """
+        Return self^value.
+        """
+        pass
+
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
         pass
 
+
+    left: typing.Any
+    right: typing.Any
     def set_latex(self, /, latex=None):
         """
         Set the LaTeX representation of the object.
@@ -561,9 +1444,15 @@ class Evaluation:
         constraint_values (numpy.ndarray): The constraint value of each sample.
         penalty (dict[str, numpy.ndarray]): The penalty of each sample.
     """
-    def __init__(energy=Ellipsis, objective=Ellipsis, constraint_violations=Ellipsis, constraint_forall=Ellipsis, constraint_values=Ellipsis, penalty=Ellipsis):
+    def __new__(cls, energy=None, objective=None, constraint_violations=None, constraint_forall=None, constraint_values=None, penalty=None):
         pass
 
+    constraint_expr_values: typing.Any
+    constraint_forall: typing.Any
+    constraint_values: typing.Any
+    constraint_violations: typing.Any
+    energy: typing.Any
+    @staticmethod
     def from_dict(dict):
         """
         Create a Evaluation object from the given dict.
@@ -576,6 +1465,7 @@ class Evaluation:
         pass
 
 
+    @staticmethod
     def from_json(json):
         """
         Create a Evaluation object from the JSON string.
@@ -589,6 +1479,8 @@ class Evaluation:
         pass
 
 
+    objective: typing.Any
+    penalty: typing.Any
     def to_dict(self, /):
         """
         Convert into a dict.
@@ -636,9 +1528,108 @@ class FloorOp:
     Note:
         The FloorOp class does not have a constructor.
     """
-    def __init__():
+    def __new__(cls):
+        pass
+
+    def __add__(self, value, /):
+        """
+        Return self+value.
+        """
+        pass
+
+
+    def __mod__(self, value, /):
+        """
+        Return self%value.
+        """
+        pass
+
+
+    def __mul__(self, value, /):
+        """
+        Return self*value.
+        """
+        pass
+
+
+    def __neg__(self, /):
+        """
+        -self
+        """
+        pass
+
+
+    def __pow__(self, value, mod=None, /):
+        """
+        Return pow(self, value, mod).
+        """
+        pass
+
+
+    def __radd__(self, value, /):
+        """
+        Return value+self.
+        """
+        pass
+
+
+    def __rmod__(self, value, /):
+        """
+        Return value%self.
+        """
+        pass
+
+
+    def __rmul__(self, value, /):
+        """
+        Return value*self.
+        """
+        pass
+
+
+    def __rpow__(self, value, mod=None, /):
+        """
+        Return pow(value, self, mod).
+        """
+        pass
+
+
+    def __rsub__(self, value, /):
+        """
+        Return value-self.
+        """
+        pass
+
+
+    def __rtruediv__(self, value, /):
+        """
+        Return value/self.
+        """
+        pass
+
+
+    def __sub__(self, value, /):
+        """
+        Return self-value.
+        """
+        pass
+
+
+    def __truediv__(self, value, /):
+        """
+        Return self/value.
+        """
+        pass
+
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
         pass
 
+
+    operand: typing.Any
     def set_latex(self, /, latex=None):
         """
         Set the LaTeX representation of the object.
@@ -665,9 +1656,60 @@ class GreaterThanEqualOp:
     Note:
         The GreaterThanEqualOp class does not have a constructor.
     """
-    def __init__():
+    def __new__(cls):
+        pass
+
+    def __and__(self, value, /):
+        """
+        Return self&value.
+        """
+        pass
+
+
+    def __or__(self, value, /):
+        """
+        Return self|value.
+        """
+        pass
+
+
+    def __rand__(self, value, /):
+        """
+        Return value&self.
+        """
+        pass
+
+
+    def __ror__(self, value, /):
+        """
+        Return value|self.
+        """
+        pass
+
+
+    def __rxor__(self, value, /):
+        """
+        Return value^self.
+        """
+        pass
+
+
+    def __xor__(self, value, /):
+        """
+        Return self^value.
+        """
+        pass
+
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
         pass
 
+
+    left: typing.Any
+    right: typing.Any
     def set_latex(self, /, latex=None):
         """
         Set the LaTeX representation of the object.
@@ -694,37 +1736,88 @@ class GreaterThanOp:
     Note:
         The GreaterThanOp class does not have a constructor.
     """
-    def __init__():
+    def __new__(cls):
         pass
 
-    def set_latex(self, /, latex=None):
+    def __and__(self, value, /):
         """
-        Set the LaTeX representation of the object.
-        If the LaTeX representation is not set, the default representation is set.
-        
-        Args:
-            latex (str, optional): LaTeX representation of the object. Defaults to None.
+        Return self&value.
         """
         pass
 
 
-@typing.final
-class IntegerVar:
-    """
-    A class for creating an integer variable
-    
-    The IntegerVar class is used to create an integer variable.
-    The lower and upper bounds of the variable can be specified by:
-    - an integer value
-    - a float value
-    - a scalar expression that does not contains any decision variable
-    - a Placeholder object whose dimensionality is equal to that of this variable.
-    - a subscripted variable whose dimensionality is equal to that of this variable.
-    
-    The index operator (`[]`) of a variable with `ndim >= 1` returns a :obj:`Subscript` object.
-    
-    Attributes:
-        name (str): A name of the integer variable.
+    def __or__(self, value, /):
+        """
+        Return self|value.
+        """
+        pass
+
+
+    def __rand__(self, value, /):
+        """
+        Return value&self.
+        """
+        pass
+
+
+    def __ror__(self, value, /):
+        """
+        Return value|self.
+        """
+        pass
+
+
+    def __rxor__(self, value, /):
+        """
+        Return value^self.
+        """
+        pass
+
+
+    def __xor__(self, value, /):
+        """
+        Return self^value.
+        """
+        pass
+
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
+        pass
+
+
+    left: typing.Any
+    right: typing.Any
+    def set_latex(self, /, latex=None):
+        """
+        Set the LaTeX representation of the object.
+        If the LaTeX representation is not set, the default representation is set.
+        
+        Args:
+            latex (str, optional): LaTeX representation of the object. Defaults to None.
+        """
+        pass
+
+
+@typing.final
+class IntegerVar:
+    """
+    A class for creating an integer variable
+    
+    The IntegerVar class is used to create an integer variable.
+    The lower and upper bounds of the variable can be specified by:
+    - an integer value
+    - a float value
+    - a scalar expression that does not contains any decision variable
+    - a Placeholder object whose dimensionality is equal to that of this variable.
+    - a subscripted variable whose dimensionality is equal to that of this variable.
+    
+    The index operator (`[]`) of a variable with `ndim >= 1` returns a :obj:`Subscript` object.
+    
+    Attributes:
+        name (str): A name of the integer variable.
         shape (tuple): A tuple with the size of each dimension of the integer variable. Empty if the variable is not multi-dimensional.
         lower_bound: The lower bound of the variable.
         upper_bound: The upper bound of the variable.
@@ -764,9 +1857,90 @@ class IntegerVar:
         >>> x[123]
         IntegerVar(name='x', shape=[NumberLit(value=124)], lower_bound=NumberLit(value=0), upper_bound=NumberLit(value=2))[NumberLit(value=123)]
     """
-    def __init__(name: str, *, shape=None, lower_bound, upper_bound, latex=None, description=None):
+    def __new__(cls, name: str, *, shape=None, lower_bound, upper_bound, latex=None, description=None):
+        pass
+
+    def __add__(self, value, /):
+        """
+        Return self+value.
+        """
+        pass
+
+
+    def __getitem__(self, key, /):
+        """
+        Return self[key].
+        """
+        pass
+
+
+    def __mul__(self, value, /):
+        """
+        Return self*value.
+        """
+        pass
+
+
+    def __neg__(self, /):
+        """
+        -self
+        """
+        pass
+
+
+    def __pow__(self, value, mod=None, /):
+        """
+        Return pow(self, value, mod).
+        """
+        pass
+
+
+    def __radd__(self, value, /):
+        """
+        Return value+self.
+        """
+        pass
+
+
+    def __rmul__(self, value, /):
+        """
+        Return value*self.
+        """
+        pass
+
+
+    def __rpow__(self, value, mod=None, /):
+        """
+        Return pow(value, self, mod).
+        """
+        pass
+
+
+    def __rsub__(self, value, /):
+        """
+        Return value-self.
+        """
+        pass
+
+
+    def __sub__(self, value, /):
+        """
+        Return self-value.
+        """
         pass
 
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
+        pass
+
+
+    description: str
+    lower_bound: typing.Any
+    name: str
+    ndim: int
     def set_latex(self, /, latex=None):
         """
         Set the LaTeX representation of the object.
@@ -778,6 +1952,8 @@ class IntegerVar:
         pass
 
 
+    shape: tuple
+    upper_bound: typing.Any
 @typing.final
 class LessThanEqualOp:
     """
@@ -793,9 +1969,60 @@ class LessThanEqualOp:
     Note:
         The LessThanEqualOp class does not have a constructor.
     """
-    def __init__():
+    def __new__(cls):
+        pass
+
+    def __and__(self, value, /):
+        """
+        Return self&value.
+        """
+        pass
+
+
+    def __or__(self, value, /):
+        """
+        Return self|value.
+        """
+        pass
+
+
+    def __rand__(self, value, /):
+        """
+        Return value&self.
+        """
+        pass
+
+
+    def __ror__(self, value, /):
+        """
+        Return value|self.
+        """
+        pass
+
+
+    def __rxor__(self, value, /):
+        """
+        Return value^self.
+        """
+        pass
+
+
+    def __xor__(self, value, /):
+        """
+        Return self^value.
+        """
         pass
 
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
+        pass
+
+
+    left: typing.Any
+    right: typing.Any
     def set_latex(self, /, latex=None):
         """
         Set the LaTeX representation of the object.
@@ -822,9 +2049,60 @@ class LessThanOp:
     Note:
         The LessThanOp class does not have a constructor.
     """
-    def __init__():
+    def __new__(cls):
+        pass
+
+    def __and__(self, value, /):
+        """
+        Return self&value.
+        """
+        pass
+
+
+    def __or__(self, value, /):
+        """
+        Return self|value.
+        """
+        pass
+
+
+    def __rand__(self, value, /):
+        """
+        Return value&self.
+        """
+        pass
+
+
+    def __ror__(self, value, /):
+        """
+        Return value|self.
+        """
         pass
 
+
+    def __rxor__(self, value, /):
+        """
+        Return value^self.
+        """
+        pass
+
+
+    def __xor__(self, value, /):
+        """
+        Return self^value.
+        """
+        pass
+
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
+        pass
+
+
+    left: typing.Any
+    right: typing.Any
     def set_latex(self, /, latex=None):
         """
         Set the LaTeX representation of the object.
@@ -850,65 +2128,362 @@ class LnOp:
     Note:
         The LnOp class does not have a constructor.
     """
-    def __init__():
+    def __new__(cls):
+        pass
+
+    def __add__(self, value, /):
+        """
+        Return self+value.
+        """
+        pass
+
+
+    def __mod__(self, value, /):
+        """
+        Return self%value.
+        """
+        pass
+
+
+    def __mul__(self, value, /):
+        """
+        Return self*value.
+        """
+        pass
+
+
+    def __neg__(self, /):
+        """
+        -self
+        """
+        pass
+
+
+    def __pow__(self, value, mod=None, /):
+        """
+        Return pow(self, value, mod).
+        """
+        pass
+
+
+    def __radd__(self, value, /):
+        """
+        Return value+self.
+        """
+        pass
+
+
+    def __rmod__(self, value, /):
+        """
+        Return value%self.
+        """
+        pass
+
+
+    def __rmul__(self, value, /):
+        """
+        Return value*self.
+        """
+        pass
+
+
+    def __rpow__(self, value, mod=None, /):
+        """
+        Return pow(value, self, mod).
+        """
+        pass
+
+
+    def __rsub__(self, value, /):
+        """
+        Return value-self.
+        """
+        pass
+
+
+    def __rtruediv__(self, value, /):
+        """
+        Return value/self.
+        """
+        pass
+
+
+    def __sub__(self, value, /):
+        """
+        Return self-value.
+        """
+        pass
+
+
+    def __truediv__(self, value, /):
+        """
+        Return self/value.
+        """
+        pass
+
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
+        pass
+
+
+    operand: typing.Any
+    def set_latex(self, /, latex=None):
+        """
+        Set the LaTeX representation of the object.
+        If the LaTeX representation is not set, the default representation is set.
+        
+        Args:
+            latex (str, optional): LaTeX representation of the object. Defaults to None.
+        """
+        pass
+
+
+@typing.final
+class Log10Op:
+    """
+    A class for representing the base 10 logarithm
+    
+    The Log10Op class is used to represent the base 10 logarithm.
+    The number of dimensions of the operand is zero.
+    
+    Attributes:
+        operand: The operand.
+    
+    Note:
+        The Log10Op class does not have a constructor.
+    """
+    def __new__(cls):
+        pass
+
+    def __add__(self, value, /):
+        """
+        Return self+value.
+        """
+        pass
+
+
+    def __mod__(self, value, /):
+        """
+        Return self%value.
+        """
+        pass
+
+
+    def __mul__(self, value, /):
+        """
+        Return self*value.
+        """
+        pass
+
+
+    def __neg__(self, /):
+        """
+        -self
+        """
+        pass
+
+
+    def __pow__(self, value, mod=None, /):
+        """
+        Return pow(self, value, mod).
+        """
+        pass
+
+
+    def __radd__(self, value, /):
+        """
+        Return value+self.
+        """
+        pass
+
+
+    def __rmod__(self, value, /):
+        """
+        Return value%self.
+        """
+        pass
+
+
+    def __rmul__(self, value, /):
+        """
+        Return value*self.
+        """
+        pass
+
+
+    def __rpow__(self, value, mod=None, /):
+        """
+        Return pow(value, self, mod).
+        """
+        pass
+
+
+    def __rsub__(self, value, /):
+        """
+        Return value-self.
+        """
+        pass
+
+
+    def __rtruediv__(self, value, /):
+        """
+        Return value/self.
+        """
+        pass
+
+
+    def __sub__(self, value, /):
+        """
+        Return self-value.
+        """
+        pass
+
+
+    def __truediv__(self, value, /):
+        """
+        Return self/value.
+        """
+        pass
+
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
+        pass
+
+
+    operand: typing.Any
+    def set_latex(self, /, latex=None):
+        """
+        Set the LaTeX representation of the object.
+        If the LaTeX representation is not set, the default representation is set.
+        
+        Args:
+            latex (str, optional): LaTeX representation of the object. Defaults to None.
+        """
+        pass
+
+
+@typing.final
+class Log2Op:
+    """
+    A class for representing the base 2 logarithm
+    
+    The Log2Op class is used to represent the base 2 logarithm.
+    The number of dimensions of the operand is zero.
+    
+    Attributes:
+        operand: The operand.
+    
+    Note:
+        The Log2Op class does not have a constructor.
+    """
+    def __new__(cls):
+        pass
+
+    def __add__(self, value, /):
+        """
+        Return self+value.
+        """
+        pass
+
+
+    def __mod__(self, value, /):
+        """
+        Return self%value.
+        """
+        pass
+
+
+    def __mul__(self, value, /):
+        """
+        Return self*value.
+        """
+        pass
+
+
+    def __neg__(self, /):
+        """
+        -self
+        """
+        pass
+
+
+    def __pow__(self, value, mod=None, /):
+        """
+        Return pow(self, value, mod).
+        """
+        pass
+
+
+    def __radd__(self, value, /):
+        """
+        Return value+self.
+        """
+        pass
+
+
+    def __rmod__(self, value, /):
+        """
+        Return value%self.
+        """
+        pass
+
+
+    def __rmul__(self, value, /):
+        """
+        Return value*self.
+        """
+        pass
+
+
+    def __rpow__(self, value, mod=None, /):
+        """
+        Return pow(value, self, mod).
+        """
+        pass
+
+
+    def __rsub__(self, value, /):
+        """
+        Return value-self.
+        """
         pass
 
-    def set_latex(self, /, latex=None):
+
+    def __rtruediv__(self, value, /):
         """
-        Set the LaTeX representation of the object.
-        If the LaTeX representation is not set, the default representation is set.
-        
-        Args:
-            latex (str, optional): LaTeX representation of the object. Defaults to None.
+        Return value/self.
         """
         pass
 
 
-@typing.final
-class Log10Op:
-    """
-    A class for representing the base 10 logarithm
-    
-    The Log10Op class is used to represent the base 10 logarithm.
-    The number of dimensions of the operand is zero.
-    
-    Attributes:
-        operand: The operand.
-    
-    Note:
-        The Log10Op class does not have a constructor.
-    """
-    def __init__():
+    def __sub__(self, value, /):
+        """
+        Return self-value.
+        """
         pass
 
-    def set_latex(self, /, latex=None):
+
+    def __truediv__(self, value, /):
         """
-        Set the LaTeX representation of the object.
-        If the LaTeX representation is not set, the default representation is set.
-        
-        Args:
-            latex (str, optional): LaTeX representation of the object. Defaults to None.
+        Return self/value.
         """
         pass
 
 
-@typing.final
-class Log2Op:
-    """
-    A class for representing the base 2 logarithm
-    
-    The Log2Op class is used to represent the base 2 logarithm.
-    The number of dimensions of the operand is zero.
-    
-    Attributes:
-        operand: The operand.
-    
-    Note:
-        The Log2Op class does not have a constructor.
-    """
-    def __init__():
+    def _repr_latex_(self, /):
+        """
+        
+        """
         pass
 
+
+    operand: typing.Any
     def set_latex(self, /, latex=None):
         """
         Set the LaTeX representation of the object.
@@ -935,9 +2510,107 @@ class MaxOp:
         The MaxOp class does not have a constructor. Its intended
         instantiation method is by calling the `max` function.
     """
-    def __init__():
+    def __new__(cls):
+        pass
+
+    def __add__(self, value, /):
+        """
+        Return self+value.
+        """
+        pass
+
+
+    def __mod__(self, value, /):
+        """
+        Return self%value.
+        """
+        pass
+
+
+    def __mul__(self, value, /):
+        """
+        Return self*value.
+        """
+        pass
+
+
+    def __neg__(self, /):
+        """
+        -self
+        """
+        pass
+
+
+    def __pow__(self, value, mod=None, /):
+        """
+        Return pow(self, value, mod).
+        """
+        pass
+
+
+    def __radd__(self, value, /):
+        """
+        Return value+self.
+        """
+        pass
+
+
+    def __rmod__(self, value, /):
+        """
+        Return value%self.
+        """
+        pass
+
+
+    def __rmul__(self, value, /):
+        """
+        Return value*self.
+        """
+        pass
+
+
+    def __rpow__(self, value, mod=None, /):
+        """
+        Return pow(value, self, mod).
+        """
+        pass
+
+
+    def __rsub__(self, value, /):
+        """
+        Return value-self.
+        """
+        pass
+
+
+    def __rtruediv__(self, value, /):
+        """
+        Return value/self.
+        """
+        pass
+
+
+    def __sub__(self, value, /):
+        """
+        Return self-value.
+        """
+        pass
+
+
+    def __truediv__(self, value, /):
+        """
+        Return self/value.
+        """
+        pass
+
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
         pass
 
+
     def set_latex(self, /, latex=None):
         """
         Set the LaTeX representation of the object.
@@ -949,6 +2622,7 @@ class MaxOp:
         pass
 
 
+    terms: typing.Any
 @typing.final
 class MeasuringTime:
     """
@@ -959,9 +2633,10 @@ class MeasuringTime:
         system (SystemTime): Time to measure system time.
         total (float, optional): Total time to solve the problem. Defaults to None.
     """
-    def __init__(solve=Ellipsis, system=Ellipsis, total=None):
+    def __new__(cls, solve=None, system=None, total=None):
         pass
 
+    @staticmethod
     def from_dict(dict):
         """
         Create a MeasuringTime object from the given dict.
@@ -977,6 +2652,7 @@ class MeasuringTime:
         pass
 
 
+    @staticmethod
     def from_json(json):
         """
         Create a MeasuringTime object from the JSON string.
@@ -990,6 +2666,8 @@ class MeasuringTime:
         pass
 
 
+    solve: typing.Any
+    system: typing.Any
     def to_dict(self, /):
         """
         Convert into a dict.
@@ -1013,6 +2691,7 @@ class MeasuringTime:
         pass
 
 
+    total: typing.Any
 @typing.final
 class MinOp:
     """
@@ -1028,9 +2707,107 @@ class MinOp:
         The MinOp class does not have a constructor. Its intended
         instantiation method is by calling the `min` function.
     """
-    def __init__():
+    def __new__(cls):
+        pass
+
+    def __add__(self, value, /):
+        """
+        Return self+value.
+        """
+        pass
+
+
+    def __mod__(self, value, /):
+        """
+        Return self%value.
+        """
+        pass
+
+
+    def __mul__(self, value, /):
+        """
+        Return self*value.
+        """
+        pass
+
+
+    def __neg__(self, /):
+        """
+        -self
+        """
+        pass
+
+
+    def __pow__(self, value, mod=None, /):
+        """
+        Return pow(self, value, mod).
+        """
+        pass
+
+
+    def __radd__(self, value, /):
+        """
+        Return value+self.
+        """
+        pass
+
+
+    def __rmod__(self, value, /):
+        """
+        Return value%self.
+        """
+        pass
+
+
+    def __rmul__(self, value, /):
+        """
+        Return value*self.
+        """
+        pass
+
+
+    def __rpow__(self, value, mod=None, /):
+        """
+        Return pow(value, self, mod).
+        """
+        pass
+
+
+    def __rsub__(self, value, /):
+        """
+        Return value-self.
+        """
+        pass
+
+
+    def __rtruediv__(self, value, /):
+        """
+        Return value/self.
+        """
+        pass
+
+
+    def __sub__(self, value, /):
+        """
+        Return self-value.
+        """
+        pass
+
+
+    def __truediv__(self, value, /):
+        """
+        Return self/value.
+        """
         pass
 
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
+        pass
+
+
     def set_latex(self, /, latex=None):
         """
         Set the LaTeX representation of the object.
@@ -1042,6 +2819,7 @@ class MinOp:
         pass
 
 
+    terms: typing.Any
 @typing.final
 class ModOp:
     """
@@ -1057,9 +2835,109 @@ class ModOp:
     Note:
         The ModOp class does not have a constructor.
     """
-    def __init__():
+    def __new__(cls):
+        pass
+
+    def __add__(self, value, /):
+        """
+        Return self+value.
+        """
+        pass
+
+
+    def __mod__(self, value, /):
+        """
+        Return self%value.
+        """
+        pass
+
+
+    def __mul__(self, value, /):
+        """
+        Return self*value.
+        """
+        pass
+
+
+    def __neg__(self, /):
+        """
+        -self
+        """
+        pass
+
+
+    def __pow__(self, value, mod=None, /):
+        """
+        Return pow(self, value, mod).
+        """
+        pass
+
+
+    def __radd__(self, value, /):
+        """
+        Return value+self.
+        """
+        pass
+
+
+    def __rmod__(self, value, /):
+        """
+        Return value%self.
+        """
+        pass
+
+
+    def __rmul__(self, value, /):
+        """
+        Return value*self.
+        """
+        pass
+
+
+    def __rpow__(self, value, mod=None, /):
+        """
+        Return pow(value, self, mod).
+        """
+        pass
+
+
+    def __rsub__(self, value, /):
+        """
+        Return value-self.
+        """
+        pass
+
+
+    def __rtruediv__(self, value, /):
+        """
+        Return value/self.
+        """
+        pass
+
+
+    def __sub__(self, value, /):
+        """
+        Return self-value.
+        """
+        pass
+
+
+    def __truediv__(self, value, /):
+        """
+        Return self/value.
+        """
+        pass
+
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
         pass
 
+
+    left: typing.Any
+    right: typing.Any
     def set_latex(self, /, latex=None):
         """
         Set the LaTeX representation of the object.
@@ -1072,13 +2950,14 @@ class ModOp:
 
 
 @typing.final
-class ModelingError:
+class ModelingError(BaseException):
     """
     Common base class for all non-exit exceptions.
     """
-    def __init__():
+    def __new__(cls):
         pass
 
+    args: typing.Any
     def with_traceback():
         """
         Exception.with_traceback(tb) --
@@ -1104,9 +2983,107 @@ class MulOp:
         instantiation method is by calling the multiplication operation on other
         expressions.
     """
-    def __init__():
+    def __new__(cls):
+        pass
+
+    def __add__(self, value, /):
+        """
+        Return self+value.
+        """
+        pass
+
+
+    def __mod__(self, value, /):
+        """
+        Return self%value.
+        """
+        pass
+
+
+    def __mul__(self, value, /):
+        """
+        Return self*value.
+        """
+        pass
+
+
+    def __neg__(self, /):
+        """
+        -self
+        """
+        pass
+
+
+    def __pow__(self, value, mod=None, /):
+        """
+        Return pow(self, value, mod).
+        """
+        pass
+
+
+    def __radd__(self, value, /):
+        """
+        Return value+self.
+        """
+        pass
+
+
+    def __rmod__(self, value, /):
+        """
+        Return value%self.
+        """
+        pass
+
+
+    def __rmul__(self, value, /):
+        """
+        Return value*self.
+        """
+        pass
+
+
+    def __rpow__(self, value, mod=None, /):
+        """
+        Return pow(value, self, mod).
+        """
+        pass
+
+
+    def __rsub__(self, value, /):
+        """
+        Return value-self.
+        """
+        pass
+
+
+    def __rtruediv__(self, value, /):
+        """
+        Return value/self.
+        """
+        pass
+
+
+    def __sub__(self, value, /):
+        """
+        Return self-value.
+        """
+        pass
+
+
+    def __truediv__(self, value, /):
+        """
+        Return self/value.
+        """
+        pass
+
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
         pass
 
+
     def set_latex(self, /, latex=None):
         """
         Set the LaTeX representation of the object.
@@ -1118,6 +3095,7 @@ class MulOp:
         pass
 
 
+    terms: typing.Any
 @typing.final
 class NotEqualOp:
     """
@@ -1133,9 +3111,60 @@ class NotEqualOp:
     Note:
         The NotEqualOp class does not have a constructor.
     """
-    def __init__():
+    def __new__(cls):
+        pass
+
+    def __and__(self, value, /):
+        """
+        Return self&value.
+        """
+        pass
+
+
+    def __or__(self, value, /):
+        """
+        Return self|value.
+        """
+        pass
+
+
+    def __rand__(self, value, /):
+        """
+        Return value&self.
+        """
+        pass
+
+
+    def __ror__(self, value, /):
+        """
+        Return value|self.
+        """
         pass
 
+
+    def __rxor__(self, value, /):
+        """
+        Return value^self.
+        """
+        pass
+
+
+    def __xor__(self, value, /):
+        """
+        Return self^value.
+        """
+        pass
+
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
+        pass
+
+
+    left: typing.Any
+    right: typing.Any
     def set_latex(self, /, latex=None):
         """
         Set the LaTeX representation of the object.
@@ -1180,9 +3209,109 @@ class NumberLit:
         >>> assert v.value == 1.23
         >>> assert v.dtype == jm.DataType.FLOAT
     """
-    def __init__(value):
+    def __new__(cls, value):
+        pass
+
+    def __add__(self, value, /):
+        """
+        Return self+value.
+        """
+        pass
+
+
+    def __mod__(self, value, /):
+        """
+        Return self%value.
+        """
+        pass
+
+
+    def __mul__(self, value, /):
+        """
+        Return self*value.
+        """
+        pass
+
+
+    def __neg__(self, /):
+        """
+        -self
+        """
+        pass
+
+
+    def __pow__(self, value, mod=None, /):
+        """
+        Return pow(self, value, mod).
+        """
+        pass
+
+
+    def __radd__(self, value, /):
+        """
+        Return value+self.
+        """
+        pass
+
+
+    def __rmod__(self, value, /):
+        """
+        Return value%self.
+        """
+        pass
+
+
+    def __rmul__(self, value, /):
+        """
+        Return value*self.
+        """
+        pass
+
+
+    def __rpow__(self, value, mod=None, /):
+        """
+        Return pow(value, self, mod).
+        """
+        pass
+
+
+    def __rsub__(self, value, /):
+        """
+        Return value-self.
+        """
+        pass
+
+
+    def __rtruediv__(self, value, /):
+        """
+        Return value/self.
+        """
+        pass
+
+
+    def __sub__(self, value, /):
+        """
+        Return self-value.
+        """
+        pass
+
+
+    def __truediv__(self, value, /):
+        """
+        Return self/value.
+        """
+        pass
+
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
         pass
 
+
+    dtype: typing.Any
+    value: typing.Any
 @typing.final
 class OrOp:
     """
@@ -1198,9 +3327,58 @@ class OrOp:
     Note:
         The OrOp class does not have a constructor.
     """
-    def __init__():
+    def __new__(cls):
+        pass
+
+    def __and__(self, value, /):
+        """
+        Return self&value.
+        """
+        pass
+
+
+    def __or__(self, value, /):
+        """
+        Return self|value.
+        """
+        pass
+
+
+    def __rand__(self, value, /):
+        """
+        Return value&self.
+        """
+        pass
+
+
+    def __ror__(self, value, /):
+        """
+        Return value|self.
+        """
+        pass
+
+
+    def __rxor__(self, value, /):
+        """
+        Return value^self.
+        """
         pass
 
+
+    def __xor__(self, value, /):
+        """
+        Return self^value.
+        """
+        pass
+
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
+        pass
+
+
     def set_latex(self, /, latex=None):
         """
         Set the LaTeX representation of the object.
@@ -1212,6 +3390,7 @@ class OrOp:
         pass
 
 
+    terms: typing.Any
 @typing.final
 class Placeholder:
     """
@@ -1257,9 +3436,115 @@ class Placeholder:
         >>> a[123]
         Placeholder(name='a', ndim=2)[NumberLit(value=123)]
     """
-    def __init__(name: str, *, ndim=0, latex=None, description=None):
+    def __new__(cls, name: str, *, ndim=0, latex=None, description=None):
+        pass
+
+    def __add__(self, value, /):
+        """
+        Return self+value.
+        """
+        pass
+
+
+    def __getitem__(self, key, /):
+        """
+        Return self[key].
+        """
+        pass
+
+
+    def __mod__(self, value, /):
+        """
+        Return self%value.
+        """
+        pass
+
+
+    def __mul__(self, value, /):
+        """
+        Return self*value.
+        """
+        pass
+
+
+    def __neg__(self, /):
+        """
+        -self
+        """
+        pass
+
+
+    def __pow__(self, value, mod=None, /):
+        """
+        Return pow(self, value, mod).
+        """
+        pass
+
+
+    def __radd__(self, value, /):
+        """
+        Return value+self.
+        """
+        pass
+
+
+    def __rmod__(self, value, /):
+        """
+        Return value%self.
+        """
+        pass
+
+
+    def __rmul__(self, value, /):
+        """
+        Return value*self.
+        """
+        pass
+
+
+    def __rpow__(self, value, mod=None, /):
+        """
+        Return pow(value, self, mod).
+        """
+        pass
+
+
+    def __rsub__(self, value, /):
+        """
+        Return value-self.
+        """
+        pass
+
+
+    def __rtruediv__(self, value, /):
+        """
+        Return value/self.
+        """
+        pass
+
+
+    def __sub__(self, value, /):
+        """
+        Return self-value.
+        """
+        pass
+
+
+    def __truediv__(self, value, /):
+        """
+        Return self/value.
+        """
+        pass
+
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
         pass
 
+
+    description: str
     def len_at(self, /, axis, *, latex=None, description=None):
         """
         
@@ -1267,6 +3552,8 @@ class Placeholder:
         pass
 
 
+    name: str
+    ndim: int
     def set_latex(self, /, latex=None):
         """
         Set the LaTeX representation of the object.
@@ -1278,6 +3565,7 @@ class Placeholder:
         pass
 
 
+    shape: tuple
 @typing.final
 class PowOp:
     """
@@ -1293,9 +3581,109 @@ class PowOp:
     Note:
         The PowOp class does not have a constructor.
     """
-    def __init__():
+    def __new__(cls):
+        pass
+
+    def __add__(self, value, /):
+        """
+        Return self+value.
+        """
+        pass
+
+
+    def __mod__(self, value, /):
+        """
+        Return self%value.
+        """
+        pass
+
+
+    def __mul__(self, value, /):
+        """
+        Return self*value.
+        """
+        pass
+
+
+    def __neg__(self, /):
+        """
+        -self
+        """
+        pass
+
+
+    def __pow__(self, value, mod=None, /):
+        """
+        Return pow(self, value, mod).
+        """
         pass
 
+
+    def __radd__(self, value, /):
+        """
+        Return value+self.
+        """
+        pass
+
+
+    def __rmod__(self, value, /):
+        """
+        Return value%self.
+        """
+        pass
+
+
+    def __rmul__(self, value, /):
+        """
+        Return value*self.
+        """
+        pass
+
+
+    def __rpow__(self, value, mod=None, /):
+        """
+        Return pow(value, self, mod).
+        """
+        pass
+
+
+    def __rsub__(self, value, /):
+        """
+        Return value-self.
+        """
+        pass
+
+
+    def __rtruediv__(self, value, /):
+        """
+        Return value/self.
+        """
+        pass
+
+
+    def __sub__(self, value, /):
+        """
+        Return self-value.
+        """
+        pass
+
+
+    def __truediv__(self, value, /):
+        """
+        Return self/value.
+        """
+        pass
+
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
+        pass
+
+
+    base: typing.Any
+    exponent: typing.Any
     def set_latex(self, /, latex=None):
         """
         Set the LaTeX representation of the object.
@@ -1327,17 +3715,31 @@ class Problem:
         name (str): A name of the optimization problem.
         sense (optional): Sense of the optimization problem. Defaults to :obj:`ProblemSense.MINIMIZE`.
     """
-    def __init__(name: str, *, sense=Ellipsis):
+    def __new__(cls, name: str, *, sense=Ellipsis):
+        pass
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
         pass
 
+
+    constraints: typing.Any
+    custom_penalty_terms: typing.Any
+    name: str
+    objective: typing.Any
+    sense: typing.Any
 @typing.final
 class ProblemSense:
     """
     An optimization sense
     """
-    def __init__():
+    def __new__(cls):
         pass
 
+    MAXIMIZE: ProblemSense
+    MINIMIZE: ProblemSense
 @typing.final
 class ProdOp:
     """
@@ -1354,9 +3756,110 @@ class ProdOp:
     Note:
         The ProdOp class does not have a constructor.
     """
-    def __init__():
+    def __new__(cls):
+        pass
+
+    def __add__(self, value, /):
+        """
+        Return self+value.
+        """
+        pass
+
+
+    def __mod__(self, value, /):
+        """
+        Return self%value.
+        """
+        pass
+
+
+    def __mul__(self, value, /):
+        """
+        Return self*value.
+        """
+        pass
+
+
+    def __neg__(self, /):
+        """
+        -self
+        """
+        pass
+
+
+    def __pow__(self, value, mod=None, /):
+        """
+        Return pow(self, value, mod).
+        """
+        pass
+
+
+    def __radd__(self, value, /):
+        """
+        Return value+self.
+        """
+        pass
+
+
+    def __rmod__(self, value, /):
+        """
+        Return value%self.
+        """
+        pass
+
+
+    def __rmul__(self, value, /):
+        """
+        Return value*self.
+        """
+        pass
+
+
+    def __rpow__(self, value, mod=None, /):
+        """
+        Return pow(value, self, mod).
+        """
+        pass
+
+
+    def __rsub__(self, value, /):
+        """
+        Return value-self.
+        """
+        pass
+
+
+    def __rtruediv__(self, value, /):
+        """
+        Return value/self.
+        """
+        pass
+
+
+    def __sub__(self, value, /):
+        """
+        Return self-value.
+        """
         pass
 
+
+    def __truediv__(self, value, /):
+        """
+        Return self/value.
+        """
+        pass
+
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
+        pass
+
+
+    condition: typing.Any
+    index: typing.Any
+    operand: typing.Any
     def set_latex(self, /, latex=None):
         """
         Set the LaTeX representation of the object.
@@ -1369,13 +3872,14 @@ class ProdOp:
 
 
 @typing.final
-class ProtobufDeserializationError:
+class ProtobufDeserializationError(BaseException):
     """
     Common base class for all non-exit exceptions.
     """
-    def __init__():
+    def __new__(cls):
         pass
 
+    args: typing.Any
     def with_traceback():
         """
         Exception.with_traceback(tb) --
@@ -1385,13 +3889,14 @@ class ProtobufDeserializationError:
 
 
 @typing.final
-class ProtobufSerializationError:
+class ProtobufSerializationError(BaseException):
     """
     Common base class for all non-exit exceptions.
     """
-    def __init__():
+    def __new__(cls):
         pass
 
+    args: typing.Any
     def with_traceback():
         """
         Exception.with_traceback(tb) --
@@ -1415,9 +3920,11 @@ class Range:
     Note:
         This class does not contain any decision variable.
     """
-    def __init__():
+    def __new__(cls):
         pass
 
+    end: typing.Any
+    start: typing.Any
 @typing.final
 class Record:
     """
@@ -1432,7 +3939,7 @@ class Record:
     
     As an example, consider the following solutions:
     
-    ```python
+    ```
     {
         "x": [np.array([[0.0, 1.0, 0.0], [2.0, 0.0, 3.0]]), np.array([[1.0, 0.0, 0.0], [2.0, 3.0, 4.0]])],
         "y": [np.array([0.0, 0.0, 1.0]), np.array([0.0, 1.0, 0.0])]
@@ -1441,7 +3948,7 @@ class Record:
     
     This is a dense solution. The corresponding sparse solution is as follows:
     
-    ```python
+    ```
     {
         "x": [(([0, 1, 1], [1, 0, 2]), [1.0, 2.0, 3.0], (2, 3)), (([0, 1, 1, 1], [0, 0, 1, 2]), [1.0, 2.0, 3.0, 4.0], (2, 3))],
         "y": [(([2],), [1.0], (3,)), (([1],), [1.0], (3,))]
@@ -1452,9 +3959,10 @@ class Record:
         solution (Union[Dict[str, List[numpy.ndarray]], Dict[str, List[Tuple[List[int], List[float], Tuple[int, ...]]]]]): A solution.
         num_occurrences (List[int]): A list of the number of occurrences in which the solution is observed.
     """
-    def __init__(solution, num_occurrences):
+    def __new__(cls, solution, num_occurrences):
         pass
 
+    @staticmethod
     def from_dict(dict):
         """
         Create a Record object from the given dict.
@@ -1470,6 +3978,7 @@ class Record:
         pass
 
 
+    @staticmethod
     def from_json(json):
         """
         Create a Record object from the JSON string.
@@ -1503,6 +4012,8 @@ class Record:
         pass
 
 
+    num_occurrences: typing.Any
+    solution: typing.Any
     def to_dense(self, /):
         """
         Return a Record object whose solution is dense.
@@ -1572,9 +4083,10 @@ class SampleSet:
         fetch_result (float, optional): Time to fetch result. Defaults to None.
         deserialize_solution (float, optional): Time to deserialize json object. Defaults to None.
     """
-    def __init__(record, evaluation, measuring_time, metadata=None):
+    def __new__(cls, record, evaluation, measuring_time, metadata=None):
         pass
 
+    evaluation: typing.Any
     def feasible(self, /, rtol=1e-05, atol=1e-08):
         """
         Return a Sampleset with only feasible solutions.
@@ -1594,6 +4106,7 @@ class SampleSet:
         pass
 
 
+    @staticmethod
     def from_dict(dict):
         """
         Create a SampleSet object from the given dict.
@@ -1609,6 +4122,7 @@ class SampleSet:
         pass
 
 
+    @staticmethod
     def from_json(json):
         """
         Create a SampleSet object from the JSON string.
@@ -1690,6 +4204,9 @@ class SampleSet:
         pass
 
 
+    measuring_time: typing.Any
+    metadata: typing.Any
+    record: typing.Any
     def to_dense(self, /):
         """
         Return a Sampleset whose record is converted into a dense solution format.
@@ -1790,9 +4307,90 @@ class SemiContinuousVar:
         >>> x[123]
         SemiContinuousVar(name='x', shape=[NumberLit(value=124)], lower_bound=NumberLit(value=0), upper_bound=NumberLit(value=2))[NumberLit(value=123)]
     """
-    def __init__(name: str, *, shape=None, lower_bound, upper_bound, latex=None, description=None):
+    def __new__(cls, name: str, *, shape=None, lower_bound, upper_bound, latex=None, description=None):
+        pass
+
+    def __add__(self, value, /):
+        """
+        Return self+value.
+        """
+        pass
+
+
+    def __getitem__(self, key, /):
+        """
+        Return self[key].
+        """
+        pass
+
+
+    def __mul__(self, value, /):
+        """
+        Return self*value.
+        """
+        pass
+
+
+    def __neg__(self, /):
+        """
+        -self
+        """
+        pass
+
+
+    def __pow__(self, value, mod=None, /):
+        """
+        Return pow(self, value, mod).
+        """
+        pass
+
+
+    def __radd__(self, value, /):
+        """
+        Return value+self.
+        """
+        pass
+
+
+    def __rmul__(self, value, /):
+        """
+        Return value*self.
+        """
         pass
 
+
+    def __rpow__(self, value, mod=None, /):
+        """
+        Return pow(value, self, mod).
+        """
+        pass
+
+
+    def __rsub__(self, value, /):
+        """
+        Return value-self.
+        """
+        pass
+
+
+    def __sub__(self, value, /):
+        """
+        Return self-value.
+        """
+        pass
+
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
+        pass
+
+
+    description: str
+    lower_bound: typing.Any
+    name: str
+    ndim: int
     def set_latex(self, /, latex=None):
         """
         Set the LaTeX representation of the object.
@@ -1804,6 +4402,8 @@ class SemiContinuousVar:
         pass
 
 
+    shape: tuple
+    upper_bound: typing.Any
 @typing.final
 class SemiIntegerVar:
     """
@@ -1860,9 +4460,90 @@ class SemiIntegerVar:
         >>> x[123]
         SemiIntegerVar(name='x', shape=[NumberLit(value=124)], lower_bound=NumberLit(value=0), upper_bound=NumberLit(value=2))[NumberLit(value=123)]
     """
-    def __init__(name: str, *, shape=None, lower_bound, upper_bound, latex=None, description=None):
+    def __new__(cls, name: str, *, shape=None, lower_bound, upper_bound, latex=None, description=None):
+        pass
+
+    def __add__(self, value, /):
+        """
+        Return self+value.
+        """
+        pass
+
+
+    def __getitem__(self, key, /):
+        """
+        Return self[key].
+        """
+        pass
+
+
+    def __mul__(self, value, /):
+        """
+        Return self*value.
+        """
+        pass
+
+
+    def __neg__(self, /):
+        """
+        -self
+        """
+        pass
+
+
+    def __pow__(self, value, mod=None, /):
+        """
+        Return pow(self, value, mod).
+        """
+        pass
+
+
+    def __radd__(self, value, /):
+        """
+        Return value+self.
+        """
+        pass
+
+
+    def __rmul__(self, value, /):
+        """
+        Return value*self.
+        """
+        pass
+
+
+    def __rpow__(self, value, mod=None, /):
+        """
+        Return pow(value, self, mod).
+        """
+        pass
+
+
+    def __rsub__(self, value, /):
+        """
+        Return value-self.
+        """
+        pass
+
+
+    def __sub__(self, value, /):
+        """
+        Return self-value.
+        """
+        pass
+
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
         pass
 
+
+    description: str
+    lower_bound: typing.Any
+    name: str
+    ndim: int
     def set_latex(self, /, latex=None):
         """
         Set the LaTeX representation of the object.
@@ -1874,6 +4555,8 @@ class SemiIntegerVar:
         pass
 
 
+    shape: tuple
+    upper_bound: typing.Any
 @typing.final
 class SolvingTime:
     """
@@ -1884,9 +4567,10 @@ class SolvingTime:
         solve (float, optional): Time to solve the problem. Defaults to None.
         postprocess (float, optional): Time to postprocess the problem. Defaults to None.
     """
-    def __init__(preprocess=None, solve=None, postprocess=None):
+    def __new__(cls, preprocess=None, solve=None, postprocess=None):
         pass
 
+    @staticmethod
     def from_dict(dict):
         """
         Create a SolvingTime object from the given dict.
@@ -1902,6 +4586,7 @@ class SolvingTime:
         pass
 
 
+    @staticmethod
     def from_json(json):
         """
         Create a SolvingTime object from the JSON string.
@@ -1915,6 +4600,9 @@ class SolvingTime:
         pass
 
 
+    postprocess: typing.Any
+    preprocess: typing.Any
+    solve: typing.Any
     def to_dict(self, /):
         """
         Convert into a dict.
@@ -1953,9 +4641,114 @@ class Subscript:
     Note:
         The Subscript class does not have a constructor.
     """
-    def __init__():
+    def __new__(cls):
+        pass
+
+    def __add__(self, value, /):
+        """
+        Return self+value.
+        """
+        pass
+
+
+    def __getitem__(self, key, /):
+        """
+        Return self[key].
+        """
+        pass
+
+
+    def __mod__(self, value, /):
+        """
+        Return self%value.
+        """
+        pass
+
+
+    def __mul__(self, value, /):
+        """
+        Return self*value.
+        """
+        pass
+
+
+    def __neg__(self, /):
+        """
+        -self
+        """
+        pass
+
+
+    def __pow__(self, value, mod=None, /):
+        """
+        Return pow(self, value, mod).
+        """
+        pass
+
+
+    def __radd__(self, value, /):
+        """
+        Return value+self.
+        """
+        pass
+
+
+    def __rmod__(self, value, /):
+        """
+        Return value%self.
+        """
+        pass
+
+
+    def __rmul__(self, value, /):
+        """
+        Return value*self.
+        """
+        pass
+
+
+    def __rpow__(self, value, mod=None, /):
+        """
+        Return pow(value, self, mod).
+        """
+        pass
+
+
+    def __rsub__(self, value, /):
+        """
+        Return value-self.
+        """
+        pass
+
+
+    def __rtruediv__(self, value, /):
+        """
+        Return value/self.
+        """
+        pass
+
+
+    def __sub__(self, value, /):
+        """
+        Return self-value.
+        """
+        pass
+
+
+    def __truediv__(self, value, /):
+        """
+        Return self/value.
+        """
+        pass
+
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
         pass
 
+
     def len_at(self, /, axis, *, latex=None, description=None):
         """
         
@@ -1963,6 +4756,10 @@ class Subscript:
         pass
 
 
+    ndim: int
+    shape: tuple
+    subscripts: typing.Any
+    variable: typing.Any
 @typing.final
 class SumOp:
     """
@@ -1979,9 +4776,110 @@ class SumOp:
     Note:
         The SumOp class does not have a constructor.
     """
-    def __init__():
+    def __new__(cls):
+        pass
+
+    def __add__(self, value, /):
+        """
+        Return self+value.
+        """
+        pass
+
+
+    def __mod__(self, value, /):
+        """
+        Return self%value.
+        """
+        pass
+
+
+    def __mul__(self, value, /):
+        """
+        Return self*value.
+        """
+        pass
+
+
+    def __neg__(self, /):
+        """
+        -self
+        """
+        pass
+
+
+    def __pow__(self, value, mod=None, /):
+        """
+        Return pow(self, value, mod).
+        """
+        pass
+
+
+    def __radd__(self, value, /):
+        """
+        Return value+self.
+        """
+        pass
+
+
+    def __rmod__(self, value, /):
+        """
+        Return value%self.
+        """
+        pass
+
+
+    def __rmul__(self, value, /):
+        """
+        Return value*self.
+        """
+        pass
+
+
+    def __rpow__(self, value, mod=None, /):
+        """
+        Return pow(value, self, mod).
+        """
+        pass
+
+
+    def __rsub__(self, value, /):
+        """
+        Return value-self.
+        """
+        pass
+
+
+    def __rtruediv__(self, value, /):
+        """
+        Return value/self.
+        """
+        pass
+
+
+    def __sub__(self, value, /):
+        """
+        Return self-value.
+        """
+        pass
+
+
+    def __truediv__(self, value, /):
+        """
+        Return self/value.
+        """
+        pass
+
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
         pass
 
+
+    condition: typing.Any
+    index: typing.Any
+    operand: typing.Any
     def set_latex(self, /, latex=None):
         """
         Set the LaTeX representation of the object.
@@ -2005,9 +4903,13 @@ class SystemTime:
         fetch_result (float, optional): Time to fetch result. Defaults to None.
         deserialize_solution (float, optional): Time to deserialize json object. Defaults to None.
     """
-    def __init__(post_problem_and_instance_data=None, request_queue=None, fetch_problem_and_instance_data=None, fetch_result=None, deserialize_solution=None):
+    def __new__(cls, post_problem_and_instance_data=None, request_queue=None, fetch_problem_and_instance_data=None, fetch_result=None, deserialize_solution=None):
         pass
 
+    deserialize_solution: typing.Any
+    fetch_problem_and_instance_data: typing.Any
+    fetch_result: typing.Any
+    @staticmethod
     def from_dict(dict):
         """
         Create a SystemTime object from the given dict.
@@ -2023,6 +4925,7 @@ class SystemTime:
         pass
 
 
+    @staticmethod
     def from_json(json):
         """
         Create a SystemTime object from the JSON string.
@@ -2036,6 +4939,8 @@ class SystemTime:
         pass
 
 
+    post_problem_and_instance_data: typing.Any
+    request_queue: typing.Any
     def to_dict(self, /):
         """
         Convert into a dict.
@@ -2074,9 +4979,58 @@ class XorOp:
     Note:
         The XorOp class does not have a constructor.
     """
-    def __init__():
+    def __new__(cls):
+        pass
+
+    def __and__(self, value, /):
+        """
+        Return self&value.
+        """
+        pass
+
+
+    def __or__(self, value, /):
+        """
+        Return self|value.
+        """
+        pass
+
+
+    def __rand__(self, value, /):
+        """
+        Return value&self.
+        """
+        pass
+
+
+    def __ror__(self, value, /):
+        """
+        Return value|self.
+        """
+        pass
+
+
+    def __rxor__(self, value, /):
+        """
+        Return value^self.
+        """
+        pass
+
+
+    def __xor__(self, value, /):
+        """
+        Return self^value.
+        """
+        pass
+
+
+    def _repr_latex_(self, /):
+        """
+        
+        """
         pass
 
+
     def set_latex(self, /, latex=None):
         """
         Set the LaTeX representation of the object.
@@ -2088,6 +5042,7 @@ class XorOp:
         pass
 
 
+    terms: typing.Any
 def abs(operand):
     """
     Create the `AbsOp` object from the expression.
@@ -2134,13 +5089,29 @@ def ceil(operand):
     pass
 
 
-def extract_nodes(obj, type):
+def concatenate(sample_sets):
+    """
+    Concatenate some SampleSet objects into a single SampleSet object.
+    
+    Args:
+        sample_sets (list[SampleSet]): A list of SampleSet objects.
+    
+    Returns:
+        SampleSet: A SampleSet object which is concatenated from the given SampleSet objects.
+    
+    Note:
+        This function will be deprecated in v1.1.0.
+    """
+    pass
+
+
+def extract_nodes(obj, class_or_tuple):
     """
     Extract all nodes from the given object.
     
     Args:
         obj: An expression defined by JijModeling's module, or a `Problem`, `Constraint`, `CustomPenaltyTerm`, or a list of forall object.
-        type: A type of node to extract.
+        class_or_tuple: A type or tuple of types of nodes to be extracted.
     
     Returns:
         list: A list of nodes whose type is `type`.
@@ -2148,7 +5119,7 @@ def extract_nodes(obj, type):
     Examples:
         Extract all placeholders from the given expression.
     
-        ```python
+        ```
         >>> from itertools import zip_longest
         >>> import jijmodeling as jm
         >>> a = jm.Placeholder("a")
@@ -2157,6 +5128,22 @@ def extract_nodes(obj, type):
         >>> for actual, expect in zip_longest(jm.extract_nodes(expr, jm.Placeholder), [a, b]):
         >>>     assert jm.is_same(actual, expect)
         ```
+    
+        Extract all BinaryVar objects and Placeholder objects from the given expression.
+    
+        ```
+        >>> from itertools import zip_longest
+        >>> import jijmodeling as jm
+        >>> a = jm.Placeholder("a")
+        >>> b = jm.Placeholder("b")
+        >>> x = jm.BinaryVar("x")
+        >>> y = jm.ContinuousVar("y", lower_bound=0, upper_bound=1)
+        >>> expr = a * x + b * y + 123
+        >>> actual = jm.extract_nodes(expr, (jm.BinaryVar, jm.Placeholder))
+        >>> expect = [a, x, b, y]
+        >>> for actual, expect in zip_longest(actual, expect):
+        >>>     assert jm.is_same(actual, expect)
+        ```
     """
     pass
 
@@ -2179,7 +5166,7 @@ def extract_variables(obj):
     Examples:
         Extract all variables from a problem without duplication.
     
-        ```python
+        ```
         >>> n = jm.Placeholder("n")
         >>> i = jm.Element("i", belong_to=n)
         >>> x = jm.BinaryVar("x", shape=[10])
@@ -2242,7 +5229,7 @@ def is_dynamic_degree(expr):
     Examples:
         Check if the degree of the following expression is determined dynamically.
     
-        ```python
+        ```
         a = jm.Placeholder("a", ndim=1)
         i = jm.Element("i", belong_to=a)
         x = jm.BinaryVar("x", shape=(a.len_at(0),))
@@ -2416,7 +5403,7 @@ def max(*operands):
     Examples:
         Create the `MaxOp` object whose operands are three placeholders.
     
-        ```python
+        ```
         >>> import jijmodeling as jm
         >>> a = jm.Placeholder("a")
         >>> b = jm.Placeholder("b")
@@ -2443,7 +5430,7 @@ def min(*operands):
     Examples:
         Create the `MinOp` object whose operands are three placeholders.
     
-        ```python
+        ```
         >>> import jijmodeling as jm
         >>> a = jm.Placeholder("a")
         >>> b = jm.Placeholder("b")
@@ -2509,7 +5496,7 @@ def replace(expr, replacer):
     Examples:
         Replace a placeholder with a binary variable.
     
-        ```python
+        ```
         >>> import jijmodeling as jm
         >>> ph = jm.Placeholder("placeholder")
         >>> var = jm.BinaryVar("x")
@@ -2519,7 +5506,7 @@ def replace(expr, replacer):
     
         Replace a subscripted variable with a binary variable if it is a placeholder.
     
-        ```python
+        ```
         >>> import jijmodeling as jm
         >>> ph = jm.Placeholder("ph", ndim=2)
         >>> x = jm.BinaryVar("x", shape=(1000, 1000))