jijmodeling 1.5.0__cp39-cp39-macosx_10_16_x86_64.whl → 1.7.0__cp39-cp39-macosx_10_16_x86_64.whl

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Potentially problematic release.

This version of jijmodeling might be problematic. Click here for more details.

Files changed (9) hide show
  1. jijmodeling/__init__.pyi +898 -575
  2. jijmodeling/_jijmodeling.cpython-39-darwin.so +0 -0
  3. jijmodeling/dataset.pyi +9 -11
  4. jijmodeling/experimental.pyi +48 -55
  5. {jijmodeling-1.5.0.dist-info → jijmodeling-1.7.0.dist-info}/METADATA +1 -1
  6. jijmodeling-1.7.0.dist-info/RECORD +12 -0
  7. {jijmodeling-1.5.0.dist-info → jijmodeling-1.7.0.dist-info}/WHEEL +1 -1
  8. jijmodeling-1.5.0.dist-info/RECORD +0 -12
  9. {jijmodeling-1.5.0.dist-info → jijmodeling-1.7.0.dist-info}/license_files/LICENSE.txt +0 -0
jijmodeling/__init__.pyi CHANGED
@@ -1,9 +1,12 @@
1
- # This file is automatically generated by gen_stub.rs
1
+ # This file is automatically generated by pyo3_stub_gen
2
+ # ruff: noqa: E501, F401
2
3
 
3
- from typing import final, Any, List, Dict
4
+ import numpy
5
+ import numpy.typing
6
+ import typing
7
+ from . import experimental
4
8
  from enum import Enum, auto
5
9
 
6
- @final
7
10
  class AbsOp:
8
11
  r"""
9
12
  A class for representing the absolute value
@@ -19,8 +22,8 @@ class AbsOp:
19
22
  -----
20
23
  The `AbsOp` class does not have a constructor.
21
24
  """
22
- operand: Any
23
- def set_latex(self, latex = ...):
25
+ operand: typing.Any
26
+ def set_latex(self, latex = ...) -> None:
24
27
  r"""
25
28
  Set the LaTeX representation of the object.
26
29
  If the LaTeX representation is not set, the default representation is set.
@@ -40,50 +43,64 @@ class AbsOp:
40
43
  def _repr_latex_(self) -> str:
41
44
  ...
42
45
 
43
- def __richcmp__(self, other, op) -> Any:
46
+ def __eq__(self, other:typing.Any) -> typing.Any:
44
47
  ...
45
48
 
46
- def __pow__(self, exponent,modulo = ...) -> Any:
49
+ def __ne__(self, other:typing.Any) -> typing.Any:
47
50
  ...
48
51
 
49
- def __rpow__(self, base,modulo = ...) -> Any:
52
+ def __lt__(self, other:typing.Any) -> typing.Any:
50
53
  ...
51
54
 
52
- def __mod__(self, other) -> Any:
55
+ def __le__(self, other:typing.Any) -> typing.Any:
53
56
  ...
54
57
 
55
- def __rmod__(self, other) -> Any:
58
+ def __gt__(self, other:typing.Any) -> typing.Any:
56
59
  ...
57
60
 
58
- def __truediv__(self, other) -> Any:
61
+ def __ge__(self, other:typing.Any) -> typing.Any:
59
62
  ...
60
63
 
61
- def __rtruediv__(self, other) -> Any:
64
+ def __pow__(self, exponent,modulo = ...) -> typing.Any:
62
65
  ...
63
66
 
64
- def __mul__(self, other) -> Any:
67
+ def __rpow__(self, base,modulo = ...) -> typing.Any:
65
68
  ...
66
69
 
67
- def __rmul__(self, other) -> Any:
70
+ def __mod__(self, other:typing.Any) -> typing.Any:
68
71
  ...
69
72
 
70
- def __sub__(self, other) -> Any:
73
+ def __rmod__(self, other:typing.Any) -> typing.Any:
71
74
  ...
72
75
 
73
- def __rsub__(self, other) -> Any:
76
+ def __truediv__(self, other:typing.Any) -> typing.Any:
74
77
  ...
75
78
 
76
- def __add__(self, other) -> Any:
79
+ def __rtruediv__(self, other:typing.Any) -> typing.Any:
77
80
  ...
78
81
 
79
- def __radd__(self, other) -> Any:
82
+ def __mul__(self, other:typing.Any) -> typing.Any:
80
83
  ...
81
84
 
82
- def __neg__(self) -> Any:
85
+ def __rmul__(self, other:typing.Any) -> typing.Any:
86
+ ...
87
+
88
+ def __sub__(self, other:typing.Any) -> typing.Any:
89
+ ...
90
+
91
+ def __rsub__(self, other:typing.Any) -> typing.Any:
92
+ ...
93
+
94
+ def __add__(self, other:typing.Any) -> typing.Any:
95
+ ...
96
+
97
+ def __radd__(self, other:typing.Any) -> typing.Any:
98
+ ...
99
+
100
+ def __neg__(self) -> typing.Any:
83
101
  ...
84
102
 
85
103
 
86
- @final
87
104
  class AddOp:
88
105
  r"""
89
106
  A class for representing addition
@@ -102,8 +119,8 @@ class AddOp:
102
119
  instantiation method is by calling the addition operation on other
103
120
  expressions.
104
121
  """
105
- terms: List[Any]
106
- def set_latex(self, latex = ...):
122
+ terms: list[typing.Any]
123
+ def set_latex(self, latex = ...) -> None:
107
124
  r"""
108
125
  Set the LaTeX representation of the object.
109
126
  If the LaTeX representation is not set, the default representation is set.
@@ -123,50 +140,64 @@ class AddOp:
123
140
  def _repr_latex_(self) -> str:
124
141
  ...
125
142
 
126
- def __richcmp__(self, other, op) -> Any:
143
+ def __eq__(self, other:typing.Any) -> typing.Any:
144
+ ...
145
+
146
+ def __ne__(self, other:typing.Any) -> typing.Any:
127
147
  ...
128
148
 
129
- def __pow__(self, exponent,modulo = ...) -> Any:
149
+ def __lt__(self, other:typing.Any) -> typing.Any:
130
150
  ...
131
151
 
132
- def __rpow__(self, base,modulo = ...) -> Any:
152
+ def __le__(self, other:typing.Any) -> typing.Any:
133
153
  ...
134
154
 
135
- def __mod__(self, other) -> Any:
155
+ def __gt__(self, other:typing.Any) -> typing.Any:
136
156
  ...
137
157
 
138
- def __rmod__(self, other) -> Any:
158
+ def __ge__(self, other:typing.Any) -> typing.Any:
139
159
  ...
140
160
 
141
- def __truediv__(self, other) -> Any:
161
+ def __pow__(self, exponent,modulo = ...) -> typing.Any:
142
162
  ...
143
163
 
144
- def __rtruediv__(self, other) -> Any:
164
+ def __rpow__(self, base,modulo = ...) -> typing.Any:
145
165
  ...
146
166
 
147
- def __mul__(self, other) -> Any:
167
+ def __mod__(self, other:typing.Any) -> typing.Any:
148
168
  ...
149
169
 
150
- def __rmul__(self, other) -> Any:
170
+ def __rmod__(self, other:typing.Any) -> typing.Any:
151
171
  ...
152
172
 
153
- def __sub__(self, other) -> Any:
173
+ def __truediv__(self, other:typing.Any) -> typing.Any:
154
174
  ...
155
175
 
156
- def __rsub__(self, other) -> Any:
176
+ def __rtruediv__(self, other:typing.Any) -> typing.Any:
157
177
  ...
158
178
 
159
- def __add__(self, other) -> Any:
179
+ def __mul__(self, other:typing.Any) -> typing.Any:
160
180
  ...
161
181
 
162
- def __radd__(self, other) -> Any:
182
+ def __rmul__(self, other:typing.Any) -> typing.Any:
163
183
  ...
164
184
 
165
- def __neg__(self) -> Any:
185
+ def __sub__(self, other:typing.Any) -> typing.Any:
186
+ ...
187
+
188
+ def __rsub__(self, other:typing.Any) -> typing.Any:
189
+ ...
190
+
191
+ def __add__(self, other:typing.Any) -> typing.Any:
192
+ ...
193
+
194
+ def __radd__(self, other:typing.Any) -> typing.Any:
195
+ ...
196
+
197
+ def __neg__(self) -> typing.Any:
166
198
  ...
167
199
 
168
200
 
169
- @final
170
201
  class AndOp:
171
202
  r"""
172
203
  A class for representing logical AND
@@ -183,8 +214,8 @@ class AndOp:
183
214
  -----
184
215
  The `AndOp` class does not have a constructor.
185
216
  """
186
- terms: List[Any]
187
- def set_latex(self, latex = ...):
217
+ terms: list[typing.Any]
218
+ def set_latex(self, latex = ...) -> None:
188
219
  r"""
189
220
  Set the LaTeX representation of the object.
190
221
  If the LaTeX representation is not set, the default representation is set.
@@ -205,7 +236,6 @@ class AndOp:
205
236
  ...
206
237
 
207
238
 
208
- @final
209
239
  class ArrayLength:
210
240
  r"""
211
241
  A class for referring to the length of an array at a given axis.
@@ -237,11 +267,11 @@ class ArrayLength:
237
267
 
238
268
  ```
239
269
  """
240
- array: Any
270
+ array: Placeholder | Element | Subscript
241
271
  axis: int
242
- description: Any
272
+ description: typing.Optional[str]
243
273
  def __new__(cls,array,axis,*,latex = ...,description = ...): ...
244
- def set_latex(self, latex = ...):
274
+ def set_latex(self, latex = ...) -> None:
245
275
  r"""
246
276
  Set the LaTeX representation of the object.
247
277
  If the LaTeX representation is not set, the default representation is set.
@@ -261,50 +291,64 @@ class ArrayLength:
261
291
  def _repr_latex_(self) -> str:
262
292
  ...
263
293
 
264
- def __richcmp__(self, other, op) -> Any:
294
+ def __eq__(self, other:typing.Any) -> typing.Any:
265
295
  ...
266
296
 
267
- def __pow__(self, exponent,modulo = ...) -> Any:
297
+ def __ne__(self, other:typing.Any) -> typing.Any:
268
298
  ...
269
299
 
270
- def __rpow__(self, base,modulo = ...) -> Any:
300
+ def __lt__(self, other:typing.Any) -> typing.Any:
271
301
  ...
272
302
 
273
- def __mod__(self, other) -> Any:
303
+ def __le__(self, other:typing.Any) -> typing.Any:
274
304
  ...
275
305
 
276
- def __rmod__(self, other) -> Any:
306
+ def __gt__(self, other:typing.Any) -> typing.Any:
277
307
  ...
278
308
 
279
- def __truediv__(self, other) -> Any:
309
+ def __ge__(self, other:typing.Any) -> typing.Any:
280
310
  ...
281
311
 
282
- def __rtruediv__(self, other) -> Any:
312
+ def __pow__(self, exponent,modulo = ...) -> typing.Any:
283
313
  ...
284
314
 
285
- def __mul__(self, other) -> Any:
315
+ def __rpow__(self, base,modulo = ...) -> typing.Any:
286
316
  ...
287
317
 
288
- def __rmul__(self, other) -> Any:
318
+ def __mod__(self, other:typing.Any) -> typing.Any:
289
319
  ...
290
320
 
291
- def __sub__(self, other) -> Any:
321
+ def __rmod__(self, other:typing.Any) -> typing.Any:
292
322
  ...
293
323
 
294
- def __rsub__(self, other) -> Any:
324
+ def __truediv__(self, other:typing.Any) -> typing.Any:
295
325
  ...
296
326
 
297
- def __add__(self, other) -> Any:
327
+ def __rtruediv__(self, other:typing.Any) -> typing.Any:
298
328
  ...
299
329
 
300
- def __radd__(self, other) -> Any:
330
+ def __mul__(self, other:typing.Any) -> typing.Any:
301
331
  ...
302
332
 
303
- def __neg__(self) -> Any:
333
+ def __rmul__(self, other:typing.Any) -> typing.Any:
334
+ ...
335
+
336
+ def __sub__(self, other:typing.Any) -> typing.Any:
337
+ ...
338
+
339
+ def __rsub__(self, other:typing.Any) -> typing.Any:
340
+ ...
341
+
342
+ def __add__(self, other:typing.Any) -> typing.Any:
343
+ ...
344
+
345
+ def __radd__(self, other:typing.Any) -> typing.Any:
346
+ ...
347
+
348
+ def __neg__(self) -> typing.Any:
304
349
  ...
305
350
 
306
351
 
307
- @final
308
352
  class BinaryVar:
309
353
  r"""
310
354
  A class for creating a binary variable
@@ -359,18 +403,18 @@ class BinaryVar:
359
403
  name: str
360
404
  description: str
361
405
  ndim: int
362
- shape: Any
406
+ shape: tuple
363
407
  def __new__(cls,name,*,shape = ...,latex = ...,description = ...): ...
364
- def __getitem__(self, index) -> Any:
408
+ def __getitem__(self, index:typing.Any) -> typing.Any:
365
409
  ...
366
410
 
367
- def __truediv__(self, other) -> Any:
411
+ def __truediv__(self, other:typing.Any) -> typing.Any:
368
412
  ...
369
413
 
370
- def __rtruediv__(self, other) -> Any:
414
+ def __rtruediv__(self, other:typing.Any) -> typing.Any:
371
415
  ...
372
416
 
373
- def set_latex(self, latex = ...):
417
+ def set_latex(self, latex = ...) -> None:
374
418
  r"""
375
419
  Set the LaTeX representation of the object.
376
420
  If the LaTeX representation is not set, the default representation is set.
@@ -390,38 +434,52 @@ class BinaryVar:
390
434
  def _repr_latex_(self) -> str:
391
435
  ...
392
436
 
393
- def __richcmp__(self, other, op) -> Any:
437
+ def __eq__(self, other:typing.Any) -> typing.Any:
438
+ ...
439
+
440
+ def __ne__(self, other:typing.Any) -> typing.Any:
441
+ ...
442
+
443
+ def __lt__(self, other:typing.Any) -> typing.Any:
444
+ ...
445
+
446
+ def __le__(self, other:typing.Any) -> typing.Any:
447
+ ...
448
+
449
+ def __gt__(self, other:typing.Any) -> typing.Any:
450
+ ...
451
+
452
+ def __ge__(self, other:typing.Any) -> typing.Any:
394
453
  ...
395
454
 
396
- def __pow__(self, exponent,modulo = ...) -> Any:
455
+ def __pow__(self, exponent,modulo = ...) -> typing.Any:
397
456
  ...
398
457
 
399
- def __rpow__(self, base,modulo = ...) -> Any:
458
+ def __rpow__(self, base,modulo = ...) -> typing.Any:
400
459
  ...
401
460
 
402
- def __mul__(self, other) -> Any:
461
+ def __mul__(self, other:typing.Any) -> typing.Any:
403
462
  ...
404
463
 
405
- def __rmul__(self, other) -> Any:
464
+ def __rmul__(self, other:typing.Any) -> typing.Any:
406
465
  ...
407
466
 
408
- def __sub__(self, other) -> Any:
467
+ def __sub__(self, other:typing.Any) -> typing.Any:
409
468
  ...
410
469
 
411
- def __rsub__(self, other) -> Any:
470
+ def __rsub__(self, other:typing.Any) -> typing.Any:
412
471
  ...
413
472
 
414
- def __add__(self, other) -> Any:
473
+ def __add__(self, other:typing.Any) -> typing.Any:
415
474
  ...
416
475
 
417
- def __radd__(self, other) -> Any:
476
+ def __radd__(self, other:typing.Any) -> typing.Any:
418
477
  ...
419
478
 
420
- def __neg__(self) -> Any:
479
+ def __neg__(self) -> typing.Any:
421
480
  ...
422
481
 
423
482
 
424
- @final
425
483
  class CeilOp:
426
484
  r"""
427
485
  A class for representing the ceil operator
@@ -437,8 +495,8 @@ class CeilOp:
437
495
  -----
438
496
  The `CeilOp` class does not have a constructor.
439
497
  """
440
- operand: Any
441
- def set_latex(self, latex = ...):
498
+ operand: typing.Any
499
+ def set_latex(self, latex = ...) -> None:
442
500
  r"""
443
501
  Set the LaTeX representation of the object.
444
502
  If the LaTeX representation is not set, the default representation is set.
@@ -458,50 +516,64 @@ class CeilOp:
458
516
  def _repr_latex_(self) -> str:
459
517
  ...
460
518
 
461
- def __richcmp__(self, other, op) -> Any:
519
+ def __eq__(self, other:typing.Any) -> typing.Any:
520
+ ...
521
+
522
+ def __ne__(self, other:typing.Any) -> typing.Any:
523
+ ...
524
+
525
+ def __lt__(self, other:typing.Any) -> typing.Any:
526
+ ...
527
+
528
+ def __le__(self, other:typing.Any) -> typing.Any:
462
529
  ...
463
530
 
464
- def __pow__(self, exponent,modulo = ...) -> Any:
531
+ def __gt__(self, other:typing.Any) -> typing.Any:
465
532
  ...
466
533
 
467
- def __rpow__(self, base,modulo = ...) -> Any:
534
+ def __ge__(self, other:typing.Any) -> typing.Any:
468
535
  ...
469
536
 
470
- def __mod__(self, other) -> Any:
537
+ def __pow__(self, exponent,modulo = ...) -> typing.Any:
471
538
  ...
472
539
 
473
- def __rmod__(self, other) -> Any:
540
+ def __rpow__(self, base,modulo = ...) -> typing.Any:
474
541
  ...
475
542
 
476
- def __truediv__(self, other) -> Any:
543
+ def __mod__(self, other:typing.Any) -> typing.Any:
477
544
  ...
478
545
 
479
- def __rtruediv__(self, other) -> Any:
546
+ def __rmod__(self, other:typing.Any) -> typing.Any:
480
547
  ...
481
548
 
482
- def __mul__(self, other) -> Any:
549
+ def __truediv__(self, other:typing.Any) -> typing.Any:
483
550
  ...
484
551
 
485
- def __rmul__(self, other) -> Any:
552
+ def __rtruediv__(self, other:typing.Any) -> typing.Any:
486
553
  ...
487
554
 
488
- def __sub__(self, other) -> Any:
555
+ def __mul__(self, other:typing.Any) -> typing.Any:
489
556
  ...
490
557
 
491
- def __rsub__(self, other) -> Any:
558
+ def __rmul__(self, other:typing.Any) -> typing.Any:
492
559
  ...
493
560
 
494
- def __add__(self, other) -> Any:
561
+ def __sub__(self, other:typing.Any) -> typing.Any:
495
562
  ...
496
563
 
497
- def __radd__(self, other) -> Any:
564
+ def __rsub__(self, other:typing.Any) -> typing.Any:
498
565
  ...
499
566
 
500
- def __neg__(self) -> Any:
567
+ def __add__(self, other:typing.Any) -> typing.Any:
568
+ ...
569
+
570
+ def __radd__(self, other:typing.Any) -> typing.Any:
571
+ ...
572
+
573
+ def __neg__(self) -> typing.Any:
501
574
  ...
502
575
 
503
576
 
504
- @final
505
577
  class Constraint:
506
578
  r"""
507
579
  A class for creating a constraint
@@ -566,11 +638,11 @@ class Constraint:
566
638
  ```
567
639
  """
568
640
  name: str
569
- sense: Any
570
- left: Any
571
- right: Any
572
- forall: Any
573
- expression: Any
641
+ sense: ConstraintSense
642
+ left: typing.Any
643
+ right: typing.Any
644
+ forall: list[tuple[Element, typing.Optional[typing.Any]]]
645
+ expression: typing.Any
574
646
  def __new__(cls,name,expression,*,forall = ...): ...
575
647
  def _repr_latex_(self) -> str:
576
648
  ...
@@ -628,7 +700,6 @@ class Constraint:
628
700
  ...
629
701
 
630
702
 
631
- @final
632
703
  class ContinuousVar:
633
704
  r"""
634
705
  A class for creating a continuous variable
@@ -700,20 +771,20 @@ class ContinuousVar:
700
771
  name: str
701
772
  description: str
702
773
  ndim: int
703
- shape: Any
704
- lower_bound: Any
705
- upper_bound: Any
774
+ shape: tuple
775
+ lower_bound: typing.Any | Placeholder | Subscript
776
+ upper_bound: typing.Any | Placeholder | Subscript
706
777
  def __new__(cls,name,*,shape = ...,lower_bound,upper_bound,latex = ...,description = ...): ...
707
- def __getitem__(self, index) -> Any:
778
+ def __getitem__(self, index:typing.Any) -> typing.Any:
708
779
  ...
709
780
 
710
- def __truediv__(self, other) -> Any:
781
+ def __truediv__(self, other:typing.Any) -> typing.Any:
711
782
  ...
712
783
 
713
- def __rtruediv__(self, other) -> Any:
784
+ def __rtruediv__(self, other:typing.Any) -> typing.Any:
714
785
  ...
715
786
 
716
- def set_latex(self, latex = ...):
787
+ def set_latex(self, latex = ...) -> None:
717
788
  r"""
718
789
  Set the LaTeX representation of the object.
719
790
  If the LaTeX representation is not set, the default representation is set.
@@ -733,38 +804,52 @@ class ContinuousVar:
733
804
  def _repr_latex_(self) -> str:
734
805
  ...
735
806
 
736
- def __richcmp__(self, other, op) -> Any:
807
+ def __eq__(self, other:typing.Any) -> typing.Any:
808
+ ...
809
+
810
+ def __ne__(self, other:typing.Any) -> typing.Any:
811
+ ...
812
+
813
+ def __lt__(self, other:typing.Any) -> typing.Any:
737
814
  ...
738
815
 
739
- def __pow__(self, exponent,modulo = ...) -> Any:
816
+ def __le__(self, other:typing.Any) -> typing.Any:
740
817
  ...
741
818
 
742
- def __rpow__(self, base,modulo = ...) -> Any:
819
+ def __gt__(self, other:typing.Any) -> typing.Any:
743
820
  ...
744
821
 
745
- def __mul__(self, other) -> Any:
822
+ def __ge__(self, other:typing.Any) -> typing.Any:
746
823
  ...
747
824
 
748
- def __rmul__(self, other) -> Any:
825
+ def __pow__(self, exponent,modulo = ...) -> typing.Any:
749
826
  ...
750
827
 
751
- def __sub__(self, other) -> Any:
828
+ def __rpow__(self, base,modulo = ...) -> typing.Any:
752
829
  ...
753
830
 
754
- def __rsub__(self, other) -> Any:
831
+ def __mul__(self, other:typing.Any) -> typing.Any:
755
832
  ...
756
833
 
757
- def __add__(self, other) -> Any:
834
+ def __rmul__(self, other:typing.Any) -> typing.Any:
758
835
  ...
759
836
 
760
- def __radd__(self, other) -> Any:
837
+ def __sub__(self, other:typing.Any) -> typing.Any:
761
838
  ...
762
839
 
763
- def __neg__(self) -> Any:
840
+ def __rsub__(self, other:typing.Any) -> typing.Any:
841
+ ...
842
+
843
+ def __add__(self, other:typing.Any) -> typing.Any:
844
+ ...
845
+
846
+ def __radd__(self, other:typing.Any) -> typing.Any:
847
+ ...
848
+
849
+ def __neg__(self) -> typing.Any:
764
850
  ...
765
851
 
766
852
 
767
- @final
768
853
  class CustomPenaltyTerm:
769
854
  r"""
770
855
  A class for creating a custom penalty term
@@ -828,8 +913,8 @@ class CustomPenaltyTerm:
828
913
  ```
829
914
  """
830
915
  name: str
831
- expression: Any
832
- forall: Any
916
+ expression: typing.Any
917
+ forall: list[tuple[Element, typing.Optional[typing.Any]]]
833
918
  def __new__(cls,name,expression,*,forall = ...): ...
834
919
  def _repr_latex_(self) -> str:
835
920
  ...
@@ -841,7 +926,6 @@ class CustomPenaltyTerm:
841
926
  ...
842
927
 
843
928
 
844
- @final
845
929
  class DummyIndexedVar:
846
930
  r"""
847
931
  A class for representing a subscripted variable with dummy indices
@@ -852,7 +936,7 @@ class DummyIndexedVar:
852
936
  -----
853
937
  The `DummyIndexedVar` class does not have a constructor.
854
938
  """
855
- def sum(self) -> Any:
939
+ def sum(self) -> SumOp:
856
940
  r"""
857
941
  Take a sum of the decision variable over the elements for which the slice is given and return a SumOp object.
858
942
 
@@ -884,7 +968,7 @@ class DummyIndexedVar:
884
968
  """
885
969
  ...
886
970
 
887
- def prod(self) -> Any:
971
+ def prod(self) -> ProdOp:
888
972
  r"""
889
973
  Take a prod of the decision variable over the elements for which the slice is given and return a `ProdOp` object.
890
974
 
@@ -917,7 +1001,6 @@ class DummyIndexedVar:
917
1001
  ...
918
1002
 
919
1003
 
920
- @final
921
1004
  class Element:
922
1005
  r"""
923
1006
  A class for creating an element
@@ -1008,14 +1091,14 @@ class Element:
1008
1091
  """
1009
1092
  name: str
1010
1093
  ndim: int
1011
- belong_to: Any
1012
- description: Any
1013
- shape: Any
1094
+ belong_to: Range | Placeholder | Element | Subscript
1095
+ description: typing.Optional[str]
1096
+ shape: tuple
1014
1097
  def __new__(cls,name,belong_to,*,latex = ...,description = ...): ...
1015
- def len_at(self, axis,*,latex = ...,description = ...) -> Any:
1098
+ def len_at(self, axis,*,latex = ...,description = ...) -> ArrayLength:
1016
1099
  ...
1017
1100
 
1018
- def set_latex(self, latex = ...):
1101
+ def set_latex(self, latex = ...) -> None:
1019
1102
  r"""
1020
1103
  Set the LaTeX representation of the object.
1021
1104
  If the LaTeX representation is not set, the default representation is set.
@@ -1035,53 +1118,67 @@ class Element:
1035
1118
  def _repr_latex_(self) -> str:
1036
1119
  ...
1037
1120
 
1038
- def __getitem__(self, index) -> Any:
1121
+ def __getitem__(self, index:typing.Any) -> Subscript:
1039
1122
  ...
1040
1123
 
1041
- def __richcmp__(self, other, op) -> Any:
1124
+ def __eq__(self, other:typing.Any) -> typing.Any:
1042
1125
  ...
1043
1126
 
1044
- def __pow__(self, exponent,modulo = ...) -> Any:
1127
+ def __ne__(self, other:typing.Any) -> typing.Any:
1045
1128
  ...
1046
1129
 
1047
- def __rpow__(self, base,modulo = ...) -> Any:
1130
+ def __lt__(self, other:typing.Any) -> typing.Any:
1048
1131
  ...
1049
1132
 
1050
- def __mod__(self, other) -> Any:
1133
+ def __le__(self, other:typing.Any) -> typing.Any:
1051
1134
  ...
1052
1135
 
1053
- def __rmod__(self, other) -> Any:
1136
+ def __gt__(self, other:typing.Any) -> typing.Any:
1054
1137
  ...
1055
1138
 
1056
- def __truediv__(self, other) -> Any:
1139
+ def __ge__(self, other:typing.Any) -> typing.Any:
1057
1140
  ...
1058
1141
 
1059
- def __rtruediv__(self, other) -> Any:
1142
+ def __pow__(self, exponent,modulo = ...) -> typing.Any:
1060
1143
  ...
1061
1144
 
1062
- def __mul__(self, other) -> Any:
1145
+ def __rpow__(self, base,modulo = ...) -> typing.Any:
1063
1146
  ...
1064
1147
 
1065
- def __rmul__(self, other) -> Any:
1148
+ def __mod__(self, other:typing.Any) -> typing.Any:
1066
1149
  ...
1067
1150
 
1068
- def __sub__(self, other) -> Any:
1151
+ def __rmod__(self, other:typing.Any) -> typing.Any:
1069
1152
  ...
1070
1153
 
1071
- def __rsub__(self, other) -> Any:
1154
+ def __truediv__(self, other:typing.Any) -> typing.Any:
1072
1155
  ...
1073
1156
 
1074
- def __add__(self, other) -> Any:
1157
+ def __rtruediv__(self, other:typing.Any) -> typing.Any:
1075
1158
  ...
1076
1159
 
1077
- def __radd__(self, other) -> Any:
1160
+ def __mul__(self, other:typing.Any) -> typing.Any:
1078
1161
  ...
1079
1162
 
1080
- def __neg__(self) -> Any:
1163
+ def __rmul__(self, other:typing.Any) -> typing.Any:
1164
+ ...
1165
+
1166
+ def __sub__(self, other:typing.Any) -> typing.Any:
1167
+ ...
1168
+
1169
+ def __rsub__(self, other:typing.Any) -> typing.Any:
1170
+ ...
1171
+
1172
+ def __add__(self, other:typing.Any) -> typing.Any:
1173
+ ...
1174
+
1175
+ def __radd__(self, other:typing.Any) -> typing.Any:
1176
+ ...
1177
+
1178
+ def __neg__(self) -> typing.Any:
1081
1179
  ...
1082
1180
 
1083
1181
 
1084
- @final
1085
1182
  class EqualOp:
1086
1183
  r"""
1087
1184
  A class for representing the equal operator
@@ -1098,9 +1195,9 @@ class EqualOp:
1098
1195
  -----
1099
1196
  The `EqualOp` class does not have a constructor.
1100
1197
  """
1101
- left: Any
1102
- right: Any
1103
- def set_latex(self, latex = ...):
1198
+ left: typing.Any
1199
+ right: typing.Any
1200
+ def set_latex(self, latex = ...) -> None:
1104
1201
  r"""
1105
1202
  Set the LaTeX representation of the object.
1106
1203
  If the LaTeX representation is not set, the default representation is set.
@@ -1121,7 +1218,6 @@ class EqualOp:
1121
1218
  ...
1122
1219
 
1123
1220
 
1124
- @final
1125
1221
  class Evaluation:
1126
1222
  r"""
1127
1223
  A class for evaluation.
@@ -1136,13 +1232,13 @@ class Evaluation:
1136
1232
  constraint_values (numpy.ndarray): The constraint value of each sample.
1137
1233
  penalty (dict[str, numpy.ndarray]): The penalty of each sample.
1138
1234
  """
1139
- energy: Any
1140
- objective: Any
1141
- constraint_violations: Any
1142
- constraint_forall: Any
1143
- constraint_values: List[Any]
1144
- penalty: Any
1145
- constraint_expr_values: List[Dict[str, Any]]
1235
+ energy: numpy.typing.NDArray[numpy.float64]
1236
+ objective: numpy.typing.NDArray[numpy.float64]
1237
+ constraint_violations: dict
1238
+ constraint_forall: dict
1239
+ constraint_values: list[dict]
1240
+ penalty: dict
1241
+ constraint_expr_values: list[dict[str, dict]]
1146
1242
  def __new__(cls,energy = ...,objective = ...,constraint_violations = ...,constraint_forall = ...,constraint_values = ...,penalty = ...): ...
1147
1243
  def __str__(self) -> str:
1148
1244
  ...
@@ -1150,10 +1246,10 @@ class Evaluation:
1150
1246
  def __repr__(self) -> str:
1151
1247
  ...
1152
1248
 
1153
- def __richcmp__(self, other, op) -> bool:
1249
+ def __richcmp__(self, other:Evaluation, op:int) -> bool:
1154
1250
  ...
1155
1251
 
1156
- def to_dict(self) -> Any:
1252
+ def to_dict(self) -> dict:
1157
1253
  r"""
1158
1254
  Convert into a dict.
1159
1255
 
@@ -1163,7 +1259,7 @@ class Evaluation:
1163
1259
  ...
1164
1260
 
1165
1261
  @staticmethod
1166
- def from_dict(dict) -> Any:
1262
+ def from_dict(dict:dict) -> Evaluation:
1167
1263
  r"""
1168
1264
  Create a Evaluation object from the given dict.
1169
1265
 
@@ -1187,7 +1283,7 @@ class Evaluation:
1187
1283
  ...
1188
1284
 
1189
1285
  @staticmethod
1190
- def from_json(json) -> Any:
1286
+ def from_json(json:str) -> Evaluation:
1191
1287
  r"""
1192
1288
  Create a Evaluation object from the JSON string.
1193
1289
 
@@ -1199,7 +1295,7 @@ class Evaluation:
1199
1295
  """
1200
1296
  ...
1201
1297
 
1202
- def to_pandas(self) -> Any:
1298
+ def to_pandas(self) -> typing.Any:
1203
1299
  r"""
1204
1300
  Convert into a pandas DataFrame.
1205
1301
 
@@ -1209,7 +1305,6 @@ class Evaluation:
1209
1305
  ...
1210
1306
 
1211
1307
 
1212
- @final
1213
1308
  class FloorOp:
1214
1309
  r"""
1215
1310
  A class for representing the floor operator
@@ -1225,8 +1320,8 @@ class FloorOp:
1225
1320
  -----
1226
1321
  The `FloorOp` class does not have a constructor.
1227
1322
  """
1228
- operand: Any
1229
- def set_latex(self, latex = ...):
1323
+ operand: typing.Any
1324
+ def set_latex(self, latex = ...) -> None:
1230
1325
  r"""
1231
1326
  Set the LaTeX representation of the object.
1232
1327
  If the LaTeX representation is not set, the default representation is set.
@@ -1246,50 +1341,64 @@ class FloorOp:
1246
1341
  def _repr_latex_(self) -> str:
1247
1342
  ...
1248
1343
 
1249
- def __richcmp__(self, other, op) -> Any:
1344
+ def __eq__(self, other:typing.Any) -> typing.Any:
1250
1345
  ...
1251
1346
 
1252
- def __pow__(self, exponent,modulo = ...) -> Any:
1347
+ def __ne__(self, other:typing.Any) -> typing.Any:
1253
1348
  ...
1254
1349
 
1255
- def __rpow__(self, base,modulo = ...) -> Any:
1350
+ def __lt__(self, other:typing.Any) -> typing.Any:
1256
1351
  ...
1257
1352
 
1258
- def __mod__(self, other) -> Any:
1353
+ def __le__(self, other:typing.Any) -> typing.Any:
1259
1354
  ...
1260
1355
 
1261
- def __rmod__(self, other) -> Any:
1356
+ def __gt__(self, other:typing.Any) -> typing.Any:
1262
1357
  ...
1263
1358
 
1264
- def __truediv__(self, other) -> Any:
1359
+ def __ge__(self, other:typing.Any) -> typing.Any:
1265
1360
  ...
1266
1361
 
1267
- def __rtruediv__(self, other) -> Any:
1362
+ def __pow__(self, exponent,modulo = ...) -> typing.Any:
1268
1363
  ...
1269
1364
 
1270
- def __mul__(self, other) -> Any:
1365
+ def __rpow__(self, base,modulo = ...) -> typing.Any:
1271
1366
  ...
1272
1367
 
1273
- def __rmul__(self, other) -> Any:
1368
+ def __mod__(self, other:typing.Any) -> typing.Any:
1274
1369
  ...
1275
1370
 
1276
- def __sub__(self, other) -> Any:
1371
+ def __rmod__(self, other:typing.Any) -> typing.Any:
1277
1372
  ...
1278
1373
 
1279
- def __rsub__(self, other) -> Any:
1374
+ def __truediv__(self, other:typing.Any) -> typing.Any:
1280
1375
  ...
1281
1376
 
1282
- def __add__(self, other) -> Any:
1377
+ def __rtruediv__(self, other:typing.Any) -> typing.Any:
1283
1378
  ...
1284
1379
 
1285
- def __radd__(self, other) -> Any:
1380
+ def __mul__(self, other:typing.Any) -> typing.Any:
1286
1381
  ...
1287
1382
 
1288
- def __neg__(self) -> Any:
1383
+ def __rmul__(self, other:typing.Any) -> typing.Any:
1384
+ ...
1385
+
1386
+ def __sub__(self, other:typing.Any) -> typing.Any:
1387
+ ...
1388
+
1389
+ def __rsub__(self, other:typing.Any) -> typing.Any:
1390
+ ...
1391
+
1392
+ def __add__(self, other:typing.Any) -> typing.Any:
1393
+ ...
1394
+
1395
+ def __radd__(self, other:typing.Any) -> typing.Any:
1396
+ ...
1397
+
1398
+ def __neg__(self) -> typing.Any:
1289
1399
  ...
1290
1400
 
1291
1401
 
1292
- @final
1293
1402
  class GreaterThanEqualOp:
1294
1403
  r"""
1295
1404
  A class for representing the greater than equal operator
@@ -1306,9 +1415,9 @@ class GreaterThanEqualOp:
1306
1415
  -----
1307
1416
  The `GreaterThanEqualOp` class does not have a constructor.
1308
1417
  """
1309
- left: Any
1310
- right: Any
1311
- def set_latex(self, latex = ...):
1418
+ left: typing.Any
1419
+ right: typing.Any
1420
+ def set_latex(self, latex = ...) -> None:
1312
1421
  r"""
1313
1422
  Set the LaTeX representation of the object.
1314
1423
  If the LaTeX representation is not set, the default representation is set.
@@ -1329,7 +1438,6 @@ class GreaterThanEqualOp:
1329
1438
  ...
1330
1439
 
1331
1440
 
1332
- @final
1333
1441
  class GreaterThanOp:
1334
1442
  r"""
1335
1443
  A class for representing the greater than operator
@@ -1346,9 +1454,9 @@ class GreaterThanOp:
1346
1454
  -----
1347
1455
  The `GreaterThanOp` class does not have a constructor.
1348
1456
  """
1349
- left: Any
1350
- right: Any
1351
- def set_latex(self, latex = ...):
1457
+ left: typing.Any
1458
+ right: typing.Any
1459
+ def set_latex(self, latex = ...) -> None:
1352
1460
  r"""
1353
1461
  Set the LaTeX representation of the object.
1354
1462
  If the LaTeX representation is not set, the default representation is set.
@@ -1369,7 +1477,6 @@ class GreaterThanOp:
1369
1477
  ...
1370
1478
 
1371
1479
 
1372
- @final
1373
1480
  class IntegerVar:
1374
1481
  r"""
1375
1482
  A class for creating an integer variable
@@ -1442,20 +1549,20 @@ class IntegerVar:
1442
1549
  name: str
1443
1550
  description: str
1444
1551
  ndim: int
1445
- shape: Any
1446
- lower_bound: Any
1447
- upper_bound: Any
1552
+ shape: tuple
1553
+ lower_bound: typing.Any | Placeholder | Subscript
1554
+ upper_bound: typing.Any | Placeholder | Subscript
1448
1555
  def __new__(cls,name,*,shape = ...,lower_bound,upper_bound,latex = ...,description = ...): ...
1449
- def __getitem__(self, index) -> Any:
1556
+ def __getitem__(self, index:typing.Any) -> typing.Any:
1450
1557
  ...
1451
1558
 
1452
- def __truediv__(self, other) -> Any:
1559
+ def __truediv__(self, other:typing.Any) -> typing.Any:
1453
1560
  ...
1454
1561
 
1455
- def __rtruediv__(self, other) -> Any:
1562
+ def __rtruediv__(self, other:typing.Any) -> typing.Any:
1456
1563
  ...
1457
1564
 
1458
- def set_latex(self, latex = ...):
1565
+ def set_latex(self, latex = ...) -> None:
1459
1566
  r"""
1460
1567
  Set the LaTeX representation of the object.
1461
1568
  If the LaTeX representation is not set, the default representation is set.
@@ -1475,38 +1582,52 @@ class IntegerVar:
1475
1582
  def _repr_latex_(self) -> str:
1476
1583
  ...
1477
1584
 
1478
- def __richcmp__(self, other, op) -> Any:
1585
+ def __eq__(self, other:typing.Any) -> typing.Any:
1586
+ ...
1587
+
1588
+ def __ne__(self, other:typing.Any) -> typing.Any:
1479
1589
  ...
1480
1590
 
1481
- def __pow__(self, exponent,modulo = ...) -> Any:
1591
+ def __lt__(self, other:typing.Any) -> typing.Any:
1482
1592
  ...
1483
1593
 
1484
- def __rpow__(self, base,modulo = ...) -> Any:
1594
+ def __le__(self, other:typing.Any) -> typing.Any:
1485
1595
  ...
1486
1596
 
1487
- def __mul__(self, other) -> Any:
1597
+ def __gt__(self, other:typing.Any) -> typing.Any:
1488
1598
  ...
1489
1599
 
1490
- def __rmul__(self, other) -> Any:
1600
+ def __ge__(self, other:typing.Any) -> typing.Any:
1491
1601
  ...
1492
1602
 
1493
- def __sub__(self, other) -> Any:
1603
+ def __pow__(self, exponent,modulo = ...) -> typing.Any:
1494
1604
  ...
1495
1605
 
1496
- def __rsub__(self, other) -> Any:
1606
+ def __rpow__(self, base,modulo = ...) -> typing.Any:
1497
1607
  ...
1498
1608
 
1499
- def __add__(self, other) -> Any:
1609
+ def __mul__(self, other:typing.Any) -> typing.Any:
1500
1610
  ...
1501
1611
 
1502
- def __radd__(self, other) -> Any:
1612
+ def __rmul__(self, other:typing.Any) -> typing.Any:
1503
1613
  ...
1504
1614
 
1505
- def __neg__(self) -> Any:
1615
+ def __sub__(self, other:typing.Any) -> typing.Any:
1616
+ ...
1617
+
1618
+ def __rsub__(self, other:typing.Any) -> typing.Any:
1619
+ ...
1620
+
1621
+ def __add__(self, other:typing.Any) -> typing.Any:
1622
+ ...
1623
+
1624
+ def __radd__(self, other:typing.Any) -> typing.Any:
1625
+ ...
1626
+
1627
+ def __neg__(self) -> typing.Any:
1506
1628
  ...
1507
1629
 
1508
1630
 
1509
- @final
1510
1631
  class LessThanEqualOp:
1511
1632
  r"""
1512
1633
  A class for representing the less than equal operator
@@ -1523,9 +1644,9 @@ class LessThanEqualOp:
1523
1644
  -----
1524
1645
  The `LessThanEqualOp` class does not have a constructor.
1525
1646
  """
1526
- left: Any
1527
- right: Any
1528
- def set_latex(self, latex = ...):
1647
+ left: typing.Any
1648
+ right: typing.Any
1649
+ def set_latex(self, latex = ...) -> None:
1529
1650
  r"""
1530
1651
  Set the LaTeX representation of the object.
1531
1652
  If the LaTeX representation is not set, the default representation is set.
@@ -1546,7 +1667,6 @@ class LessThanEqualOp:
1546
1667
  ...
1547
1668
 
1548
1669
 
1549
- @final
1550
1670
  class LessThanOp:
1551
1671
  r"""
1552
1672
  A class for representing the less than operator
@@ -1563,9 +1683,9 @@ class LessThanOp:
1563
1683
  -----
1564
1684
  The `LessThanOp` class does not have a constructor.
1565
1685
  """
1566
- left: Any
1567
- right: Any
1568
- def set_latex(self, latex = ...):
1686
+ left: typing.Any
1687
+ right: typing.Any
1688
+ def set_latex(self, latex = ...) -> None:
1569
1689
  r"""
1570
1690
  Set the LaTeX representation of the object.
1571
1691
  If the LaTeX representation is not set, the default representation is set.
@@ -1586,7 +1706,6 @@ class LessThanOp:
1586
1706
  ...
1587
1707
 
1588
1708
 
1589
- @final
1590
1709
  class LnOp:
1591
1710
  r"""
1592
1711
  A class for representing the natural logarithm
@@ -1602,8 +1721,8 @@ class LnOp:
1602
1721
  -----
1603
1722
  The `LnOp` class does not have a constructor.
1604
1723
  """
1605
- operand: Any
1606
- def set_latex(self, latex = ...):
1724
+ operand: typing.Any
1725
+ def set_latex(self, latex = ...) -> None:
1607
1726
  r"""
1608
1727
  Set the LaTeX representation of the object.
1609
1728
  If the LaTeX representation is not set, the default representation is set.
@@ -1623,50 +1742,64 @@ class LnOp:
1623
1742
  def _repr_latex_(self) -> str:
1624
1743
  ...
1625
1744
 
1626
- def __richcmp__(self, other, op) -> Any:
1745
+ def __eq__(self, other:typing.Any) -> typing.Any:
1627
1746
  ...
1628
1747
 
1629
- def __pow__(self, exponent,modulo = ...) -> Any:
1748
+ def __ne__(self, other:typing.Any) -> typing.Any:
1630
1749
  ...
1631
1750
 
1632
- def __rpow__(self, base,modulo = ...) -> Any:
1751
+ def __lt__(self, other:typing.Any) -> typing.Any:
1633
1752
  ...
1634
1753
 
1635
- def __mod__(self, other) -> Any:
1754
+ def __le__(self, other:typing.Any) -> typing.Any:
1636
1755
  ...
1637
1756
 
1638
- def __rmod__(self, other) -> Any:
1757
+ def __gt__(self, other:typing.Any) -> typing.Any:
1639
1758
  ...
1640
1759
 
1641
- def __truediv__(self, other) -> Any:
1760
+ def __ge__(self, other:typing.Any) -> typing.Any:
1642
1761
  ...
1643
1762
 
1644
- def __rtruediv__(self, other) -> Any:
1763
+ def __pow__(self, exponent,modulo = ...) -> typing.Any:
1645
1764
  ...
1646
1765
 
1647
- def __mul__(self, other) -> Any:
1766
+ def __rpow__(self, base,modulo = ...) -> typing.Any:
1648
1767
  ...
1649
1768
 
1650
- def __rmul__(self, other) -> Any:
1769
+ def __mod__(self, other:typing.Any) -> typing.Any:
1651
1770
  ...
1652
1771
 
1653
- def __sub__(self, other) -> Any:
1772
+ def __rmod__(self, other:typing.Any) -> typing.Any:
1654
1773
  ...
1655
1774
 
1656
- def __rsub__(self, other) -> Any:
1775
+ def __truediv__(self, other:typing.Any) -> typing.Any:
1657
1776
  ...
1658
1777
 
1659
- def __add__(self, other) -> Any:
1778
+ def __rtruediv__(self, other:typing.Any) -> typing.Any:
1660
1779
  ...
1661
1780
 
1662
- def __radd__(self, other) -> Any:
1781
+ def __mul__(self, other:typing.Any) -> typing.Any:
1663
1782
  ...
1664
1783
 
1665
- def __neg__(self) -> Any:
1784
+ def __rmul__(self, other:typing.Any) -> typing.Any:
1785
+ ...
1786
+
1787
+ def __sub__(self, other:typing.Any) -> typing.Any:
1788
+ ...
1789
+
1790
+ def __rsub__(self, other:typing.Any) -> typing.Any:
1791
+ ...
1792
+
1793
+ def __add__(self, other:typing.Any) -> typing.Any:
1794
+ ...
1795
+
1796
+ def __radd__(self, other:typing.Any) -> typing.Any:
1797
+ ...
1798
+
1799
+ def __neg__(self) -> typing.Any:
1666
1800
  ...
1667
1801
 
1668
1802
 
1669
- @final
1670
1803
  class Log10Op:
1671
1804
  r"""
1672
1805
  A class for representing the base 10 logarithm
@@ -1682,8 +1815,8 @@ class Log10Op:
1682
1815
  -----
1683
1816
  The `Log10Op` class does not have a constructor.
1684
1817
  """
1685
- operand: Any
1686
- def set_latex(self, latex = ...):
1818
+ operand: typing.Any
1819
+ def set_latex(self, latex = ...) -> None:
1687
1820
  r"""
1688
1821
  Set the LaTeX representation of the object.
1689
1822
  If the LaTeX representation is not set, the default representation is set.
@@ -1703,50 +1836,64 @@ class Log10Op:
1703
1836
  def _repr_latex_(self) -> str:
1704
1837
  ...
1705
1838
 
1706
- def __richcmp__(self, other, op) -> Any:
1839
+ def __eq__(self, other:typing.Any) -> typing.Any:
1840
+ ...
1841
+
1842
+ def __ne__(self, other:typing.Any) -> typing.Any:
1843
+ ...
1844
+
1845
+ def __lt__(self, other:typing.Any) -> typing.Any:
1846
+ ...
1847
+
1848
+ def __le__(self, other:typing.Any) -> typing.Any:
1849
+ ...
1850
+
1851
+ def __gt__(self, other:typing.Any) -> typing.Any:
1707
1852
  ...
1708
1853
 
1709
- def __pow__(self, exponent,modulo = ...) -> Any:
1854
+ def __ge__(self, other:typing.Any) -> typing.Any:
1710
1855
  ...
1711
1856
 
1712
- def __rpow__(self, base,modulo = ...) -> Any:
1857
+ def __pow__(self, exponent,modulo = ...) -> typing.Any:
1713
1858
  ...
1714
1859
 
1715
- def __mod__(self, other) -> Any:
1860
+ def __rpow__(self, base,modulo = ...) -> typing.Any:
1716
1861
  ...
1717
1862
 
1718
- def __rmod__(self, other) -> Any:
1863
+ def __mod__(self, other:typing.Any) -> typing.Any:
1719
1864
  ...
1720
1865
 
1721
- def __truediv__(self, other) -> Any:
1866
+ def __rmod__(self, other:typing.Any) -> typing.Any:
1722
1867
  ...
1723
1868
 
1724
- def __rtruediv__(self, other) -> Any:
1869
+ def __truediv__(self, other:typing.Any) -> typing.Any:
1725
1870
  ...
1726
1871
 
1727
- def __mul__(self, other) -> Any:
1872
+ def __rtruediv__(self, other:typing.Any) -> typing.Any:
1728
1873
  ...
1729
1874
 
1730
- def __rmul__(self, other) -> Any:
1875
+ def __mul__(self, other:typing.Any) -> typing.Any:
1731
1876
  ...
1732
1877
 
1733
- def __sub__(self, other) -> Any:
1878
+ def __rmul__(self, other:typing.Any) -> typing.Any:
1734
1879
  ...
1735
1880
 
1736
- def __rsub__(self, other) -> Any:
1881
+ def __sub__(self, other:typing.Any) -> typing.Any:
1737
1882
  ...
1738
1883
 
1739
- def __add__(self, other) -> Any:
1884
+ def __rsub__(self, other:typing.Any) -> typing.Any:
1740
1885
  ...
1741
1886
 
1742
- def __radd__(self, other) -> Any:
1887
+ def __add__(self, other:typing.Any) -> typing.Any:
1743
1888
  ...
1744
1889
 
1745
- def __neg__(self) -> Any:
1890
+ def __radd__(self, other:typing.Any) -> typing.Any:
1891
+ ...
1892
+
1893
+ def __neg__(self) -> typing.Any:
1746
1894
  ...
1747
1895
 
1748
1896
 
1749
- @final
1750
1897
  class Log2Op:
1751
1898
  r"""
1752
1899
  A class for representing the base 2 logarithm
@@ -1762,8 +1909,8 @@ class Log2Op:
1762
1909
  -----
1763
1910
  The `Log2Op` class does not have a constructor.
1764
1911
  """
1765
- operand: Any
1766
- def set_latex(self, latex = ...):
1912
+ operand: typing.Any
1913
+ def set_latex(self, latex = ...) -> None:
1767
1914
  r"""
1768
1915
  Set the LaTeX representation of the object.
1769
1916
  If the LaTeX representation is not set, the default representation is set.
@@ -1783,50 +1930,64 @@ class Log2Op:
1783
1930
  def _repr_latex_(self) -> str:
1784
1931
  ...
1785
1932
 
1786
- def __richcmp__(self, other, op) -> Any:
1933
+ def __eq__(self, other:typing.Any) -> typing.Any:
1934
+ ...
1935
+
1936
+ def __ne__(self, other:typing.Any) -> typing.Any:
1787
1937
  ...
1788
1938
 
1789
- def __pow__(self, exponent,modulo = ...) -> Any:
1939
+ def __lt__(self, other:typing.Any) -> typing.Any:
1790
1940
  ...
1791
1941
 
1792
- def __rpow__(self, base,modulo = ...) -> Any:
1942
+ def __le__(self, other:typing.Any) -> typing.Any:
1793
1943
  ...
1794
1944
 
1795
- def __mod__(self, other) -> Any:
1945
+ def __gt__(self, other:typing.Any) -> typing.Any:
1796
1946
  ...
1797
1947
 
1798
- def __rmod__(self, other) -> Any:
1948
+ def __ge__(self, other:typing.Any) -> typing.Any:
1799
1949
  ...
1800
1950
 
1801
- def __truediv__(self, other) -> Any:
1951
+ def __pow__(self, exponent,modulo = ...) -> typing.Any:
1802
1952
  ...
1803
1953
 
1804
- def __rtruediv__(self, other) -> Any:
1954
+ def __rpow__(self, base,modulo = ...) -> typing.Any:
1805
1955
  ...
1806
1956
 
1807
- def __mul__(self, other) -> Any:
1957
+ def __mod__(self, other:typing.Any) -> typing.Any:
1808
1958
  ...
1809
1959
 
1810
- def __rmul__(self, other) -> Any:
1960
+ def __rmod__(self, other:typing.Any) -> typing.Any:
1811
1961
  ...
1812
1962
 
1813
- def __sub__(self, other) -> Any:
1963
+ def __truediv__(self, other:typing.Any) -> typing.Any:
1814
1964
  ...
1815
1965
 
1816
- def __rsub__(self, other) -> Any:
1966
+ def __rtruediv__(self, other:typing.Any) -> typing.Any:
1817
1967
  ...
1818
1968
 
1819
- def __add__(self, other) -> Any:
1969
+ def __mul__(self, other:typing.Any) -> typing.Any:
1820
1970
  ...
1821
1971
 
1822
- def __radd__(self, other) -> Any:
1972
+ def __rmul__(self, other:typing.Any) -> typing.Any:
1823
1973
  ...
1824
1974
 
1825
- def __neg__(self) -> Any:
1975
+ def __sub__(self, other:typing.Any) -> typing.Any:
1976
+ ...
1977
+
1978
+ def __rsub__(self, other:typing.Any) -> typing.Any:
1979
+ ...
1980
+
1981
+ def __add__(self, other:typing.Any) -> typing.Any:
1982
+ ...
1983
+
1984
+ def __radd__(self, other:typing.Any) -> typing.Any:
1985
+ ...
1986
+
1987
+ def __neg__(self) -> typing.Any:
1826
1988
  ...
1827
1989
 
1828
1990
 
1829
- @final
1830
1991
  class MaxOp:
1831
1992
  r"""
1832
1993
  A class for representing the maximum value.
@@ -1843,8 +2004,8 @@ class MaxOp:
1843
2004
  The `MaxOp` class does not have a constructor. Its intended
1844
2005
  instantiation method is by calling the `max` function.
1845
2006
  """
1846
- terms: List[Any]
1847
- def set_latex(self, latex = ...):
2007
+ terms: list[typing.Any]
2008
+ def set_latex(self, latex = ...) -> None:
1848
2009
  r"""
1849
2010
  Set the LaTeX representation of the object.
1850
2011
  If the LaTeX representation is not set, the default representation is set.
@@ -1864,50 +2025,64 @@ class MaxOp:
1864
2025
  def _repr_latex_(self) -> str:
1865
2026
  ...
1866
2027
 
1867
- def __richcmp__(self, other, op) -> Any:
2028
+ def __eq__(self, other:typing.Any) -> typing.Any:
1868
2029
  ...
1869
2030
 
1870
- def __pow__(self, exponent,modulo = ...) -> Any:
2031
+ def __ne__(self, other:typing.Any) -> typing.Any:
1871
2032
  ...
1872
2033
 
1873
- def __rpow__(self, base,modulo = ...) -> Any:
2034
+ def __lt__(self, other:typing.Any) -> typing.Any:
1874
2035
  ...
1875
2036
 
1876
- def __mod__(self, other) -> Any:
2037
+ def __le__(self, other:typing.Any) -> typing.Any:
1877
2038
  ...
1878
2039
 
1879
- def __rmod__(self, other) -> Any:
2040
+ def __gt__(self, other:typing.Any) -> typing.Any:
1880
2041
  ...
1881
2042
 
1882
- def __truediv__(self, other) -> Any:
2043
+ def __ge__(self, other:typing.Any) -> typing.Any:
1883
2044
  ...
1884
2045
 
1885
- def __rtruediv__(self, other) -> Any:
2046
+ def __pow__(self, exponent,modulo = ...) -> typing.Any:
1886
2047
  ...
1887
2048
 
1888
- def __mul__(self, other) -> Any:
2049
+ def __rpow__(self, base,modulo = ...) -> typing.Any:
1889
2050
  ...
1890
2051
 
1891
- def __rmul__(self, other) -> Any:
2052
+ def __mod__(self, other:typing.Any) -> typing.Any:
1892
2053
  ...
1893
2054
 
1894
- def __sub__(self, other) -> Any:
2055
+ def __rmod__(self, other:typing.Any) -> typing.Any:
1895
2056
  ...
1896
2057
 
1897
- def __rsub__(self, other) -> Any:
2058
+ def __truediv__(self, other:typing.Any) -> typing.Any:
1898
2059
  ...
1899
2060
 
1900
- def __add__(self, other) -> Any:
2061
+ def __rtruediv__(self, other:typing.Any) -> typing.Any:
1901
2062
  ...
1902
2063
 
1903
- def __radd__(self, other) -> Any:
2064
+ def __mul__(self, other:typing.Any) -> typing.Any:
1904
2065
  ...
1905
2066
 
1906
- def __neg__(self) -> Any:
2067
+ def __rmul__(self, other:typing.Any) -> typing.Any:
2068
+ ...
2069
+
2070
+ def __sub__(self, other:typing.Any) -> typing.Any:
2071
+ ...
2072
+
2073
+ def __rsub__(self, other:typing.Any) -> typing.Any:
2074
+ ...
2075
+
2076
+ def __add__(self, other:typing.Any) -> typing.Any:
2077
+ ...
2078
+
2079
+ def __radd__(self, other:typing.Any) -> typing.Any:
2080
+ ...
2081
+
2082
+ def __neg__(self) -> typing.Any:
1907
2083
  ...
1908
2084
 
1909
2085
 
1910
- @final
1911
2086
  class MeasuringTime:
1912
2087
  r"""
1913
2088
  A class for storing time to be measured.
@@ -1918,9 +2093,9 @@ class MeasuringTime:
1918
2093
  - `system` (`SystemTime`): Time to measure system time.
1919
2094
  - `total` (`float`, optional): Total time to solve the problem. Defaults to None.
1920
2095
  """
1921
- solve: Any
1922
- system: Any
1923
- total: Any
2096
+ solve: SolvingTime
2097
+ system: SystemTime
2098
+ total: typing.Optional[float]
1924
2099
  def __new__(cls,solve = ...,system = ...,total = ...): ...
1925
2100
  def __str__(self) -> str:
1926
2101
  ...
@@ -1928,10 +2103,10 @@ class MeasuringTime:
1928
2103
  def __repr__(self) -> str:
1929
2104
  ...
1930
2105
 
1931
- def __richcmp__(self, other, op) -> bool:
2106
+ def __richcmp__(self, other:MeasuringTime, op:int) -> bool:
1932
2107
  ...
1933
2108
 
1934
- def to_dict(self) -> Any:
2109
+ def to_dict(self) -> dict:
1935
2110
  r"""
1936
2111
  Convert into a dict.
1937
2112
 
@@ -1942,7 +2117,7 @@ class MeasuringTime:
1942
2117
  ...
1943
2118
 
1944
2119
  @staticmethod
1945
- def from_dict(dict) -> Any:
2120
+ def from_dict(dict:dict) -> MeasuringTime:
1946
2121
  r"""
1947
2122
  Create a `MeasuringTime` object from the given dict.
1948
2123
 
@@ -1973,7 +2148,7 @@ class MeasuringTime:
1973
2148
  ...
1974
2149
 
1975
2150
  @staticmethod
1976
- def from_json(json) -> Any:
2151
+ def from_json(json:str) -> MeasuringTime:
1977
2152
  r"""
1978
2153
  Create a `MeasuringTime` object from the JSON string.
1979
2154
 
@@ -1988,7 +2163,6 @@ class MeasuringTime:
1988
2163
  ...
1989
2164
 
1990
2165
 
1991
- @final
1992
2166
  class MinOp:
1993
2167
  r"""
1994
2168
  A class for representing the minimum value.
@@ -2005,8 +2179,8 @@ class MinOp:
2005
2179
  The `MinOp` class does not have a constructor. Its intended
2006
2180
  instantiation method is by calling the `min` function.
2007
2181
  """
2008
- terms: List[Any]
2009
- def set_latex(self, latex = ...):
2182
+ terms: list[typing.Any]
2183
+ def set_latex(self, latex = ...) -> None:
2010
2184
  r"""
2011
2185
  Set the LaTeX representation of the object.
2012
2186
  If the LaTeX representation is not set, the default representation is set.
@@ -2026,50 +2200,64 @@ class MinOp:
2026
2200
  def _repr_latex_(self) -> str:
2027
2201
  ...
2028
2202
 
2029
- def __richcmp__(self, other, op) -> Any:
2203
+ def __eq__(self, other:typing.Any) -> typing.Any:
2204
+ ...
2205
+
2206
+ def __ne__(self, other:typing.Any) -> typing.Any:
2207
+ ...
2208
+
2209
+ def __lt__(self, other:typing.Any) -> typing.Any:
2210
+ ...
2211
+
2212
+ def __le__(self, other:typing.Any) -> typing.Any:
2213
+ ...
2214
+
2215
+ def __gt__(self, other:typing.Any) -> typing.Any:
2030
2216
  ...
2031
2217
 
2032
- def __pow__(self, exponent,modulo = ...) -> Any:
2218
+ def __ge__(self, other:typing.Any) -> typing.Any:
2033
2219
  ...
2034
2220
 
2035
- def __rpow__(self, base,modulo = ...) -> Any:
2221
+ def __pow__(self, exponent,modulo = ...) -> typing.Any:
2036
2222
  ...
2037
2223
 
2038
- def __mod__(self, other) -> Any:
2224
+ def __rpow__(self, base,modulo = ...) -> typing.Any:
2039
2225
  ...
2040
2226
 
2041
- def __rmod__(self, other) -> Any:
2227
+ def __mod__(self, other:typing.Any) -> typing.Any:
2042
2228
  ...
2043
2229
 
2044
- def __truediv__(self, other) -> Any:
2230
+ def __rmod__(self, other:typing.Any) -> typing.Any:
2045
2231
  ...
2046
2232
 
2047
- def __rtruediv__(self, other) -> Any:
2233
+ def __truediv__(self, other:typing.Any) -> typing.Any:
2048
2234
  ...
2049
2235
 
2050
- def __mul__(self, other) -> Any:
2236
+ def __rtruediv__(self, other:typing.Any) -> typing.Any:
2051
2237
  ...
2052
2238
 
2053
- def __rmul__(self, other) -> Any:
2239
+ def __mul__(self, other:typing.Any) -> typing.Any:
2054
2240
  ...
2055
2241
 
2056
- def __sub__(self, other) -> Any:
2242
+ def __rmul__(self, other:typing.Any) -> typing.Any:
2057
2243
  ...
2058
2244
 
2059
- def __rsub__(self, other) -> Any:
2245
+ def __sub__(self, other:typing.Any) -> typing.Any:
2060
2246
  ...
2061
2247
 
2062
- def __add__(self, other) -> Any:
2248
+ def __rsub__(self, other:typing.Any) -> typing.Any:
2063
2249
  ...
2064
2250
 
2065
- def __radd__(self, other) -> Any:
2251
+ def __add__(self, other:typing.Any) -> typing.Any:
2066
2252
  ...
2067
2253
 
2068
- def __neg__(self) -> Any:
2254
+ def __radd__(self, other:typing.Any) -> typing.Any:
2255
+ ...
2256
+
2257
+ def __neg__(self) -> typing.Any:
2069
2258
  ...
2070
2259
 
2071
2260
 
2072
- @final
2073
2261
  class ModOp:
2074
2262
  r"""
2075
2263
  A class for representing modulo
@@ -2086,9 +2274,9 @@ class ModOp:
2086
2274
  -----
2087
2275
  The `ModOp` class does not have a constructor.
2088
2276
  """
2089
- left: Any
2090
- right: Any
2091
- def set_latex(self, latex = ...):
2277
+ left: typing.Any
2278
+ right: typing.Any
2279
+ def set_latex(self, latex = ...) -> None:
2092
2280
  r"""
2093
2281
  Set the LaTeX representation of the object.
2094
2282
  If the LaTeX representation is not set, the default representation is set.
@@ -2108,50 +2296,64 @@ class ModOp:
2108
2296
  def _repr_latex_(self) -> str:
2109
2297
  ...
2110
2298
 
2111
- def __richcmp__(self, other, op) -> Any:
2299
+ def __eq__(self, other:typing.Any) -> typing.Any:
2300
+ ...
2301
+
2302
+ def __ne__(self, other:typing.Any) -> typing.Any:
2303
+ ...
2304
+
2305
+ def __lt__(self, other:typing.Any) -> typing.Any:
2306
+ ...
2307
+
2308
+ def __le__(self, other:typing.Any) -> typing.Any:
2112
2309
  ...
2113
2310
 
2114
- def __pow__(self, exponent,modulo = ...) -> Any:
2311
+ def __gt__(self, other:typing.Any) -> typing.Any:
2115
2312
  ...
2116
2313
 
2117
- def __rpow__(self, base,modulo = ...) -> Any:
2314
+ def __ge__(self, other:typing.Any) -> typing.Any:
2118
2315
  ...
2119
2316
 
2120
- def __mod__(self, other) -> Any:
2317
+ def __pow__(self, exponent,modulo = ...) -> typing.Any:
2121
2318
  ...
2122
2319
 
2123
- def __rmod__(self, other) -> Any:
2320
+ def __rpow__(self, base,modulo = ...) -> typing.Any:
2124
2321
  ...
2125
2322
 
2126
- def __truediv__(self, other) -> Any:
2323
+ def __mod__(self, other:typing.Any) -> typing.Any:
2127
2324
  ...
2128
2325
 
2129
- def __rtruediv__(self, other) -> Any:
2326
+ def __rmod__(self, other:typing.Any) -> typing.Any:
2130
2327
  ...
2131
2328
 
2132
- def __mul__(self, other) -> Any:
2329
+ def __truediv__(self, other:typing.Any) -> typing.Any:
2133
2330
  ...
2134
2331
 
2135
- def __rmul__(self, other) -> Any:
2332
+ def __rtruediv__(self, other:typing.Any) -> typing.Any:
2136
2333
  ...
2137
2334
 
2138
- def __sub__(self, other) -> Any:
2335
+ def __mul__(self, other:typing.Any) -> typing.Any:
2139
2336
  ...
2140
2337
 
2141
- def __rsub__(self, other) -> Any:
2338
+ def __rmul__(self, other:typing.Any) -> typing.Any:
2142
2339
  ...
2143
2340
 
2144
- def __add__(self, other) -> Any:
2341
+ def __sub__(self, other:typing.Any) -> typing.Any:
2145
2342
  ...
2146
2343
 
2147
- def __radd__(self, other) -> Any:
2344
+ def __rsub__(self, other:typing.Any) -> typing.Any:
2148
2345
  ...
2149
2346
 
2150
- def __neg__(self) -> Any:
2347
+ def __add__(self, other:typing.Any) -> typing.Any:
2348
+ ...
2349
+
2350
+ def __radd__(self, other:typing.Any) -> typing.Any:
2351
+ ...
2352
+
2353
+ def __neg__(self) -> typing.Any:
2151
2354
  ...
2152
2355
 
2153
2356
 
2154
- @final
2155
2357
  class MulOp:
2156
2358
  r"""
2157
2359
  A class for representing multiplication
@@ -2170,8 +2372,8 @@ class MulOp:
2170
2372
  instantiation method is by calling the multiplication operation on other
2171
2373
  expressions.
2172
2374
  """
2173
- terms: List[Any]
2174
- def set_latex(self, latex = ...):
2375
+ terms: list[typing.Any]
2376
+ def set_latex(self, latex = ...) -> None:
2175
2377
  r"""
2176
2378
  Set the LaTeX representation of the object.
2177
2379
  If the LaTeX representation is not set, the default representation is set.
@@ -2191,50 +2393,64 @@ class MulOp:
2191
2393
  def _repr_latex_(self) -> str:
2192
2394
  ...
2193
2395
 
2194
- def __richcmp__(self, other, op) -> Any:
2396
+ def __eq__(self, other:typing.Any) -> typing.Any:
2195
2397
  ...
2196
2398
 
2197
- def __pow__(self, exponent,modulo = ...) -> Any:
2399
+ def __ne__(self, other:typing.Any) -> typing.Any:
2198
2400
  ...
2199
2401
 
2200
- def __rpow__(self, base,modulo = ...) -> Any:
2402
+ def __lt__(self, other:typing.Any) -> typing.Any:
2201
2403
  ...
2202
2404
 
2203
- def __mod__(self, other) -> Any:
2405
+ def __le__(self, other:typing.Any) -> typing.Any:
2204
2406
  ...
2205
2407
 
2206
- def __rmod__(self, other) -> Any:
2408
+ def __gt__(self, other:typing.Any) -> typing.Any:
2207
2409
  ...
2208
2410
 
2209
- def __truediv__(self, other) -> Any:
2411
+ def __ge__(self, other:typing.Any) -> typing.Any:
2210
2412
  ...
2211
2413
 
2212
- def __rtruediv__(self, other) -> Any:
2414
+ def __pow__(self, exponent,modulo = ...) -> typing.Any:
2213
2415
  ...
2214
2416
 
2215
- def __mul__(self, other) -> Any:
2417
+ def __rpow__(self, base,modulo = ...) -> typing.Any:
2216
2418
  ...
2217
2419
 
2218
- def __rmul__(self, other) -> Any:
2420
+ def __mod__(self, other:typing.Any) -> typing.Any:
2219
2421
  ...
2220
2422
 
2221
- def __sub__(self, other) -> Any:
2423
+ def __rmod__(self, other:typing.Any) -> typing.Any:
2222
2424
  ...
2223
2425
 
2224
- def __rsub__(self, other) -> Any:
2426
+ def __truediv__(self, other:typing.Any) -> typing.Any:
2225
2427
  ...
2226
2428
 
2227
- def __add__(self, other) -> Any:
2429
+ def __rtruediv__(self, other:typing.Any) -> typing.Any:
2228
2430
  ...
2229
2431
 
2230
- def __radd__(self, other) -> Any:
2432
+ def __mul__(self, other:typing.Any) -> typing.Any:
2231
2433
  ...
2232
2434
 
2233
- def __neg__(self) -> Any:
2435
+ def __rmul__(self, other:typing.Any) -> typing.Any:
2436
+ ...
2437
+
2438
+ def __sub__(self, other:typing.Any) -> typing.Any:
2439
+ ...
2440
+
2441
+ def __rsub__(self, other:typing.Any) -> typing.Any:
2442
+ ...
2443
+
2444
+ def __add__(self, other:typing.Any) -> typing.Any:
2445
+ ...
2446
+
2447
+ def __radd__(self, other:typing.Any) -> typing.Any:
2448
+ ...
2449
+
2450
+ def __neg__(self) -> typing.Any:
2234
2451
  ...
2235
2452
 
2236
2453
 
2237
- @final
2238
2454
  class NotEqualOp:
2239
2455
  r"""
2240
2456
  A class for representing the not equal operator
@@ -2251,9 +2467,9 @@ class NotEqualOp:
2251
2467
  -----
2252
2468
  The `NotEqualOp` class does not have a constructor.
2253
2469
  """
2254
- left: Any
2255
- right: Any
2256
- def set_latex(self, latex = ...):
2470
+ left: typing.Any
2471
+ right: typing.Any
2472
+ def set_latex(self, latex = ...) -> None:
2257
2473
  r"""
2258
2474
  Set the LaTeX representation of the object.
2259
2475
  If the LaTeX representation is not set, the default representation is set.
@@ -2274,7 +2490,6 @@ class NotEqualOp:
2274
2490
  ...
2275
2491
 
2276
2492
 
2277
- @final
2278
2493
  class NumberLit:
2279
2494
  r"""
2280
2495
  A class for creating a number literal
@@ -2316,8 +2531,8 @@ class NumberLit:
2316
2531
 
2317
2532
  ```
2318
2533
  """
2319
- value: Any
2320
- dtype: Any
2534
+ value: int | float
2535
+ dtype: DataType
2321
2536
  def __new__(cls,value): ...
2322
2537
  def __str__(self) -> str:
2323
2538
  ...
@@ -2328,50 +2543,64 @@ class NumberLit:
2328
2543
  def _repr_latex_(self) -> str:
2329
2544
  ...
2330
2545
 
2331
- def __richcmp__(self, other, op) -> Any:
2546
+ def __eq__(self, other:typing.Any) -> typing.Any:
2547
+ ...
2548
+
2549
+ def __ne__(self, other:typing.Any) -> typing.Any:
2550
+ ...
2551
+
2552
+ def __lt__(self, other:typing.Any) -> typing.Any:
2553
+ ...
2554
+
2555
+ def __le__(self, other:typing.Any) -> typing.Any:
2556
+ ...
2557
+
2558
+ def __gt__(self, other:typing.Any) -> typing.Any:
2559
+ ...
2560
+
2561
+ def __ge__(self, other:typing.Any) -> typing.Any:
2332
2562
  ...
2333
2563
 
2334
- def __pow__(self, exponent,modulo = ...) -> Any:
2564
+ def __pow__(self, exponent,modulo = ...) -> typing.Any:
2335
2565
  ...
2336
2566
 
2337
- def __rpow__(self, base,modulo = ...) -> Any:
2567
+ def __rpow__(self, base,modulo = ...) -> typing.Any:
2338
2568
  ...
2339
2569
 
2340
- def __mod__(self, other) -> Any:
2570
+ def __mod__(self, other:typing.Any) -> typing.Any:
2341
2571
  ...
2342
2572
 
2343
- def __rmod__(self, other) -> Any:
2573
+ def __rmod__(self, other:typing.Any) -> typing.Any:
2344
2574
  ...
2345
2575
 
2346
- def __truediv__(self, other) -> Any:
2576
+ def __truediv__(self, other:typing.Any) -> typing.Any:
2347
2577
  ...
2348
2578
 
2349
- def __rtruediv__(self, other) -> Any:
2579
+ def __rtruediv__(self, other:typing.Any) -> typing.Any:
2350
2580
  ...
2351
2581
 
2352
- def __mul__(self, other) -> Any:
2582
+ def __mul__(self, other:typing.Any) -> typing.Any:
2353
2583
  ...
2354
2584
 
2355
- def __rmul__(self, other) -> Any:
2585
+ def __rmul__(self, other:typing.Any) -> typing.Any:
2356
2586
  ...
2357
2587
 
2358
- def __sub__(self, other) -> Any:
2588
+ def __sub__(self, other:typing.Any) -> typing.Any:
2359
2589
  ...
2360
2590
 
2361
- def __rsub__(self, other) -> Any:
2591
+ def __rsub__(self, other:typing.Any) -> typing.Any:
2362
2592
  ...
2363
2593
 
2364
- def __add__(self, other) -> Any:
2594
+ def __add__(self, other:typing.Any) -> typing.Any:
2365
2595
  ...
2366
2596
 
2367
- def __radd__(self, other) -> Any:
2597
+ def __radd__(self, other:typing.Any) -> typing.Any:
2368
2598
  ...
2369
2599
 
2370
- def __neg__(self) -> Any:
2600
+ def __neg__(self) -> typing.Any:
2371
2601
  ...
2372
2602
 
2373
2603
 
2374
- @final
2375
2604
  class OrOp:
2376
2605
  r"""
2377
2606
  A class for representing logical OR
@@ -2388,8 +2617,8 @@ class OrOp:
2388
2617
  -----
2389
2618
  The `OrOp` class does not have a constructor.
2390
2619
  """
2391
- terms: List[Any]
2392
- def set_latex(self, latex = ...):
2620
+ terms: list[typing.Any]
2621
+ def set_latex(self, latex = ...) -> None:
2393
2622
  r"""
2394
2623
  Set the LaTeX representation of the object.
2395
2624
  If the LaTeX representation is not set, the default representation is set.
@@ -2410,7 +2639,6 @@ class OrOp:
2410
2639
  ...
2411
2640
 
2412
2641
 
2413
- @final
2414
2642
  class Placeholder:
2415
2643
  r"""
2416
2644
  A class for creating a placeholder
@@ -2469,13 +2697,13 @@ class Placeholder:
2469
2697
  """
2470
2698
  name: str
2471
2699
  ndim: int
2472
- description: Any
2473
- shape: Any
2700
+ description: typing.Optional[str]
2701
+ shape: tuple
2474
2702
  def __new__(cls,name,*,ndim = ...,latex = ...,description = ...): ...
2475
- def len_at(self, axis,*,latex = ...,description = ...) -> Any:
2703
+ def len_at(self, axis,*,latex = ...,description = ...) -> ArrayLength:
2476
2704
  ...
2477
2705
 
2478
- def set_latex(self, latex = ...):
2706
+ def set_latex(self, latex = ...) -> None:
2479
2707
  r"""
2480
2708
  Set the LaTeX representation of the object.
2481
2709
  If the LaTeX representation is not set, the default representation is set.
@@ -2495,53 +2723,67 @@ class Placeholder:
2495
2723
  def _repr_latex_(self) -> str:
2496
2724
  ...
2497
2725
 
2498
- def __getitem__(self, index) -> Any:
2726
+ def __getitem__(self, index:typing.Any) -> Subscript:
2727
+ ...
2728
+
2729
+ def __eq__(self, other:typing.Any) -> typing.Any:
2730
+ ...
2731
+
2732
+ def __ne__(self, other:typing.Any) -> typing.Any:
2733
+ ...
2734
+
2735
+ def __lt__(self, other:typing.Any) -> typing.Any:
2499
2736
  ...
2500
2737
 
2501
- def __richcmp__(self, other, op) -> Any:
2738
+ def __le__(self, other:typing.Any) -> typing.Any:
2502
2739
  ...
2503
2740
 
2504
- def __pow__(self, exponent,modulo = ...) -> Any:
2741
+ def __gt__(self, other:typing.Any) -> typing.Any:
2505
2742
  ...
2506
2743
 
2507
- def __rpow__(self, base,modulo = ...) -> Any:
2744
+ def __ge__(self, other:typing.Any) -> typing.Any:
2508
2745
  ...
2509
2746
 
2510
- def __mod__(self, other) -> Any:
2747
+ def __pow__(self, exponent,modulo = ...) -> typing.Any:
2511
2748
  ...
2512
2749
 
2513
- def __rmod__(self, other) -> Any:
2750
+ def __rpow__(self, base,modulo = ...) -> typing.Any:
2514
2751
  ...
2515
2752
 
2516
- def __truediv__(self, other) -> Any:
2753
+ def __mod__(self, other:typing.Any) -> typing.Any:
2517
2754
  ...
2518
2755
 
2519
- def __rtruediv__(self, other) -> Any:
2756
+ def __rmod__(self, other:typing.Any) -> typing.Any:
2520
2757
  ...
2521
2758
 
2522
- def __mul__(self, other) -> Any:
2759
+ def __truediv__(self, other:typing.Any) -> typing.Any:
2523
2760
  ...
2524
2761
 
2525
- def __rmul__(self, other) -> Any:
2762
+ def __rtruediv__(self, other:typing.Any) -> typing.Any:
2526
2763
  ...
2527
2764
 
2528
- def __sub__(self, other) -> Any:
2765
+ def __mul__(self, other:typing.Any) -> typing.Any:
2529
2766
  ...
2530
2767
 
2531
- def __rsub__(self, other) -> Any:
2768
+ def __rmul__(self, other:typing.Any) -> typing.Any:
2532
2769
  ...
2533
2770
 
2534
- def __add__(self, other) -> Any:
2771
+ def __sub__(self, other:typing.Any) -> typing.Any:
2535
2772
  ...
2536
2773
 
2537
- def __radd__(self, other) -> Any:
2774
+ def __rsub__(self, other:typing.Any) -> typing.Any:
2538
2775
  ...
2539
2776
 
2540
- def __neg__(self) -> Any:
2777
+ def __add__(self, other:typing.Any) -> typing.Any:
2778
+ ...
2779
+
2780
+ def __radd__(self, other:typing.Any) -> typing.Any:
2781
+ ...
2782
+
2783
+ def __neg__(self) -> typing.Any:
2541
2784
  ...
2542
2785
 
2543
2786
 
2544
- @final
2545
2787
  class PowOp:
2546
2788
  r"""
2547
2789
  A class for representing the power operator
@@ -2558,9 +2800,9 @@ class PowOp:
2558
2800
  -----
2559
2801
  The `PowOp` class does not have a constructor.
2560
2802
  """
2561
- base: Any
2562
- exponent: Any
2563
- def set_latex(self, latex = ...):
2803
+ base: typing.Any
2804
+ exponent: typing.Any
2805
+ def set_latex(self, latex = ...) -> None:
2564
2806
  r"""
2565
2807
  Set the LaTeX representation of the object.
2566
2808
  If the LaTeX representation is not set, the default representation is set.
@@ -2580,50 +2822,64 @@ class PowOp:
2580
2822
  def _repr_latex_(self) -> str:
2581
2823
  ...
2582
2824
 
2583
- def __richcmp__(self, other, op) -> Any:
2825
+ def __eq__(self, other:typing.Any) -> typing.Any:
2826
+ ...
2827
+
2828
+ def __ne__(self, other:typing.Any) -> typing.Any:
2829
+ ...
2830
+
2831
+ def __lt__(self, other:typing.Any) -> typing.Any:
2584
2832
  ...
2585
2833
 
2586
- def __pow__(self, exponent,modulo = ...) -> Any:
2834
+ def __le__(self, other:typing.Any) -> typing.Any:
2587
2835
  ...
2588
2836
 
2589
- def __rpow__(self, base,modulo = ...) -> Any:
2837
+ def __gt__(self, other:typing.Any) -> typing.Any:
2590
2838
  ...
2591
2839
 
2592
- def __mod__(self, other) -> Any:
2840
+ def __ge__(self, other:typing.Any) -> typing.Any:
2593
2841
  ...
2594
2842
 
2595
- def __rmod__(self, other) -> Any:
2843
+ def __pow__(self, exponent,modulo = ...) -> typing.Any:
2596
2844
  ...
2597
2845
 
2598
- def __truediv__(self, other) -> Any:
2846
+ def __rpow__(self, base,modulo = ...) -> typing.Any:
2599
2847
  ...
2600
2848
 
2601
- def __rtruediv__(self, other) -> Any:
2849
+ def __mod__(self, other:typing.Any) -> typing.Any:
2602
2850
  ...
2603
2851
 
2604
- def __mul__(self, other) -> Any:
2852
+ def __rmod__(self, other:typing.Any) -> typing.Any:
2605
2853
  ...
2606
2854
 
2607
- def __rmul__(self, other) -> Any:
2855
+ def __truediv__(self, other:typing.Any) -> typing.Any:
2608
2856
  ...
2609
2857
 
2610
- def __sub__(self, other) -> Any:
2858
+ def __rtruediv__(self, other:typing.Any) -> typing.Any:
2611
2859
  ...
2612
2860
 
2613
- def __rsub__(self, other) -> Any:
2861
+ def __mul__(self, other:typing.Any) -> typing.Any:
2614
2862
  ...
2615
2863
 
2616
- def __add__(self, other) -> Any:
2864
+ def __rmul__(self, other:typing.Any) -> typing.Any:
2617
2865
  ...
2618
2866
 
2619
- def __radd__(self, other) -> Any:
2867
+ def __sub__(self, other:typing.Any) -> typing.Any:
2620
2868
  ...
2621
2869
 
2622
- def __neg__(self) -> Any:
2870
+ def __rsub__(self, other:typing.Any) -> typing.Any:
2871
+ ...
2872
+
2873
+ def __add__(self, other:typing.Any) -> typing.Any:
2874
+ ...
2875
+
2876
+ def __radd__(self, other:typing.Any) -> typing.Any:
2877
+ ...
2878
+
2879
+ def __neg__(self) -> typing.Any:
2623
2880
  ...
2624
2881
 
2625
2882
 
2626
- @final
2627
2883
  class Problem:
2628
2884
  r"""
2629
2885
  A class for creating an optimization problem
@@ -2646,19 +2902,21 @@ class Problem:
2646
2902
  - `sense` (optional): Sense of the optimization problem. Defaults to `ProblemSense.MINIMIZE`.
2647
2903
  """
2648
2904
  name: str
2649
- sense: Any
2650
- objective: Any
2651
- constraints: Dict[str, Any]
2652
- custom_penalty_terms: Dict[str, Any]
2905
+ sense: ProblemSense
2906
+ objective: typing.Any
2907
+ constraints: dict[str, Constraint]
2908
+ custom_penalty_terms: dict[str, CustomPenaltyTerm]
2653
2909
  def __new__(cls,name,*,sense = ...): ...
2910
+ def __iadd__(self, other:typing.Any) -> Problem:
2911
+ ...
2912
+
2654
2913
  def _repr_latex_(self) -> str:
2655
2914
  ...
2656
2915
 
2657
- def __iadd__(self, other) -> Any:
2916
+ def used_placeholders(self) -> list[Placeholder]:
2658
2917
  ...
2659
2918
 
2660
2919
 
2661
- @final
2662
2920
  class ProdOp:
2663
2921
  r"""
2664
2922
  A class for representing product
@@ -2676,10 +2934,10 @@ class ProdOp:
2676
2934
  -----
2677
2935
  The `ProdOp` class does not have a constructor.
2678
2936
  """
2679
- index: Any
2680
- condition: Any
2681
- operand: Any
2682
- def set_latex(self, latex = ...):
2937
+ index: Element
2938
+ condition: typing.Optional[typing.Any]
2939
+ operand: typing.Any
2940
+ def set_latex(self, latex = ...) -> None:
2683
2941
  r"""
2684
2942
  Set the LaTeX representation of the object.
2685
2943
  If the LaTeX representation is not set, the default representation is set.
@@ -2699,50 +2957,64 @@ class ProdOp:
2699
2957
  def _repr_latex_(self) -> str:
2700
2958
  ...
2701
2959
 
2702
- def __richcmp__(self, other, op) -> Any:
2960
+ def __eq__(self, other:typing.Any) -> typing.Any:
2703
2961
  ...
2704
2962
 
2705
- def __pow__(self, exponent,modulo = ...) -> Any:
2963
+ def __ne__(self, other:typing.Any) -> typing.Any:
2706
2964
  ...
2707
2965
 
2708
- def __rpow__(self, base,modulo = ...) -> Any:
2966
+ def __lt__(self, other:typing.Any) -> typing.Any:
2709
2967
  ...
2710
2968
 
2711
- def __mod__(self, other) -> Any:
2969
+ def __le__(self, other:typing.Any) -> typing.Any:
2712
2970
  ...
2713
2971
 
2714
- def __rmod__(self, other) -> Any:
2972
+ def __gt__(self, other:typing.Any) -> typing.Any:
2715
2973
  ...
2716
2974
 
2717
- def __truediv__(self, other) -> Any:
2975
+ def __ge__(self, other:typing.Any) -> typing.Any:
2718
2976
  ...
2719
2977
 
2720
- def __rtruediv__(self, other) -> Any:
2978
+ def __pow__(self, exponent,modulo = ...) -> typing.Any:
2721
2979
  ...
2722
2980
 
2723
- def __mul__(self, other) -> Any:
2981
+ def __rpow__(self, base,modulo = ...) -> typing.Any:
2724
2982
  ...
2725
2983
 
2726
- def __rmul__(self, other) -> Any:
2984
+ def __mod__(self, other:typing.Any) -> typing.Any:
2727
2985
  ...
2728
2986
 
2729
- def __sub__(self, other) -> Any:
2987
+ def __rmod__(self, other:typing.Any) -> typing.Any:
2730
2988
  ...
2731
2989
 
2732
- def __rsub__(self, other) -> Any:
2990
+ def __truediv__(self, other:typing.Any) -> typing.Any:
2733
2991
  ...
2734
2992
 
2735
- def __add__(self, other) -> Any:
2993
+ def __rtruediv__(self, other:typing.Any) -> typing.Any:
2736
2994
  ...
2737
2995
 
2738
- def __radd__(self, other) -> Any:
2996
+ def __mul__(self, other:typing.Any) -> typing.Any:
2739
2997
  ...
2740
2998
 
2741
- def __neg__(self) -> Any:
2999
+ def __rmul__(self, other:typing.Any) -> typing.Any:
3000
+ ...
3001
+
3002
+ def __sub__(self, other:typing.Any) -> typing.Any:
3003
+ ...
3004
+
3005
+ def __rsub__(self, other:typing.Any) -> typing.Any:
3006
+ ...
3007
+
3008
+ def __add__(self, other:typing.Any) -> typing.Any:
3009
+ ...
3010
+
3011
+ def __radd__(self, other:typing.Any) -> typing.Any:
3012
+ ...
3013
+
3014
+ def __neg__(self) -> typing.Any:
2742
3015
  ...
2743
3016
 
2744
3017
 
2745
- @final
2746
3018
  class Range:
2747
3019
  r"""
2748
3020
  A class representing a half-open interval.
@@ -2759,8 +3031,8 @@ class Range:
2759
3031
  -----
2760
3032
  This class does not contain any decision variable.
2761
3033
  """
2762
- start: Any
2763
- end: Any
3034
+ start: typing.Any
3035
+ end: typing.Any
2764
3036
  def __str__(self) -> str:
2765
3037
  ...
2766
3038
 
@@ -2768,7 +3040,6 @@ class Range:
2768
3040
  ...
2769
3041
 
2770
3042
 
2771
- @final
2772
3043
  class Record:
2773
3044
  r"""
2774
3045
  A class for representing a record.
@@ -2815,8 +3086,8 @@ class Record:
2815
3086
  - `solution` (`Union[Dict[str, List[numpy.ndarray]], Dict[str, List[Tuple[List[int], List[float], Tuple[int, ...]]]]]`): A solution.
2816
3087
  - `num_occurrences` (`List[int]`): A list of the number of occurrences in which the solution is observed.
2817
3088
  """
2818
- num_occurrences: List[int]
2819
- solution: Any
3089
+ num_occurrences: list[int]
3090
+ solution: dict
2820
3091
  def __new__(cls,solution,num_occurrences): ...
2821
3092
  def __str__(self) -> str:
2822
3093
  ...
@@ -2824,10 +3095,10 @@ class Record:
2824
3095
  def __repr__(self) -> str:
2825
3096
  ...
2826
3097
 
2827
- def __richcmp__(self, other, op) -> bool:
3098
+ def __richcmp__(self, other:Record, op:int) -> bool:
2828
3099
  ...
2829
3100
 
2830
- def to_dict(self) -> Any:
3101
+ def to_dict(self) -> dict:
2831
3102
  r"""
2832
3103
  Convert into a dict.
2833
3104
 
@@ -2838,7 +3109,7 @@ class Record:
2838
3109
  ...
2839
3110
 
2840
3111
  @staticmethod
2841
- def from_dict(dict) -> Any:
3112
+ def from_dict(dict:dict) -> Record:
2842
3113
  r"""
2843
3114
  Create a Record object from the given dict.
2844
3115
 
@@ -2869,7 +3140,7 @@ class Record:
2869
3140
  ...
2870
3141
 
2871
3142
  @staticmethod
2872
- def from_json(json) -> Any:
3143
+ def from_json(json:str) -> Record:
2873
3144
  r"""
2874
3145
  Create a `Record` object from the JSON string.
2875
3146
 
@@ -2903,7 +3174,7 @@ class Record:
2903
3174
  """
2904
3175
  ...
2905
3176
 
2906
- def to_dense(self) -> Any:
3177
+ def to_dense(self) -> Record:
2907
3178
  r"""
2908
3179
  Return a `Record` object whose solution is dense.
2909
3180
 
@@ -2916,7 +3187,7 @@ class Record:
2916
3187
  """
2917
3188
  ...
2918
3189
 
2919
- def to_sparse(self) -> Any:
3190
+ def to_sparse(self) -> Record:
2920
3191
  r"""
2921
3192
  Return a `Record` object whose solution is sparse.
2922
3193
 
@@ -2929,7 +3200,7 @@ class Record:
2929
3200
  """
2930
3201
  ...
2931
3202
 
2932
- def to_pandas(self) -> Any:
3203
+ def to_pandas(self) -> typing.Any:
2933
3204
  r"""
2934
3205
  Convert into a pandas DataFrame.
2935
3206
 
@@ -2940,7 +3211,6 @@ class Record:
2940
3211
  ...
2941
3212
 
2942
3213
 
2943
- @final
2944
3214
  class SampleSet:
2945
3215
  r"""
2946
3216
  A class for storing time of jijzept running.
@@ -2953,10 +3223,10 @@ class SampleSet:
2953
3223
  - `fetch_result` (`float`, optional): Time to fetch result. Defaults to `None`.
2954
3224
  - `deserialize_solution` (`float`, optional): Time to deserialize json object. Defaults to `None`.
2955
3225
  """
2956
- record: Any
2957
- evaluation: Any
2958
- measuring_time: Any
2959
- metadata: Any
3226
+ record: Record
3227
+ evaluation: Evaluation
3228
+ measuring_time: MeasuringTime
3229
+ metadata: dict
2960
3230
  def __new__(cls,record,evaluation,measuring_time,metadata = ...): ...
2961
3231
  def __str__(self) -> str:
2962
3232
  ...
@@ -2964,10 +3234,10 @@ class SampleSet:
2964
3234
  def __repr__(self) -> str:
2965
3235
  ...
2966
3236
 
2967
- def __richcmp__(self, other, op) -> bool:
3237
+ def __richcmp__(self, other:SampleSet, op:int) -> bool:
2968
3238
  ...
2969
3239
 
2970
- def to_dict(self) -> Any:
3240
+ def to_dict(self) -> dict:
2971
3241
  r"""
2972
3242
  Convert into a dict.
2973
3243
 
@@ -2978,7 +3248,7 @@ class SampleSet:
2978
3248
  ...
2979
3249
 
2980
3250
  @staticmethod
2981
- def from_dict(dict) -> Any:
3251
+ def from_dict(dict:dict) -> SampleSet:
2982
3252
  r"""
2983
3253
  Create a `SampleSet` object from the given dict.
2984
3254
 
@@ -3009,7 +3279,7 @@ class SampleSet:
3009
3279
  ...
3010
3280
 
3011
3281
  @staticmethod
3012
- def from_json(json) -> Any:
3282
+ def from_json(json:str) -> SampleSet:
3013
3283
  r"""
3014
3284
  Create a `SampleSet` object from the JSON string.
3015
3285
 
@@ -3023,7 +3293,7 @@ class SampleSet:
3023
3293
  """
3024
3294
  ...
3025
3295
 
3026
- def to_pandas(self) -> Any:
3296
+ def to_pandas(self) -> typing.Any:
3027
3297
  r"""
3028
3298
  Convert into a pandas DataFrame.
3029
3299
 
@@ -3033,7 +3303,7 @@ class SampleSet:
3033
3303
  """
3034
3304
  ...
3035
3305
 
3036
- def to_dense(self) -> Any:
3306
+ def to_dense(self) -> SampleSet:
3037
3307
  r"""
3038
3308
  Return a `SampleSet` whose record is converted into a dense solution format.
3039
3309
  If the record is already a dense solution format, return itself.
@@ -3044,7 +3314,7 @@ class SampleSet:
3044
3314
  """
3045
3315
  ...
3046
3316
 
3047
- def feasible(self, rtol = ...,atol = ...) -> Any:
3317
+ def feasible(self, rtol = ...,atol = ...) -> SampleSet:
3048
3318
  r"""
3049
3319
  Return a `SampleSet` with only feasible solutions.
3050
3320
  If there is no feasible solution, the record and evaluation are empty.
@@ -3065,7 +3335,7 @@ class SampleSet:
3065
3335
  """
3066
3336
  ...
3067
3337
 
3068
- def infeasible(self, rtol = ...,atol = ...) -> Any:
3338
+ def infeasible(self, rtol = ...,atol = ...) -> SampleSet:
3069
3339
  r"""
3070
3340
  Return a `SampleSet` with only infeasible solutions.
3071
3341
  If there is no infeasible solution, the record and evaluation are empty.
@@ -3086,7 +3356,7 @@ class SampleSet:
3086
3356
  """
3087
3357
  ...
3088
3358
 
3089
- def lowest(self, rtol = ...,atol = ...) -> Any:
3359
+ def lowest(self, rtol = ...,atol = ...) -> SampleSet:
3090
3360
  r"""
3091
3361
  Return a `SampleSet` with feasible solutions which has the lowest objective.
3092
3362
  If there is no feasible solution, the record and evaluation are empty.
@@ -3127,7 +3397,7 @@ class SampleSet:
3127
3397
  """
3128
3398
  ...
3129
3399
 
3130
- def get_backend_calculation_time(self) -> Any:
3400
+ def get_backend_calculation_time(self) -> dict:
3131
3401
  r"""
3132
3402
  Return report of the calculation time of the JijZept backends.
3133
3403
 
@@ -3138,7 +3408,6 @@ class SampleSet:
3138
3408
  ...
3139
3409
 
3140
3410
 
3141
- @final
3142
3411
  class SemiContinuousVar:
3143
3412
  r"""
3144
3413
  A class for creating a semi-continuous variable
@@ -3211,20 +3480,20 @@ class SemiContinuousVar:
3211
3480
  name: str
3212
3481
  description: str
3213
3482
  ndim: int
3214
- shape: Any
3215
- lower_bound: Any
3216
- upper_bound: Any
3483
+ shape: tuple
3484
+ lower_bound: typing.Any | Placeholder | Subscript
3485
+ upper_bound: typing.Any | Placeholder | Subscript
3217
3486
  def __new__(cls,name,*,shape = ...,lower_bound,upper_bound,latex = ...,description = ...): ...
3218
- def __getitem__(self, index) -> Any:
3487
+ def __getitem__(self, index:typing.Any) -> typing.Any:
3219
3488
  ...
3220
3489
 
3221
- def __truediv__(self, other) -> Any:
3490
+ def __truediv__(self, other:typing.Any) -> typing.Any:
3222
3491
  ...
3223
3492
 
3224
- def __rtruediv__(self, other) -> Any:
3493
+ def __rtruediv__(self, other:typing.Any) -> typing.Any:
3225
3494
  ...
3226
3495
 
3227
- def set_latex(self, latex = ...):
3496
+ def set_latex(self, latex = ...) -> None:
3228
3497
  r"""
3229
3498
  Set the LaTeX representation of the object.
3230
3499
  If the LaTeX representation is not set, the default representation is set.
@@ -3244,38 +3513,52 @@ class SemiContinuousVar:
3244
3513
  def _repr_latex_(self) -> str:
3245
3514
  ...
3246
3515
 
3247
- def __richcmp__(self, other, op) -> Any:
3516
+ def __eq__(self, other:typing.Any) -> typing.Any:
3517
+ ...
3518
+
3519
+ def __ne__(self, other:typing.Any) -> typing.Any:
3248
3520
  ...
3249
3521
 
3250
- def __pow__(self, exponent,modulo = ...) -> Any:
3522
+ def __lt__(self, other:typing.Any) -> typing.Any:
3251
3523
  ...
3252
3524
 
3253
- def __rpow__(self, base,modulo = ...) -> Any:
3525
+ def __le__(self, other:typing.Any) -> typing.Any:
3254
3526
  ...
3255
3527
 
3256
- def __mul__(self, other) -> Any:
3528
+ def __gt__(self, other:typing.Any) -> typing.Any:
3257
3529
  ...
3258
3530
 
3259
- def __rmul__(self, other) -> Any:
3531
+ def __ge__(self, other:typing.Any) -> typing.Any:
3260
3532
  ...
3261
3533
 
3262
- def __sub__(self, other) -> Any:
3534
+ def __pow__(self, exponent,modulo = ...) -> typing.Any:
3263
3535
  ...
3264
3536
 
3265
- def __rsub__(self, other) -> Any:
3537
+ def __rpow__(self, base,modulo = ...) -> typing.Any:
3266
3538
  ...
3267
3539
 
3268
- def __add__(self, other) -> Any:
3540
+ def __mul__(self, other:typing.Any) -> typing.Any:
3269
3541
  ...
3270
3542
 
3271
- def __radd__(self, other) -> Any:
3543
+ def __rmul__(self, other:typing.Any) -> typing.Any:
3272
3544
  ...
3273
3545
 
3274
- def __neg__(self) -> Any:
3546
+ def __sub__(self, other:typing.Any) -> typing.Any:
3547
+ ...
3548
+
3549
+ def __rsub__(self, other:typing.Any) -> typing.Any:
3550
+ ...
3551
+
3552
+ def __add__(self, other:typing.Any) -> typing.Any:
3553
+ ...
3554
+
3555
+ def __radd__(self, other:typing.Any) -> typing.Any:
3556
+ ...
3557
+
3558
+ def __neg__(self) -> typing.Any:
3275
3559
  ...
3276
3560
 
3277
3561
 
3278
- @final
3279
3562
  class SemiIntegerVar:
3280
3563
  r"""
3281
3564
  A class for creating a semi-integer variable
@@ -3349,20 +3632,20 @@ class SemiIntegerVar:
3349
3632
  name: str
3350
3633
  description: str
3351
3634
  ndim: int
3352
- shape: Any
3353
- lower_bound: Any
3354
- upper_bound: Any
3635
+ shape: tuple
3636
+ lower_bound: typing.Any | Placeholder | Subscript
3637
+ upper_bound: typing.Any | Placeholder | Subscript
3355
3638
  def __new__(cls,name,*,shape = ...,lower_bound,upper_bound,latex = ...,description = ...): ...
3356
- def __getitem__(self, index) -> Any:
3639
+ def __getitem__(self, index:typing.Any) -> typing.Any:
3357
3640
  ...
3358
3641
 
3359
- def __truediv__(self, other) -> Any:
3642
+ def __truediv__(self, other:typing.Any) -> typing.Any:
3360
3643
  ...
3361
3644
 
3362
- def __rtruediv__(self, other) -> Any:
3645
+ def __rtruediv__(self, other:typing.Any) -> typing.Any:
3363
3646
  ...
3364
3647
 
3365
- def set_latex(self, latex = ...):
3648
+ def set_latex(self, latex = ...) -> None:
3366
3649
  r"""
3367
3650
  Set the LaTeX representation of the object.
3368
3651
  If the LaTeX representation is not set, the default representation is set.
@@ -3382,38 +3665,52 @@ class SemiIntegerVar:
3382
3665
  def _repr_latex_(self) -> str:
3383
3666
  ...
3384
3667
 
3385
- def __richcmp__(self, other, op) -> Any:
3668
+ def __eq__(self, other:typing.Any) -> typing.Any:
3386
3669
  ...
3387
3670
 
3388
- def __pow__(self, exponent,modulo = ...) -> Any:
3671
+ def __ne__(self, other:typing.Any) -> typing.Any:
3389
3672
  ...
3390
3673
 
3391
- def __rpow__(self, base,modulo = ...) -> Any:
3674
+ def __lt__(self, other:typing.Any) -> typing.Any:
3392
3675
  ...
3393
3676
 
3394
- def __mul__(self, other) -> Any:
3677
+ def __le__(self, other:typing.Any) -> typing.Any:
3395
3678
  ...
3396
3679
 
3397
- def __rmul__(self, other) -> Any:
3680
+ def __gt__(self, other:typing.Any) -> typing.Any:
3398
3681
  ...
3399
3682
 
3400
- def __sub__(self, other) -> Any:
3683
+ def __ge__(self, other:typing.Any) -> typing.Any:
3401
3684
  ...
3402
3685
 
3403
- def __rsub__(self, other) -> Any:
3686
+ def __pow__(self, exponent,modulo = ...) -> typing.Any:
3404
3687
  ...
3405
3688
 
3406
- def __add__(self, other) -> Any:
3689
+ def __rpow__(self, base,modulo = ...) -> typing.Any:
3407
3690
  ...
3408
3691
 
3409
- def __radd__(self, other) -> Any:
3692
+ def __mul__(self, other:typing.Any) -> typing.Any:
3410
3693
  ...
3411
3694
 
3412
- def __neg__(self) -> Any:
3695
+ def __rmul__(self, other:typing.Any) -> typing.Any:
3696
+ ...
3697
+
3698
+ def __sub__(self, other:typing.Any) -> typing.Any:
3699
+ ...
3700
+
3701
+ def __rsub__(self, other:typing.Any) -> typing.Any:
3702
+ ...
3703
+
3704
+ def __add__(self, other:typing.Any) -> typing.Any:
3705
+ ...
3706
+
3707
+ def __radd__(self, other:typing.Any) -> typing.Any:
3708
+ ...
3709
+
3710
+ def __neg__(self) -> typing.Any:
3413
3711
  ...
3414
3712
 
3415
3713
 
3416
- @final
3417
3714
  class SolvingTime:
3418
3715
  r"""
3419
3716
  A class for storing time to solve a problem.
@@ -3424,9 +3721,9 @@ class SolvingTime:
3424
3721
  - `solve` (`float`, optional): Time to solve the problem. Defaults to None.
3425
3722
  - `postprocess` (`float`, optional): Time to postprocess the problem. Defaults to None.
3426
3723
  """
3427
- preprocess: Any
3428
- solve: Any
3429
- postprocess: Any
3724
+ preprocess: typing.Optional[float]
3725
+ solve: typing.Optional[float]
3726
+ postprocess: typing.Optional[float]
3430
3727
  def __new__(cls,preprocess = ...,solve = ...,postprocess = ...): ...
3431
3728
  def __str__(self) -> str:
3432
3729
  ...
@@ -3434,10 +3731,10 @@ class SolvingTime:
3434
3731
  def __repr__(self) -> str:
3435
3732
  ...
3436
3733
 
3437
- def __richcmp__(self, other, op) -> bool:
3734
+ def __richcmp__(self, other:SolvingTime, op:int) -> bool:
3438
3735
  ...
3439
3736
 
3440
- def to_dict(self) -> Any:
3737
+ def to_dict(self) -> dict:
3441
3738
  r"""
3442
3739
  Convert into a dict.
3443
3740
 
@@ -3448,7 +3745,7 @@ class SolvingTime:
3448
3745
  ...
3449
3746
 
3450
3747
  @staticmethod
3451
- def from_dict(dict) -> Any:
3748
+ def from_dict(dict:dict) -> SolvingTime:
3452
3749
  r"""
3453
3750
  Create a `SolvingTime` object from the given dict.
3454
3751
 
@@ -3479,7 +3776,7 @@ class SolvingTime:
3479
3776
  ...
3480
3777
 
3481
3778
  @staticmethod
3482
- def from_json(json) -> Any:
3779
+ def from_json(json:str) -> SolvingTime:
3483
3780
  r"""
3484
3781
  Create a `SolvingTime` object from the JSON string.
3485
3782
 
@@ -3494,7 +3791,6 @@ class SolvingTime:
3494
3791
  ...
3495
3792
 
3496
3793
 
3497
- @final
3498
3794
  class Subscript:
3499
3795
  r"""
3500
3796
  A class for representing a subscripted variable
@@ -3511,14 +3807,14 @@ class Subscript:
3511
3807
  -----
3512
3808
  The Subscript class does not have a constructor.
3513
3809
  """
3514
- variable: Any
3515
- subscripts: Any
3810
+ variable: typing.Any
3811
+ subscripts: list[typing.Any]
3516
3812
  ndim: int
3517
- shape: Any
3518
- def len_at(self, axis,*,latex = ...,description = ...) -> Any:
3813
+ shape: tuple
3814
+ def len_at(self, axis,*,latex = ...,description = ...) -> ArrayLength:
3519
3815
  ...
3520
3816
 
3521
- def set_latex(self, latex = ...):
3817
+ def set_latex(self, latex = ...) -> None:
3522
3818
  r"""
3523
3819
  Set the LaTeX representation of the object.
3524
3820
  If the LaTeX representation is not set, the default representation is set.
@@ -3538,53 +3834,67 @@ class Subscript:
3538
3834
  def _repr_latex_(self) -> str:
3539
3835
  ...
3540
3836
 
3541
- def __getitem__(self, index) -> Any:
3837
+ def __getitem__(self, index:typing.Any) -> Subscript:
3838
+ ...
3839
+
3840
+ def __eq__(self, other:typing.Any) -> typing.Any:
3841
+ ...
3842
+
3843
+ def __ne__(self, other:typing.Any) -> typing.Any:
3844
+ ...
3845
+
3846
+ def __lt__(self, other:typing.Any) -> typing.Any:
3847
+ ...
3848
+
3849
+ def __le__(self, other:typing.Any) -> typing.Any:
3542
3850
  ...
3543
3851
 
3544
- def __richcmp__(self, other, op) -> Any:
3852
+ def __gt__(self, other:typing.Any) -> typing.Any:
3545
3853
  ...
3546
3854
 
3547
- def __pow__(self, exponent,modulo = ...) -> Any:
3855
+ def __ge__(self, other:typing.Any) -> typing.Any:
3548
3856
  ...
3549
3857
 
3550
- def __rpow__(self, base,modulo = ...) -> Any:
3858
+ def __pow__(self, exponent,modulo = ...) -> typing.Any:
3551
3859
  ...
3552
3860
 
3553
- def __mod__(self, other) -> Any:
3861
+ def __rpow__(self, base,modulo = ...) -> typing.Any:
3554
3862
  ...
3555
3863
 
3556
- def __rmod__(self, other) -> Any:
3864
+ def __mod__(self, other:typing.Any) -> typing.Any:
3557
3865
  ...
3558
3866
 
3559
- def __truediv__(self, other) -> Any:
3867
+ def __rmod__(self, other:typing.Any) -> typing.Any:
3560
3868
  ...
3561
3869
 
3562
- def __rtruediv__(self, other) -> Any:
3870
+ def __truediv__(self, other:typing.Any) -> typing.Any:
3563
3871
  ...
3564
3872
 
3565
- def __mul__(self, other) -> Any:
3873
+ def __rtruediv__(self, other:typing.Any) -> typing.Any:
3566
3874
  ...
3567
3875
 
3568
- def __rmul__(self, other) -> Any:
3876
+ def __mul__(self, other:typing.Any) -> typing.Any:
3569
3877
  ...
3570
3878
 
3571
- def __sub__(self, other) -> Any:
3879
+ def __rmul__(self, other:typing.Any) -> typing.Any:
3572
3880
  ...
3573
3881
 
3574
- def __rsub__(self, other) -> Any:
3882
+ def __sub__(self, other:typing.Any) -> typing.Any:
3575
3883
  ...
3576
3884
 
3577
- def __add__(self, other) -> Any:
3885
+ def __rsub__(self, other:typing.Any) -> typing.Any:
3578
3886
  ...
3579
3887
 
3580
- def __radd__(self, other) -> Any:
3888
+ def __add__(self, other:typing.Any) -> typing.Any:
3581
3889
  ...
3582
3890
 
3583
- def __neg__(self) -> Any:
3891
+ def __radd__(self, other:typing.Any) -> typing.Any:
3892
+ ...
3893
+
3894
+ def __neg__(self) -> typing.Any:
3584
3895
  ...
3585
3896
 
3586
3897
 
3587
- @final
3588
3898
  class SumOp:
3589
3899
  r"""
3590
3900
  A class for representing summation
@@ -3602,10 +3912,10 @@ class SumOp:
3602
3912
  -----
3603
3913
  The `SumOp` class does not have a constructor.
3604
3914
  """
3605
- index: Any
3606
- condition: Any
3607
- operand: Any
3608
- def set_latex(self, latex = ...):
3915
+ index: Element
3916
+ condition: typing.Optional[typing.Any]
3917
+ operand: typing.Any
3918
+ def set_latex(self, latex = ...) -> None:
3609
3919
  r"""
3610
3920
  Set the LaTeX representation of the object.
3611
3921
  If the LaTeX representation is not set, the default representation is set.
@@ -3625,50 +3935,64 @@ class SumOp:
3625
3935
  def _repr_latex_(self) -> str:
3626
3936
  ...
3627
3937
 
3628
- def __richcmp__(self, other, op) -> Any:
3938
+ def __eq__(self, other:typing.Any) -> typing.Any:
3939
+ ...
3940
+
3941
+ def __ne__(self, other:typing.Any) -> typing.Any:
3629
3942
  ...
3630
3943
 
3631
- def __pow__(self, exponent,modulo = ...) -> Any:
3944
+ def __lt__(self, other:typing.Any) -> typing.Any:
3632
3945
  ...
3633
3946
 
3634
- def __rpow__(self, base,modulo = ...) -> Any:
3947
+ def __le__(self, other:typing.Any) -> typing.Any:
3635
3948
  ...
3636
3949
 
3637
- def __mod__(self, other) -> Any:
3950
+ def __gt__(self, other:typing.Any) -> typing.Any:
3638
3951
  ...
3639
3952
 
3640
- def __rmod__(self, other) -> Any:
3953
+ def __ge__(self, other:typing.Any) -> typing.Any:
3641
3954
  ...
3642
3955
 
3643
- def __truediv__(self, other) -> Any:
3956
+ def __pow__(self, exponent,modulo = ...) -> typing.Any:
3644
3957
  ...
3645
3958
 
3646
- def __rtruediv__(self, other) -> Any:
3959
+ def __rpow__(self, base,modulo = ...) -> typing.Any:
3647
3960
  ...
3648
3961
 
3649
- def __mul__(self, other) -> Any:
3962
+ def __mod__(self, other:typing.Any) -> typing.Any:
3650
3963
  ...
3651
3964
 
3652
- def __rmul__(self, other) -> Any:
3965
+ def __rmod__(self, other:typing.Any) -> typing.Any:
3653
3966
  ...
3654
3967
 
3655
- def __sub__(self, other) -> Any:
3968
+ def __truediv__(self, other:typing.Any) -> typing.Any:
3656
3969
  ...
3657
3970
 
3658
- def __rsub__(self, other) -> Any:
3971
+ def __rtruediv__(self, other:typing.Any) -> typing.Any:
3659
3972
  ...
3660
3973
 
3661
- def __add__(self, other) -> Any:
3974
+ def __mul__(self, other:typing.Any) -> typing.Any:
3662
3975
  ...
3663
3976
 
3664
- def __radd__(self, other) -> Any:
3977
+ def __rmul__(self, other:typing.Any) -> typing.Any:
3665
3978
  ...
3666
3979
 
3667
- def __neg__(self) -> Any:
3980
+ def __sub__(self, other:typing.Any) -> typing.Any:
3981
+ ...
3982
+
3983
+ def __rsub__(self, other:typing.Any) -> typing.Any:
3984
+ ...
3985
+
3986
+ def __add__(self, other:typing.Any) -> typing.Any:
3987
+ ...
3988
+
3989
+ def __radd__(self, other:typing.Any) -> typing.Any:
3990
+ ...
3991
+
3992
+ def __neg__(self) -> typing.Any:
3668
3993
  ...
3669
3994
 
3670
3995
 
3671
- @final
3672
3996
  class SystemTime:
3673
3997
  r"""
3674
3998
  A class for storing time of jijzept running.
@@ -3681,11 +4005,11 @@ class SystemTime:
3681
4005
  - `fetch_result` (`float`, optional): Time to fetch result. Defaults to None.
3682
4006
  - `deserialize_solution` (`float`, optional): Time to deserialize json object. Defaults to None.
3683
4007
  """
3684
- post_problem_and_instance_data: Any
3685
- request_queue: Any
3686
- fetch_problem_and_instance_data: Any
3687
- fetch_result: Any
3688
- deserialize_solution: Any
4008
+ post_problem_and_instance_data: typing.Optional[float]
4009
+ request_queue: typing.Optional[float]
4010
+ fetch_problem_and_instance_data: typing.Optional[float]
4011
+ fetch_result: typing.Optional[float]
4012
+ deserialize_solution: typing.Optional[float]
3689
4013
  def __new__(cls,post_problem_and_instance_data = ...,request_queue = ...,fetch_problem_and_instance_data = ...,fetch_result = ...,deserialize_solution = ...): ...
3690
4014
  def __str__(self) -> str:
3691
4015
  ...
@@ -3693,10 +4017,10 @@ class SystemTime:
3693
4017
  def __repr__(self) -> str:
3694
4018
  ...
3695
4019
 
3696
- def __richcmp__(self, other, op) -> bool:
4020
+ def __richcmp__(self, other:SystemTime, op:int) -> bool:
3697
4021
  ...
3698
4022
 
3699
- def to_dict(self) -> Any:
4023
+ def to_dict(self) -> dict:
3700
4024
  r"""
3701
4025
  Convert into a dict.
3702
4026
 
@@ -3707,7 +4031,7 @@ class SystemTime:
3707
4031
  ...
3708
4032
 
3709
4033
  @staticmethod
3710
- def from_dict(dict) -> Any:
4034
+ def from_dict(dict:dict) -> SystemTime:
3711
4035
  r"""
3712
4036
  Create a `SystemTime` object from the given dict.
3713
4037
 
@@ -3738,7 +4062,7 @@ class SystemTime:
3738
4062
  ...
3739
4063
 
3740
4064
  @staticmethod
3741
- def from_json(json) -> Any:
4065
+ def from_json(json:str) -> SystemTime:
3742
4066
  r"""
3743
4067
  Create a `SystemTime` object from the JSON string.
3744
4068
 
@@ -3753,7 +4077,6 @@ class SystemTime:
3753
4077
  ...
3754
4078
 
3755
4079
 
3756
- @final
3757
4080
  class XorOp:
3758
4081
  r"""
3759
4082
  A class for representing logical XOR
@@ -3770,8 +4093,8 @@ class XorOp:
3770
4093
  -----
3771
4094
  The `XorOp` class does not have a constructor.
3772
4095
  """
3773
- terms: List[Any]
3774
- def set_latex(self, latex = ...):
4096
+ terms: list[typing.Any]
4097
+ def set_latex(self, latex = ...) -> None:
3775
4098
  r"""
3776
4099
  Set the LaTeX representation of the object.
3777
4100
  If the LaTeX representation is not set, the default representation is set.
@@ -3792,7 +4115,6 @@ class XorOp:
3792
4115
  ...
3793
4116
 
3794
4117
 
3795
- @final
3796
4118
  class ConstraintSense(Enum):
3797
4119
  r"""
3798
4120
  Equality of a constraint
@@ -3801,12 +4123,10 @@ class ConstraintSense(Enum):
3801
4123
  LESS_THAN_EQUAL = auto()
3802
4124
  GREATER_THAN_EQUAL = auto()
3803
4125
 
3804
- @final
3805
4126
  class DataType(Enum):
3806
4127
  FLOAT = auto()
3807
4128
  INTEGER = auto()
3808
4129
 
3809
- @final
3810
4130
  class ProblemSense(Enum):
3811
4131
  r"""
3812
4132
  An optimization sense
@@ -3814,7 +4134,7 @@ class ProblemSense(Enum):
3814
4134
  MINIMIZE = auto()
3815
4135
  MAXIMIZE = auto()
3816
4136
 
3817
- def abs(operand) -> Any:
4137
+ def abs(operand:typing.Any) -> AbsOp:
3818
4138
  r"""
3819
4139
  Create the `AbsOp` object from the expression.
3820
4140
 
@@ -3843,7 +4163,7 @@ def abs(operand) -> Any:
3843
4163
  """
3844
4164
  ...
3845
4165
 
3846
- def ceil(operand) -> Any:
4166
+ def ceil(operand:typing.Any) -> CeilOp:
3847
4167
  r"""
3848
4168
  Create the `CeilOp` object from the expression.
3849
4169
 
@@ -3872,7 +4192,7 @@ def ceil(operand) -> Any:
3872
4192
  """
3873
4193
  ...
3874
4194
 
3875
- def concatenate(sample_sets) -> Any:
4195
+ def concatenate(sample_sets:typing.Sequence[SampleSet]) -> SampleSet:
3876
4196
  r"""
3877
4197
  Concatenate some `SampleSet` objects into a single `SampleSet` object.
3878
4198
 
@@ -3890,7 +4210,7 @@ def concatenate(sample_sets) -> Any:
3890
4210
  """
3891
4211
  ...
3892
4212
 
3893
- def extract_nodes(obj,class_or_tuple) -> List[Any]:
4213
+ def extract_nodes(obj:typing.Any,class_or_tuple:type | typing.Sequence[type]) -> list[typing.Any]:
3894
4214
  r"""
3895
4215
  Extract all nodes from the given object.
3896
4216
 
@@ -3937,7 +4257,7 @@ def extract_nodes(obj,class_or_tuple) -> List[Any]:
3937
4257
  """
3938
4258
  ...
3939
4259
 
3940
- def extract_variables(obj) -> List[Any]:
4260
+ def extract_variables(obj:typing.Any) -> list[typing.Any]:
3941
4261
  r"""
3942
4262
  Extract all variables from the given object without duplication.
3943
4263
 
@@ -3978,7 +4298,7 @@ def extract_variables(obj) -> List[Any]:
3978
4298
  """
3979
4299
  ...
3980
4300
 
3981
- def floor(operand) -> Any:
4301
+ def floor(operand:typing.Any) -> FloorOp:
3982
4302
  r"""
3983
4303
  Create the `FloorOp` object from the expression.
3984
4304
 
@@ -4007,10 +4327,10 @@ def floor(operand) -> Any:
4007
4327
  """
4008
4328
  ...
4009
4329
 
4010
- def from_protobuf(buf) -> Any:
4330
+ def from_protobuf(buf:bytes) -> typing.Any:
4011
4331
  ...
4012
4332
 
4013
- def is_dynamic_degree(expr) -> bool:
4333
+ def is_dynamic_degree(expr:typing.Any) -> bool:
4014
4334
  r"""
4015
4335
  Return true if degree of the expression is not determined statically.
4016
4336
 
@@ -4038,7 +4358,7 @@ def is_dynamic_degree(expr) -> bool:
4038
4358
  """
4039
4359
  ...
4040
4360
 
4041
- def is_higher_order(expr) -> bool:
4361
+ def is_higher_order(expr:typing.Any) -> bool:
4042
4362
  r"""
4043
4363
  Return true if the degree of the given expression is higher than 2.
4044
4364
 
@@ -4052,7 +4372,7 @@ def is_higher_order(expr) -> bool:
4052
4372
  """
4053
4373
  ...
4054
4374
 
4055
- def is_linear(expr) -> bool:
4375
+ def is_linear(expr:typing.Any) -> bool:
4056
4376
  r"""
4057
4377
  Return true if the given expression is linear.
4058
4378
 
@@ -4066,7 +4386,7 @@ def is_linear(expr) -> bool:
4066
4386
  """
4067
4387
  ...
4068
4388
 
4069
- def is_quadratic(expr) -> bool:
4389
+ def is_quadratic(expr:typing.Any) -> bool:
4070
4390
  r"""
4071
4391
  Return true if the given expression is quadratic.
4072
4392
 
@@ -4080,7 +4400,7 @@ def is_quadratic(expr) -> bool:
4080
4400
  """
4081
4401
  ...
4082
4402
 
4083
- def is_same(src,dst) -> bool:
4403
+ def is_same(src:typing.Any,dst:typing.Any) -> bool:
4084
4404
  r"""
4085
4405
  Return `true` if `src` and `dst` are the same object defined by Jijmodeling.
4086
4406
 
@@ -4131,7 +4451,7 @@ def is_same(src,dst) -> bool:
4131
4451
  """
4132
4452
  ...
4133
4453
 
4134
- def ln(operand) -> Any:
4454
+ def ln(operand:typing.Any) -> LnOp:
4135
4455
  r"""
4136
4456
  Create the `LnOp` object from the expression.
4137
4457
 
@@ -4160,13 +4480,13 @@ def ln(operand) -> Any:
4160
4480
  """
4161
4481
  ...
4162
4482
 
4163
- def load_mps(path) -> Any:
4483
+ def load_mps(path:str) -> tuple:
4164
4484
  r"""
4165
4485
  Load a MPS file as a set of `Problem` and dictionary for instance data
4166
4486
  """
4167
4487
  ...
4168
4488
 
4169
- def load_qplib(path,load_extra_data = ...) -> Any:
4489
+ def load_qplib(path,load_extra_data = ...) -> tuple:
4170
4490
  r"""
4171
4491
  Load a file in QPLIB format to generate a `Problem` object and a
4172
4492
  corresponding instance data dictionary.
@@ -4202,7 +4522,7 @@ def load_qplib(path,load_extra_data = ...) -> Any:
4202
4522
  """
4203
4523
  ...
4204
4524
 
4205
- def log10(operand) -> Any:
4525
+ def log10(operand:typing.Any) -> Log10Op:
4206
4526
  r"""
4207
4527
  Create the `Log10Op` object from the expression.
4208
4528
 
@@ -4231,7 +4551,7 @@ def log10(operand) -> Any:
4231
4551
  """
4232
4552
  ...
4233
4553
 
4234
- def log2(operand) -> Any:
4554
+ def log2(operand:typing.Any) -> Log2Op:
4235
4555
  r"""
4236
4556
  Create the `Log2Op` object from the expression.
4237
4557
 
@@ -4260,7 +4580,7 @@ def log2(operand) -> Any:
4260
4580
  """
4261
4581
  ...
4262
4582
 
4263
- def max(* operands) -> Any:
4583
+ def max(* operands) -> MaxOp:
4264
4584
  r"""
4265
4585
  Create the `MaxOp` object from the expression.
4266
4586
 
@@ -4291,7 +4611,7 @@ def max(* operands) -> Any:
4291
4611
  """
4292
4612
  ...
4293
4613
 
4294
- def min(* operands) -> Any:
4614
+ def min(* operands) -> MinOp:
4295
4615
  r"""
4296
4616
  Create the `MinOp` object from the expression.
4297
4617
 
@@ -4322,7 +4642,7 @@ def min(* operands) -> Any:
4322
4642
  """
4323
4643
  ...
4324
4644
 
4325
- def prod(index,operand) -> Any:
4645
+ def prod(index:typing.Any,operand:typing.Any) -> ProdOp:
4326
4646
  r"""
4327
4647
  Create the `ProdOp` object.
4328
4648
 
@@ -4375,7 +4695,7 @@ def prod(index,operand) -> Any:
4375
4695
  """
4376
4696
  ...
4377
4697
 
4378
- def replace(target,replacer) -> Any:
4698
+ def replace(target:typing.Any,replacer:typing.Any) -> typing.Any:
4379
4699
  r"""
4380
4700
  Replace expression nodes with the result of calling the replacer function.
4381
4701
 
@@ -4460,7 +4780,7 @@ def replace(target,replacer) -> Any:
4460
4780
  """
4461
4781
  ...
4462
4782
 
4463
- def sum(index,operand) -> Any:
4783
+ def sum(index:typing.Any,operand:typing.Any) -> SumOp:
4464
4784
  r"""
4465
4785
  Create the `SumOp` object.
4466
4786
 
@@ -4512,9 +4832,12 @@ def sum(index,operand) -> Any:
4512
4832
  """
4513
4833
  ...
4514
4834
 
4515
- def to_protobuf(obj) -> Any:
4835
+ def to_protobuf(obj:Problem | Constraint | CustomPenaltyTerm | typing.Any | typing.Any) -> bytes:
4516
4836
  ...
4517
4837
 
4518
4838
  class ModelingError(Exception): ...
4839
+
4519
4840
  class ProtobufDeserializationError(Exception): ...
4841
+
4520
4842
  class ProtobufSerializationError(Exception): ...
4843
+