@@ -4810,23 +4810,15 @@ def test_lt_asbinary(self):
4810
4810
(self .asbinary , self .one , InequalityExpression ((self .bin , 1 ), True )),
4811
4811
# 4:
4812
4812
(self .asbinary , self .native , InequalityExpression ((self .bin , 5 ), True )),
4813
- (
4814
- self .asbinary ,
4815
- self .npv ,
4816
- InequalityExpression ((self .bin , self .npv ), True ),
4817
- ),
4813
+ (self .asbinary , self .npv , InequalityExpression ((self .bin , self .npv ), True )),
4818
4814
(self .asbinary , self .param , InequalityExpression ((self .bin , 6 ), True )),
4819
4815
(
4820
4816
self .asbinary ,
4821
4817
self .param_mut ,
4822
4818
InequalityExpression ((self .bin , self .param_mut ), True ),
4823
4819
),
4824
4820
# 8:
4825
- (
4826
- self .asbinary ,
4827
- self .var ,
4828
- InequalityExpression ((self .bin , self .var ), True ),
4829
- ),
4821
+ (self .asbinary , self .var , InequalityExpression ((self .bin , self .var ), True )),
4830
4822
(
4831
4823
self .asbinary ,
4832
4824
self .mon_native ,
@@ -4848,11 +4840,7 @@ def test_lt_asbinary(self):
4848
4840
self .linear ,
4849
4841
InequalityExpression ((self .bin , self .linear ), True ),
4850
4842
),
4851
- (
4852
- self .asbinary ,
4853
- self .sum ,
4854
- InequalityExpression ((self .bin , self .sum ), True ),
4855
- ),
4843
+ (self .asbinary , self .sum , InequalityExpression ((self .bin , self .sum ), True )),
4856
4844
(
4857
4845
self .asbinary ,
4858
4846
self .other ,
@@ -4976,23 +4964,15 @@ def test_lt_one(self):
4976
4964
(self .one , self .native , True ),
4977
4965
(self .one , self .npv , InequalityExpression ((1 , self .npv ), True )),
4978
4966
(self .one , self .param , True ),
4979
- (
4980
- self .one ,
4981
- self .param_mut ,
4982
- InequalityExpression ((1 , self .param_mut ), True ),
4983
- ),
4967
+ (self .one , self .param_mut , InequalityExpression ((1 , self .param_mut ), True )),
4984
4968
# 8:
4985
4969
(self .one , self .var , InequalityExpression ((1 , self .var ), True )),
4986
4970
(
4987
4971
self .one ,
4988
4972
self .mon_native ,
4989
4973
InequalityExpression ((1 , self .mon_native ), True ),
4990
4974
),
4991
- (
4992
- self .one ,
4993
- self .mon_param ,
4994
- InequalityExpression ((1 , self .mon_param ), True ),
4995
- ),
4975
+ (self .one , self .mon_param , InequalityExpression ((1 , self .mon_param ), True )),
4996
4976
(self .one , self .mon_npv , InequalityExpression ((1 , self .mon_npv ), True )),
4997
4977
# 12:
4998
4978
(self .one , self .linear , InequalityExpression ((1 , self .linear ), True )),
@@ -5075,11 +5055,7 @@ def test_lt_native(self):
5075
5055
self .le ,
5076
5056
RangedExpression ((5 ,) + self .le .args , (True , False )),
5077
5057
),
5078
- (
5079
- self .native ,
5080
- self .lt ,
5081
- RangedExpression ((5 ,) + self .lt .args , (True , True )),
5082
- ),
5058
+ (self .native , self .lt , RangedExpression ((5 ,) + self .lt .args , (True , True ))),
5083
5059
# 24
5084
5060
(
5085
5061
self .native ,
@@ -5093,11 +5069,7 @@ def test_lt_native(self):
5093
5069
def test_lt_npv (self ):
5094
5070
tests = [
5095
5071
(self .npv , self .invalid , NotImplemented ),
5096
- (
5097
- self .npv ,
5098
- self .asbinary ,
5099
- InequalityExpression ((self .npv , self .bin ), True ),
5100
- ),
5072
+ (self .npv , self .asbinary , InequalityExpression ((self .npv , self .bin ), True )),
5101
5073
(self .npv , self .zero , InequalityExpression ((self .npv , 0 ), True )),
5102
5074
(self .npv , self .one , InequalityExpression ((self .npv , 1 ), True )),
5103
5075
# 4:
@@ -5230,11 +5202,7 @@ def test_lt_param(self):
5230
5202
"Cannot create an InequalityExpression where one of the "
5231
5203
"sub-expressions is a relational expression" ,
5232
5204
),
5233
- (
5234
- self .param ,
5235
- self .le ,
5236
- RangedExpression ((6 ,) + self .le .args , (True , False )),
5237
- ),
5205
+ (self .param , self .le , RangedExpression ((6 ,) + self .le .args , (True , False ))),
5238
5206
(self .param , self .lt , RangedExpression ((6 ,) + self .lt .args , (True , True ))),
5239
5207
# 24
5240
5208
(
@@ -5259,11 +5227,7 @@ def test_lt_param_mut(self):
5259
5227
self .zero ,
5260
5228
InequalityExpression ((self .param_mut , 0 ), True ),
5261
5229
),
5262
- (
5263
- self .param_mut ,
5264
- self .one ,
5265
- InequalityExpression ((self .param_mut , 1 ), True ),
5266
- ),
5230
+ (self .param_mut , self .one , InequalityExpression ((self .param_mut , 1 ), True )),
5267
5231
# 4:
5268
5232
(
5269
5233
self .param_mut ,
@@ -5383,11 +5347,7 @@ def test_lt_param_mut(self):
5383
5347
def test_lt_var (self ):
5384
5348
tests = [
5385
5349
(self .var , self .invalid , NotImplemented ),
5386
- (
5387
- self .var ,
5388
- self .asbinary ,
5389
- InequalityExpression ((self .var , self .bin ), True ),
5390
- ),
5350
+ (self .var , self .asbinary , InequalityExpression ((self .var , self .bin ), True )),
5391
5351
(self .var , self .zero , InequalityExpression ((self .var , 0 ), True )),
5392
5352
(self .var , self .one , InequalityExpression ((self .var , 1 ), True )),
5393
5353
# 4:
@@ -5621,11 +5581,7 @@ def test_lt_mon_param(self):
5621
5581
self .zero ,
5622
5582
InequalityExpression ((self .mon_param , 0 ), True ),
5623
5583
),
5624
- (
5625
- self .mon_param ,
5626
- self .one ,
5627
- InequalityExpression ((self .mon_param , 1 ), True ),
5628
- ),
5584
+ (self .mon_param , self .one , InequalityExpression ((self .mon_param , 1 ), True )),
5629
5585
# 4:
5630
5586
(
5631
5587
self .mon_param ,
@@ -5965,11 +5921,7 @@ def test_lt_linear(self):
5965
5921
def test_lt_sum (self ):
5966
5922
tests = [
5967
5923
(self .sum , self .invalid , NotImplemented ),
5968
- (
5969
- self .sum ,
5970
- self .asbinary ,
5971
- InequalityExpression ((self .sum , self .bin ), True ),
5972
- ),
5924
+ (self .sum , self .asbinary , InequalityExpression ((self .sum , self .bin ), True )),
5973
5925
(self .sum , self .zero , InequalityExpression ((self .sum , 0 ), True )),
5974
5926
(self .sum , self .one , InequalityExpression ((self .sum , 1 ), True )),
5975
5927
# 4:
@@ -6531,11 +6483,7 @@ def test_lt_param0(self):
6531
6483
self .le ,
6532
6484
RangedExpression ((0 ,) + self .le .args , (True , False )),
6533
6485
),
6534
- (
6535
- self .param0 ,
6536
- self .lt ,
6537
- RangedExpression ((0 ,) + self .lt .args , (True , True )),
6538
- ),
6486
+ (self .param0 , self .lt , RangedExpression ((0 ,) + self .lt .args , (True , True ))),
6539
6487
# 24
6540
6488
(
6541
6489
self .param0 ,
@@ -6597,11 +6545,7 @@ def test_lt_param1(self):
6597
6545
self .le ,
6598
6546
RangedExpression ((1 ,) + self .le .args , (True , False )),
6599
6547
),
6600
- (
6601
- self .param1 ,
6602
- self .lt ,
6603
- RangedExpression ((1 ,) + self .lt .args , (True , True )),
6604
- ),
6548
+ (self .param1 , self .lt , RangedExpression ((1 ,) + self .lt .args , (True , True ))),
6605
6549
# 24
6606
6550
(
6607
6551
self .param1 ,
@@ -6891,11 +6835,7 @@ def test_lt_le(self):
6891
6835
self .zero ,
6892
6836
RangedExpression ((self .le .args + (0 ,)), (False , True )),
6893
6837
),
6894
- (
6895
- self .le ,
6896
- self .one ,
6897
- RangedExpression ((self .le .args + (1 ,)), (False , True )),
6898
- ),
6838
+ (self .le , self .one , RangedExpression ((self .le .args + (1 ,)), (False , True ))),
6899
6839
# 4:
6900
6840
(
6901
6841
self .le ,
@@ -7022,11 +6962,7 @@ def test_lt_lt(self):
7022
6962
self .asbinary ,
7023
6963
RangedExpression ((self .lt .args + (self .bin ,)), (True , True )),
7024
6964
),
7025
- (
7026
- self .lt ,
7027
- self .zero ,
7028
- RangedExpression ((self .lt .args + (0 ,)), (True , True )),
7029
- ),
6965
+ (self .lt , self .zero , RangedExpression ((self .lt .args + (0 ,)), (True , True ))),
7030
6966
(self .lt , self .one , RangedExpression ((self .lt .args + (1 ,)), (True , True ))),
7031
6967
# 4:
7032
6968
(
0 commit comments