jijmodeling 1.6.0__cp310-cp310-manylinux_2_28_aarch64.whl → 1.7.1__cp310-cp310-manylinux_2_28_aarch64.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.

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,22 +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 = ...): ...
2654
- def _repr_latex_(self) -> str:
2910
+ def __iadd__(self, other:typing.Any) -> Problem:
2655
2911
  ...
2656
2912
 
2657
- def __iadd__(self, other) -> Any:
2913
+ def _repr_latex_(self) -> str:
2658
2914
  ...
2659
2915
 
2660
- def used_placeholders(self) -> List[Any]:
2916
+ def used_placeholders(self) -> list[Placeholder]:
2661
2917
  ...
2662
2918
 
2663
2919
 
2664
- @final
2665
2920
  class ProdOp:
2666
2921
  r"""
2667
2922
  A class for representing product
@@ -2679,10 +2934,10 @@ class ProdOp:
2679
2934
  -----
2680
2935
  The `ProdOp` class does not have a constructor.
2681
2936
  """
2682
- index: Any
2683
- condition: Any
2684
- operand: Any
2685
- 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:
2686
2941
  r"""
2687
2942
  Set the LaTeX representation of the object.
2688
2943
  If the LaTeX representation is not set, the default representation is set.
@@ -2702,50 +2957,64 @@ class ProdOp:
2702
2957
  def _repr_latex_(self) -> str:
2703
2958
  ...
2704
2959
 
2705
- def __richcmp__(self, other, op) -> Any:
2960
+ def __eq__(self, other:typing.Any) -> typing.Any:
2706
2961
  ...
2707
2962
 
2708
- def __pow__(self, exponent,modulo = ...) -> Any:
2963
+ def __ne__(self, other:typing.Any) -> typing.Any:
2709
2964
  ...
2710
2965
 
2711
- def __rpow__(self, base,modulo = ...) -> Any:
2966
+ def __lt__(self, other:typing.Any) -> typing.Any:
2712
2967
  ...
2713
2968
 
2714
- def __mod__(self, other) -> Any:
2969
+ def __le__(self, other:typing.Any) -> typing.Any:
2715
2970
  ...
2716
2971
 
2717
- def __rmod__(self, other) -> Any:
2972
+ def __gt__(self, other:typing.Any) -> typing.Any:
2718
2973
  ...
2719
2974
 
2720
- def __truediv__(self, other) -> Any:
2975
+ def __ge__(self, other:typing.Any) -> typing.Any:
2721
2976
  ...
2722
2977
 
2723
- def __rtruediv__(self, other) -> Any:
2978
+ def __pow__(self, exponent,modulo = ...) -> typing.Any:
2724
2979
  ...
2725
2980
 
2726
- def __mul__(self, other) -> Any:
2981
+ def __rpow__(self, base,modulo = ...) -> typing.Any:
2727
2982
  ...
2728
2983
 
2729
- def __rmul__(self, other) -> Any:
2984
+ def __mod__(self, other:typing.Any) -> typing.Any:
2730
2985
  ...
2731
2986
 
2732
- def __sub__(self, other) -> Any:
2987
+ def __rmod__(self, other:typing.Any) -> typing.Any:
2733
2988
  ...
2734
2989
 
2735
- def __rsub__(self, other) -> Any:
2990
+ def __truediv__(self, other:typing.Any) -> typing.Any:
2736
2991
  ...
2737
2992
 
2738
- def __add__(self, other) -> Any:
2993
+ def __rtruediv__(self, other:typing.Any) -> typing.Any:
2739
2994
  ...
2740
2995
 
2741
- def __radd__(self, other) -> Any:
2996
+ def __mul__(self, other:typing.Any) -> typing.Any:
2742
2997
  ...
2743
2998
 
2744
- 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:
2745
3015
  ...
2746
3016
 
2747
3017
 
2748
- @final
2749
3018
  class Range:
2750
3019
  r"""
2751
3020
  A class representing a half-open interval.
@@ -2762,8 +3031,8 @@ class Range:
2762
3031
  -----
2763
3032
  This class does not contain any decision variable.
2764
3033
  """
2765
- start: Any
2766
- end: Any
3034
+ start: typing.Any
3035
+ end: typing.Any
2767
3036
  def __str__(self) -> str:
2768
3037
  ...
2769
3038
 
@@ -2771,7 +3040,6 @@ class Range:
2771
3040
  ...
2772
3041
 
2773
3042
 
2774
- @final
2775
3043
  class Record:
2776
3044
  r"""
2777
3045
  A class for representing a record.
@@ -2818,8 +3086,8 @@ class Record:
2818
3086
  - `solution` (`Union[Dict[str, List[numpy.ndarray]], Dict[str, List[Tuple[List[int], List[float], Tuple[int, ...]]]]]`): A solution.
2819
3087
  - `num_occurrences` (`List[int]`): A list of the number of occurrences in which the solution is observed.
2820
3088
  """
2821
- num_occurrences: List[int]
2822
- solution: Any
3089
+ num_occurrences: list[int]
3090
+ solution: dict
2823
3091
  def __new__(cls,solution,num_occurrences): ...
2824
3092
  def __str__(self) -> str:
2825
3093
  ...
@@ -2827,10 +3095,10 @@ class Record:
2827
3095
  def __repr__(self) -> str:
2828
3096
  ...
2829
3097
 
2830
- def __richcmp__(self, other, op) -> bool:
3098
+ def __richcmp__(self, other:Record, op:int) -> bool:
2831
3099
  ...
2832
3100
 
2833
- def to_dict(self) -> Any:
3101
+ def to_dict(self) -> dict:
2834
3102
  r"""
2835
3103
  Convert into a dict.
2836
3104
 
@@ -2841,7 +3109,7 @@ class Record:
2841
3109
  ...
2842
3110
 
2843
3111
  @staticmethod
2844
- def from_dict(dict) -> Any:
3112
+ def from_dict(dict:dict) -> Record:
2845
3113
  r"""
2846
3114
  Create a Record object from the given dict.
2847
3115
 
@@ -2872,7 +3140,7 @@ class Record:
2872
3140
  ...
2873
3141
 
2874
3142
  @staticmethod
2875
- def from_json(json) -> Any:
3143
+ def from_json(json:str) -> Record:
2876
3144
  r"""
2877
3145
  Create a `Record` object from the JSON string.
2878
3146
 
@@ -2906,7 +3174,7 @@ class Record:
2906
3174
  """
2907
3175
  ...
2908
3176
 
2909
- def to_dense(self) -> Any:
3177
+ def to_dense(self) -> Record:
2910
3178
  r"""
2911
3179
  Return a `Record` object whose solution is dense.
2912
3180
 
@@ -2919,7 +3187,7 @@ class Record:
2919
3187
  """
2920
3188
  ...
2921
3189
 
2922
- def to_sparse(self) -> Any:
3190
+ def to_sparse(self) -> Record:
2923
3191
  r"""
2924
3192
  Return a `Record` object whose solution is sparse.
2925
3193
 
@@ -2932,7 +3200,7 @@ class Record:
2932
3200
  """
2933
3201
  ...
2934
3202
 
2935
- def to_pandas(self) -> Any:
3203
+ def to_pandas(self) -> typing.Any:
2936
3204
  r"""
2937
3205
  Convert into a pandas DataFrame.
2938
3206
 
@@ -2943,7 +3211,6 @@ class Record:
2943
3211
  ...
2944
3212
 
2945
3213
 
2946
- @final
2947
3214
  class SampleSet:
2948
3215
  r"""
2949
3216
  A class for storing time of jijzept running.
@@ -2956,10 +3223,10 @@ class SampleSet:
2956
3223
  - `fetch_result` (`float`, optional): Time to fetch result. Defaults to `None`.
2957
3224
  - `deserialize_solution` (`float`, optional): Time to deserialize json object. Defaults to `None`.
2958
3225
  """
2959
- record: Any
2960
- evaluation: Any
2961
- measuring_time: Any
2962
- metadata: Any
3226
+ record: Record
3227
+ evaluation: Evaluation
3228
+ measuring_time: MeasuringTime
3229
+ metadata: dict
2963
3230
  def __new__(cls,record,evaluation,measuring_time,metadata = ...): ...
2964
3231
  def __str__(self) -> str:
2965
3232
  ...
@@ -2967,10 +3234,10 @@ class SampleSet:
2967
3234
  def __repr__(self) -> str:
2968
3235
  ...
2969
3236
 
2970
- def __richcmp__(self, other, op) -> bool:
3237
+ def __richcmp__(self, other:SampleSet, op:int) -> bool:
2971
3238
  ...
2972
3239
 
2973
- def to_dict(self) -> Any:
3240
+ def to_dict(self) -> dict:
2974
3241
  r"""
2975
3242
  Convert into a dict.
2976
3243
 
@@ -2981,7 +3248,7 @@ class SampleSet:
2981
3248
  ...
2982
3249
 
2983
3250
  @staticmethod
2984
- def from_dict(dict) -> Any:
3251
+ def from_dict(dict:dict) -> SampleSet:
2985
3252
  r"""
2986
3253
  Create a `SampleSet` object from the given dict.
2987
3254
 
@@ -3012,7 +3279,7 @@ class SampleSet:
3012
3279
  ...
3013
3280
 
3014
3281
  @staticmethod
3015
- def from_json(json) -> Any:
3282
+ def from_json(json:str) -> SampleSet:
3016
3283
  r"""
3017
3284
  Create a `SampleSet` object from the JSON string.
3018
3285
 
@@ -3026,7 +3293,7 @@ class SampleSet:
3026
3293
  """
3027
3294
  ...
3028
3295
 
3029
- def to_pandas(self) -> Any:
3296
+ def to_pandas(self) -> typing.Any:
3030
3297
  r"""
3031
3298
  Convert into a pandas DataFrame.
3032
3299
 
@@ -3036,7 +3303,7 @@ class SampleSet:
3036
3303
  """
3037
3304
  ...
3038
3305
 
3039
- def to_dense(self) -> Any:
3306
+ def to_dense(self) -> SampleSet:
3040
3307
  r"""
3041
3308
  Return a `SampleSet` whose record is converted into a dense solution format.
3042
3309
  If the record is already a dense solution format, return itself.
@@ -3047,7 +3314,7 @@ class SampleSet:
3047
3314
  """
3048
3315
  ...
3049
3316
 
3050
- def feasible(self, rtol = ...,atol = ...) -> Any:
3317
+ def feasible(self, rtol = ...,atol = ...) -> SampleSet:
3051
3318
  r"""
3052
3319
  Return a `SampleSet` with only feasible solutions.
3053
3320
  If there is no feasible solution, the record and evaluation are empty.
@@ -3068,7 +3335,7 @@ class SampleSet:
3068
3335
  """
3069
3336
  ...
3070
3337
 
3071
- def infeasible(self, rtol = ...,atol = ...) -> Any:
3338
+ def infeasible(self, rtol = ...,atol = ...) -> SampleSet:
3072
3339
  r"""
3073
3340
  Return a `SampleSet` with only infeasible solutions.
3074
3341
  If there is no infeasible solution, the record and evaluation are empty.
@@ -3089,7 +3356,7 @@ class SampleSet:
3089
3356
  """
3090
3357
  ...
3091
3358
 
3092
- def lowest(self, rtol = ...,atol = ...) -> Any:
3359
+ def lowest(self, rtol = ...,atol = ...) -> SampleSet:
3093
3360
  r"""
3094
3361
  Return a `SampleSet` with feasible solutions which has the lowest objective.
3095
3362
  If there is no feasible solution, the record and evaluation are empty.
@@ -3130,7 +3397,7 @@ class SampleSet:
3130
3397
  """
3131
3398
  ...
3132
3399
 
3133
- def get_backend_calculation_time(self) -> Any:
3400
+ def get_backend_calculation_time(self) -> dict:
3134
3401
  r"""
3135
3402
  Return report of the calculation time of the JijZept backends.
3136
3403
 
@@ -3141,7 +3408,6 @@ class SampleSet:
3141
3408
  ...
3142
3409
 
3143
3410
 
3144
- @final
3145
3411
  class SemiContinuousVar:
3146
3412
  r"""
3147
3413
  A class for creating a semi-continuous variable
@@ -3214,20 +3480,20 @@ class SemiContinuousVar:
3214
3480
  name: str
3215
3481
  description: str
3216
3482
  ndim: int
3217
- shape: Any
3218
- lower_bound: Any
3219
- upper_bound: Any
3483
+ shape: tuple
3484
+ lower_bound: typing.Any | Placeholder | Subscript
3485
+ upper_bound: typing.Any | Placeholder | Subscript
3220
3486
  def __new__(cls,name,*,shape = ...,lower_bound,upper_bound,latex = ...,description = ...): ...
3221
- def __getitem__(self, index) -> Any:
3487
+ def __getitem__(self, index:typing.Any) -> typing.Any:
3222
3488
  ...
3223
3489
 
3224
- def __truediv__(self, other) -> Any:
3490
+ def __truediv__(self, other:typing.Any) -> typing.Any:
3225
3491
  ...
3226
3492
 
3227
- def __rtruediv__(self, other) -> Any:
3493
+ def __rtruediv__(self, other:typing.Any) -> typing.Any:
3228
3494
  ...
3229
3495
 
3230
- def set_latex(self, latex = ...):
3496
+ def set_latex(self, latex = ...) -> None:
3231
3497
  r"""
3232
3498
  Set the LaTeX representation of the object.
3233
3499
  If the LaTeX representation is not set, the default representation is set.
@@ -3247,38 +3513,52 @@ class SemiContinuousVar:
3247
3513
  def _repr_latex_(self) -> str:
3248
3514
  ...
3249
3515
 
3250
- 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:
3251
3520
  ...
3252
3521
 
3253
- def __pow__(self, exponent,modulo = ...) -> Any:
3522
+ def __lt__(self, other:typing.Any) -> typing.Any:
3254
3523
  ...
3255
3524
 
3256
- def __rpow__(self, base,modulo = ...) -> Any:
3525
+ def __le__(self, other:typing.Any) -> typing.Any:
3257
3526
  ...
3258
3527
 
3259
- def __mul__(self, other) -> Any:
3528
+ def __gt__(self, other:typing.Any) -> typing.Any:
3260
3529
  ...
3261
3530
 
3262
- def __rmul__(self, other) -> Any:
3531
+ def __ge__(self, other:typing.Any) -> typing.Any:
3263
3532
  ...
3264
3533
 
3265
- def __sub__(self, other) -> Any:
3534
+ def __pow__(self, exponent,modulo = ...) -> typing.Any:
3266
3535
  ...
3267
3536
 
3268
- def __rsub__(self, other) -> Any:
3537
+ def __rpow__(self, base,modulo = ...) -> typing.Any:
3269
3538
  ...
3270
3539
 
3271
- def __add__(self, other) -> Any:
3540
+ def __mul__(self, other:typing.Any) -> typing.Any:
3272
3541
  ...
3273
3542
 
3274
- def __radd__(self, other) -> Any:
3543
+ def __rmul__(self, other:typing.Any) -> typing.Any:
3275
3544
  ...
3276
3545
 
3277
- 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:
3278
3559
  ...
3279
3560
 
3280
3561
 
3281
- @final
3282
3562
  class SemiIntegerVar:
3283
3563
  r"""
3284
3564
  A class for creating a semi-integer variable
@@ -3352,20 +3632,20 @@ class SemiIntegerVar:
3352
3632
  name: str
3353
3633
  description: str
3354
3634
  ndim: int
3355
- shape: Any
3356
- lower_bound: Any
3357
- upper_bound: Any
3635
+ shape: tuple
3636
+ lower_bound: typing.Any | Placeholder | Subscript
3637
+ upper_bound: typing.Any | Placeholder | Subscript
3358
3638
  def __new__(cls,name,*,shape = ...,lower_bound,upper_bound,latex = ...,description = ...): ...
3359
- def __getitem__(self, index) -> Any:
3639
+ def __getitem__(self, index:typing.Any) -> typing.Any:
3360
3640
  ...
3361
3641
 
3362
- def __truediv__(self, other) -> Any:
3642
+ def __truediv__(self, other:typing.Any) -> typing.Any:
3363
3643
  ...
3364
3644
 
3365
- def __rtruediv__(self, other) -> Any:
3645
+ def __rtruediv__(self, other:typing.Any) -> typing.Any:
3366
3646
  ...
3367
3647
 
3368
- def set_latex(self, latex = ...):
3648
+ def set_latex(self, latex = ...) -> None:
3369
3649
  r"""
3370
3650
  Set the LaTeX representation of the object.
3371
3651
  If the LaTeX representation is not set, the default representation is set.
@@ -3385,38 +3665,52 @@ class SemiIntegerVar:
3385
3665
  def _repr_latex_(self) -> str:
3386
3666
  ...
3387
3667
 
3388
- def __richcmp__(self, other, op) -> Any:
3668
+ def __eq__(self, other:typing.Any) -> typing.Any:
3389
3669
  ...
3390
3670
 
3391
- def __pow__(self, exponent,modulo = ...) -> Any:
3671
+ def __ne__(self, other:typing.Any) -> typing.Any:
3392
3672
  ...
3393
3673
 
3394
- def __rpow__(self, base,modulo = ...) -> Any:
3674
+ def __lt__(self, other:typing.Any) -> typing.Any:
3395
3675
  ...
3396
3676
 
3397
- def __mul__(self, other) -> Any:
3677
+ def __le__(self, other:typing.Any) -> typing.Any:
3398
3678
  ...
3399
3679
 
3400
- def __rmul__(self, other) -> Any:
3680
+ def __gt__(self, other:typing.Any) -> typing.Any:
3401
3681
  ...
3402
3682
 
3403
- def __sub__(self, other) -> Any:
3683
+ def __ge__(self, other:typing.Any) -> typing.Any:
3404
3684
  ...
3405
3685
 
3406
- def __rsub__(self, other) -> Any:
3686
+ def __pow__(self, exponent,modulo = ...) -> typing.Any:
3407
3687
  ...
3408
3688
 
3409
- def __add__(self, other) -> Any:
3689
+ def __rpow__(self, base,modulo = ...) -> typing.Any:
3410
3690
  ...
3411
3691
 
3412
- def __radd__(self, other) -> Any:
3692
+ def __mul__(self, other:typing.Any) -> typing.Any:
3413
3693
  ...
3414
3694
 
3415
- 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:
3416
3711
  ...
3417
3712
 
3418
3713
 
3419
- @final
3420
3714
  class SolvingTime:
3421
3715
  r"""
3422
3716
  A class for storing time to solve a problem.
@@ -3427,9 +3721,9 @@ class SolvingTime:
3427
3721
  - `solve` (`float`, optional): Time to solve the problem. Defaults to None.
3428
3722
  - `postprocess` (`float`, optional): Time to postprocess the problem. Defaults to None.
3429
3723
  """
3430
- preprocess: Any
3431
- solve: Any
3432
- postprocess: Any
3724
+ preprocess: typing.Optional[float]
3725
+ solve: typing.Optional[float]
3726
+ postprocess: typing.Optional[float]
3433
3727
  def __new__(cls,preprocess = ...,solve = ...,postprocess = ...): ...
3434
3728
  def __str__(self) -> str:
3435
3729
  ...
@@ -3437,10 +3731,10 @@ class SolvingTime:
3437
3731
  def __repr__(self) -> str:
3438
3732
  ...
3439
3733
 
3440
- def __richcmp__(self, other, op) -> bool:
3734
+ def __richcmp__(self, other:SolvingTime, op:int) -> bool:
3441
3735
  ...
3442
3736
 
3443
- def to_dict(self) -> Any:
3737
+ def to_dict(self) -> dict:
3444
3738
  r"""
3445
3739
  Convert into a dict.
3446
3740
 
@@ -3451,7 +3745,7 @@ class SolvingTime:
3451
3745
  ...
3452
3746
 
3453
3747
  @staticmethod
3454
- def from_dict(dict) -> Any:
3748
+ def from_dict(dict:dict) -> SolvingTime:
3455
3749
  r"""
3456
3750
  Create a `SolvingTime` object from the given dict.
3457
3751
 
@@ -3482,7 +3776,7 @@ class SolvingTime:
3482
3776
  ...
3483
3777
 
3484
3778
  @staticmethod
3485
- def from_json(json) -> Any:
3779
+ def from_json(json:str) -> SolvingTime:
3486
3780
  r"""
3487
3781
  Create a `SolvingTime` object from the JSON string.
3488
3782
 
@@ -3497,7 +3791,6 @@ class SolvingTime:
3497
3791
  ...
3498
3792
 
3499
3793
 
3500
- @final
3501
3794
  class Subscript:
3502
3795
  r"""
3503
3796
  A class for representing a subscripted variable
@@ -3514,14 +3807,14 @@ class Subscript:
3514
3807
  -----
3515
3808
  The Subscript class does not have a constructor.
3516
3809
  """
3517
- variable: Any
3518
- subscripts: Any
3810
+ variable: typing.Any
3811
+ subscripts: list[typing.Any]
3519
3812
  ndim: int
3520
- shape: Any
3521
- def len_at(self, axis,*,latex = ...,description = ...) -> Any:
3813
+ shape: tuple
3814
+ def len_at(self, axis,*,latex = ...,description = ...) -> ArrayLength:
3522
3815
  ...
3523
3816
 
3524
- def set_latex(self, latex = ...):
3817
+ def set_latex(self, latex = ...) -> None:
3525
3818
  r"""
3526
3819
  Set the LaTeX representation of the object.
3527
3820
  If the LaTeX representation is not set, the default representation is set.
@@ -3541,53 +3834,67 @@ class Subscript:
3541
3834
  def _repr_latex_(self) -> str:
3542
3835
  ...
3543
3836
 
3544
- 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:
3545
3850
  ...
3546
3851
 
3547
- def __richcmp__(self, other, op) -> Any:
3852
+ def __gt__(self, other:typing.Any) -> typing.Any:
3548
3853
  ...
3549
3854
 
3550
- def __pow__(self, exponent,modulo = ...) -> Any:
3855
+ def __ge__(self, other:typing.Any) -> typing.Any:
3551
3856
  ...
3552
3857
 
3553
- def __rpow__(self, base,modulo = ...) -> Any:
3858
+ def __pow__(self, exponent,modulo = ...) -> typing.Any:
3554
3859
  ...
3555
3860
 
3556
- def __mod__(self, other) -> Any:
3861
+ def __rpow__(self, base,modulo = ...) -> typing.Any:
3557
3862
  ...
3558
3863
 
3559
- def __rmod__(self, other) -> Any:
3864
+ def __mod__(self, other:typing.Any) -> typing.Any:
3560
3865
  ...
3561
3866
 
3562
- def __truediv__(self, other) -> Any:
3867
+ def __rmod__(self, other:typing.Any) -> typing.Any:
3563
3868
  ...
3564
3869
 
3565
- def __rtruediv__(self, other) -> Any:
3870
+ def __truediv__(self, other:typing.Any) -> typing.Any:
3566
3871
  ...
3567
3872
 
3568
- def __mul__(self, other) -> Any:
3873
+ def __rtruediv__(self, other:typing.Any) -> typing.Any:
3569
3874
  ...
3570
3875
 
3571
- def __rmul__(self, other) -> Any:
3876
+ def __mul__(self, other:typing.Any) -> typing.Any:
3572
3877
  ...
3573
3878
 
3574
- def __sub__(self, other) -> Any:
3879
+ def __rmul__(self, other:typing.Any) -> typing.Any:
3575
3880
  ...
3576
3881
 
3577
- def __rsub__(self, other) -> Any:
3882
+ def __sub__(self, other:typing.Any) -> typing.Any:
3578
3883
  ...
3579
3884
 
3580
- def __add__(self, other) -> Any:
3885
+ def __rsub__(self, other:typing.Any) -> typing.Any:
3581
3886
  ...
3582
3887
 
3583
- def __radd__(self, other) -> Any:
3888
+ def __add__(self, other:typing.Any) -> typing.Any:
3584
3889
  ...
3585
3890
 
3586
- def __neg__(self) -> Any:
3891
+ def __radd__(self, other:typing.Any) -> typing.Any:
3892
+ ...
3893
+
3894
+ def __neg__(self) -> typing.Any:
3587
3895
  ...
3588
3896
 
3589
3897
 
3590
- @final
3591
3898
  class SumOp:
3592
3899
  r"""
3593
3900
  A class for representing summation
@@ -3605,10 +3912,10 @@ class SumOp:
3605
3912
  -----
3606
3913
  The `SumOp` class does not have a constructor.
3607
3914
  """
3608
- index: Any
3609
- condition: Any
3610
- operand: Any
3611
- 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:
3612
3919
  r"""
3613
3920
  Set the LaTeX representation of the object.
3614
3921
  If the LaTeX representation is not set, the default representation is set.
@@ -3628,50 +3935,64 @@ class SumOp:
3628
3935
  def _repr_latex_(self) -> str:
3629
3936
  ...
3630
3937
 
3631
- 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:
3632
3942
  ...
3633
3943
 
3634
- def __pow__(self, exponent,modulo = ...) -> Any:
3944
+ def __lt__(self, other:typing.Any) -> typing.Any:
3635
3945
  ...
3636
3946
 
3637
- def __rpow__(self, base,modulo = ...) -> Any:
3947
+ def __le__(self, other:typing.Any) -> typing.Any:
3638
3948
  ...
3639
3949
 
3640
- def __mod__(self, other) -> Any:
3950
+ def __gt__(self, other:typing.Any) -> typing.Any:
3641
3951
  ...
3642
3952
 
3643
- def __rmod__(self, other) -> Any:
3953
+ def __ge__(self, other:typing.Any) -> typing.Any:
3644
3954
  ...
3645
3955
 
3646
- def __truediv__(self, other) -> Any:
3956
+ def __pow__(self, exponent,modulo = ...) -> typing.Any:
3647
3957
  ...
3648
3958
 
3649
- def __rtruediv__(self, other) -> Any:
3959
+ def __rpow__(self, base,modulo = ...) -> typing.Any:
3650
3960
  ...
3651
3961
 
3652
- def __mul__(self, other) -> Any:
3962
+ def __mod__(self, other:typing.Any) -> typing.Any:
3653
3963
  ...
3654
3964
 
3655
- def __rmul__(self, other) -> Any:
3965
+ def __rmod__(self, other:typing.Any) -> typing.Any:
3656
3966
  ...
3657
3967
 
3658
- def __sub__(self, other) -> Any:
3968
+ def __truediv__(self, other:typing.Any) -> typing.Any:
3659
3969
  ...
3660
3970
 
3661
- def __rsub__(self, other) -> Any:
3971
+ def __rtruediv__(self, other:typing.Any) -> typing.Any:
3662
3972
  ...
3663
3973
 
3664
- def __add__(self, other) -> Any:
3974
+ def __mul__(self, other:typing.Any) -> typing.Any:
3665
3975
  ...
3666
3976
 
3667
- def __radd__(self, other) -> Any:
3977
+ def __rmul__(self, other:typing.Any) -> typing.Any:
3668
3978
  ...
3669
3979
 
3670
- 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:
3671
3993
  ...
3672
3994
 
3673
3995
 
3674
- @final
3675
3996
  class SystemTime:
3676
3997
  r"""
3677
3998
  A class for storing time of jijzept running.
@@ -3684,11 +4005,11 @@ class SystemTime:
3684
4005
  - `fetch_result` (`float`, optional): Time to fetch result. Defaults to None.
3685
4006
  - `deserialize_solution` (`float`, optional): Time to deserialize json object. Defaults to None.
3686
4007
  """
3687
- post_problem_and_instance_data: Any
3688
- request_queue: Any
3689
- fetch_problem_and_instance_data: Any
3690
- fetch_result: Any
3691
- 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]
3692
4013
  def __new__(cls,post_problem_and_instance_data = ...,request_queue = ...,fetch_problem_and_instance_data = ...,fetch_result = ...,deserialize_solution = ...): ...
3693
4014
  def __str__(self) -> str:
3694
4015
  ...
@@ -3696,10 +4017,10 @@ class SystemTime:
3696
4017
  def __repr__(self) -> str:
3697
4018
  ...
3698
4019
 
3699
- def __richcmp__(self, other, op) -> bool:
4020
+ def __richcmp__(self, other:SystemTime, op:int) -> bool:
3700
4021
  ...
3701
4022
 
3702
- def to_dict(self) -> Any:
4023
+ def to_dict(self) -> dict:
3703
4024
  r"""
3704
4025
  Convert into a dict.
3705
4026
 
@@ -3710,7 +4031,7 @@ class SystemTime:
3710
4031
  ...
3711
4032
 
3712
4033
  @staticmethod
3713
- def from_dict(dict) -> Any:
4034
+ def from_dict(dict:dict) -> SystemTime:
3714
4035
  r"""
3715
4036
  Create a `SystemTime` object from the given dict.
3716
4037
 
@@ -3741,7 +4062,7 @@ class SystemTime:
3741
4062
  ...
3742
4063
 
3743
4064
  @staticmethod
3744
- def from_json(json) -> Any:
4065
+ def from_json(json:str) -> SystemTime:
3745
4066
  r"""
3746
4067
  Create a `SystemTime` object from the JSON string.
3747
4068
 
@@ -3756,7 +4077,6 @@ class SystemTime:
3756
4077
  ...
3757
4078
 
3758
4079
 
3759
- @final
3760
4080
  class XorOp:
3761
4081
  r"""
3762
4082
  A class for representing logical XOR
@@ -3773,8 +4093,8 @@ class XorOp:
3773
4093
  -----
3774
4094
  The `XorOp` class does not have a constructor.
3775
4095
  """
3776
- terms: List[Any]
3777
- def set_latex(self, latex = ...):
4096
+ terms: list[typing.Any]
4097
+ def set_latex(self, latex = ...) -> None:
3778
4098
  r"""
3779
4099
  Set the LaTeX representation of the object.
3780
4100
  If the LaTeX representation is not set, the default representation is set.
@@ -3795,7 +4115,6 @@ class XorOp:
3795
4115
  ...
3796
4116
 
3797
4117
 
3798
- @final
3799
4118
  class ConstraintSense(Enum):
3800
4119
  r"""
3801
4120
  Equality of a constraint
@@ -3804,12 +4123,10 @@ class ConstraintSense(Enum):
3804
4123
  LESS_THAN_EQUAL = auto()
3805
4124
  GREATER_THAN_EQUAL = auto()
3806
4125
 
3807
- @final
3808
4126
  class DataType(Enum):
3809
4127
  FLOAT = auto()
3810
4128
  INTEGER = auto()
3811
4129
 
3812
- @final
3813
4130
  class ProblemSense(Enum):
3814
4131
  r"""
3815
4132
  An optimization sense
@@ -3817,7 +4134,7 @@ class ProblemSense(Enum):
3817
4134
  MINIMIZE = auto()
3818
4135
  MAXIMIZE = auto()
3819
4136
 
3820
- def abs(operand) -> Any:
4137
+ def abs(operand:typing.Any) -> AbsOp:
3821
4138
  r"""
3822
4139
  Create the `AbsOp` object from the expression.
3823
4140
 
@@ -3846,7 +4163,7 @@ def abs(operand) -> Any:
3846
4163
  """
3847
4164
  ...
3848
4165
 
3849
- def ceil(operand) -> Any:
4166
+ def ceil(operand:typing.Any) -> CeilOp:
3850
4167
  r"""
3851
4168
  Create the `CeilOp` object from the expression.
3852
4169
 
@@ -3875,7 +4192,7 @@ def ceil(operand) -> Any:
3875
4192
  """
3876
4193
  ...
3877
4194
 
3878
- def concatenate(sample_sets) -> Any:
4195
+ def concatenate(sample_sets:typing.Sequence[SampleSet]) -> SampleSet:
3879
4196
  r"""
3880
4197
  Concatenate some `SampleSet` objects into a single `SampleSet` object.
3881
4198
 
@@ -3893,7 +4210,7 @@ def concatenate(sample_sets) -> Any:
3893
4210
  """
3894
4211
  ...
3895
4212
 
3896
- 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]:
3897
4214
  r"""
3898
4215
  Extract all nodes from the given object.
3899
4216
 
@@ -3940,7 +4257,7 @@ def extract_nodes(obj,class_or_tuple) -> List[Any]:
3940
4257
  """
3941
4258
  ...
3942
4259
 
3943
- def extract_variables(obj) -> List[Any]:
4260
+ def extract_variables(obj:typing.Any) -> list[typing.Any]:
3944
4261
  r"""
3945
4262
  Extract all variables from the given object without duplication.
3946
4263
 
@@ -3981,7 +4298,7 @@ def extract_variables(obj) -> List[Any]:
3981
4298
  """
3982
4299
  ...
3983
4300
 
3984
- def floor(operand) -> Any:
4301
+ def floor(operand:typing.Any) -> FloorOp:
3985
4302
  r"""
3986
4303
  Create the `FloorOp` object from the expression.
3987
4304
 
@@ -4010,10 +4327,10 @@ def floor(operand) -> Any:
4010
4327
  """
4011
4328
  ...
4012
4329
 
4013
- def from_protobuf(buf) -> Any:
4330
+ def from_protobuf(buf:bytes) -> typing.Any:
4014
4331
  ...
4015
4332
 
4016
- def is_dynamic_degree(expr) -> bool:
4333
+ def is_dynamic_degree(expr:typing.Any) -> bool:
4017
4334
  r"""
4018
4335
  Return true if degree of the expression is not determined statically.
4019
4336
 
@@ -4041,7 +4358,7 @@ def is_dynamic_degree(expr) -> bool:
4041
4358
  """
4042
4359
  ...
4043
4360
 
4044
- def is_higher_order(expr) -> bool:
4361
+ def is_higher_order(expr:typing.Any) -> bool:
4045
4362
  r"""
4046
4363
  Return true if the degree of the given expression is higher than 2.
4047
4364
 
@@ -4055,7 +4372,7 @@ def is_higher_order(expr) -> bool:
4055
4372
  """
4056
4373
  ...
4057
4374
 
4058
- def is_linear(expr) -> bool:
4375
+ def is_linear(expr:typing.Any) -> bool:
4059
4376
  r"""
4060
4377
  Return true if the given expression is linear.
4061
4378
 
@@ -4069,7 +4386,7 @@ def is_linear(expr) -> bool:
4069
4386
  """
4070
4387
  ...
4071
4388
 
4072
- def is_quadratic(expr) -> bool:
4389
+ def is_quadratic(expr:typing.Any) -> bool:
4073
4390
  r"""
4074
4391
  Return true if the given expression is quadratic.
4075
4392
 
@@ -4083,7 +4400,7 @@ def is_quadratic(expr) -> bool:
4083
4400
  """
4084
4401
  ...
4085
4402
 
4086
- def is_same(src,dst) -> bool:
4403
+ def is_same(src:typing.Any,dst:typing.Any) -> bool:
4087
4404
  r"""
4088
4405
  Return `true` if `src` and `dst` are the same object defined by Jijmodeling.
4089
4406
 
@@ -4134,7 +4451,7 @@ def is_same(src,dst) -> bool:
4134
4451
  """
4135
4452
  ...
4136
4453
 
4137
- def ln(operand) -> Any:
4454
+ def ln(operand:typing.Any) -> LnOp:
4138
4455
  r"""
4139
4456
  Create the `LnOp` object from the expression.
4140
4457
 
@@ -4163,13 +4480,13 @@ def ln(operand) -> Any:
4163
4480
  """
4164
4481
  ...
4165
4482
 
4166
- def load_mps(path) -> Any:
4483
+ def load_mps(path:str) -> tuple:
4167
4484
  r"""
4168
4485
  Load a MPS file as a set of `Problem` and dictionary for instance data
4169
4486
  """
4170
4487
  ...
4171
4488
 
4172
- def load_qplib(path,load_extra_data = ...) -> Any:
4489
+ def load_qplib(path,load_extra_data = ...) -> tuple:
4173
4490
  r"""
4174
4491
  Load a file in QPLIB format to generate a `Problem` object and a
4175
4492
  corresponding instance data dictionary.
@@ -4205,7 +4522,7 @@ def load_qplib(path,load_extra_data = ...) -> Any:
4205
4522
  """
4206
4523
  ...
4207
4524
 
4208
- def log10(operand) -> Any:
4525
+ def log10(operand:typing.Any) -> Log10Op:
4209
4526
  r"""
4210
4527
  Create the `Log10Op` object from the expression.
4211
4528
 
@@ -4234,7 +4551,7 @@ def log10(operand) -> Any:
4234
4551
  """
4235
4552
  ...
4236
4553
 
4237
- def log2(operand) -> Any:
4554
+ def log2(operand:typing.Any) -> Log2Op:
4238
4555
  r"""
4239
4556
  Create the `Log2Op` object from the expression.
4240
4557
 
@@ -4263,7 +4580,7 @@ def log2(operand) -> Any:
4263
4580
  """
4264
4581
  ...
4265
4582
 
4266
- def max(* operands) -> Any:
4583
+ def max(* operands) -> MaxOp:
4267
4584
  r"""
4268
4585
  Create the `MaxOp` object from the expression.
4269
4586
 
@@ -4294,7 +4611,7 @@ def max(* operands) -> Any:
4294
4611
  """
4295
4612
  ...
4296
4613
 
4297
- def min(* operands) -> Any:
4614
+ def min(* operands) -> MinOp:
4298
4615
  r"""
4299
4616
  Create the `MinOp` object from the expression.
4300
4617
 
@@ -4325,7 +4642,7 @@ def min(* operands) -> Any:
4325
4642
  """
4326
4643
  ...
4327
4644
 
4328
- def prod(index,operand) -> Any:
4645
+ def prod(index:typing.Any,operand:typing.Any) -> ProdOp:
4329
4646
  r"""
4330
4647
  Create the `ProdOp` object.
4331
4648
 
@@ -4378,7 +4695,7 @@ def prod(index,operand) -> Any:
4378
4695
  """
4379
4696
  ...
4380
4697
 
4381
- def replace(target,replacer) -> Any:
4698
+ def replace(target:typing.Any,replacer:typing.Any) -> typing.Any:
4382
4699
  r"""
4383
4700
  Replace expression nodes with the result of calling the replacer function.
4384
4701
 
@@ -4463,7 +4780,7 @@ def replace(target,replacer) -> Any:
4463
4780
  """
4464
4781
  ...
4465
4782
 
4466
- def sum(index,operand) -> Any:
4783
+ def sum(index:typing.Any,operand:typing.Any) -> SumOp:
4467
4784
  r"""
4468
4785
  Create the `SumOp` object.
4469
4786
 
@@ -4515,9 +4832,12 @@ def sum(index,operand) -> Any:
4515
4832
  """
4516
4833
  ...
4517
4834
 
4518
- def to_protobuf(obj) -> Any:
4835
+ def to_protobuf(obj:Problem | Constraint | CustomPenaltyTerm | typing.Any | typing.Any) -> bytes:
4519
4836
  ...
4520
4837
 
4521
4838
  class ModelingError(Exception): ...
4839
+
4522
4840
  class ProtobufDeserializationError(Exception): ...
4841
+
4523
4842
  class ProtobufSerializationError(Exception): ...
4843
+