svf-lib 1.0.2398 → 1.0.2400
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.
|
@@ -216,39 +216,39 @@ public:
|
|
|
216
216
|
/// Reload operator
|
|
217
217
|
//{%
|
|
218
218
|
// Overloads the equality operator to compare two BoundedInt objects.
|
|
219
|
-
friend
|
|
219
|
+
friend bool operator==(const BoundedInt& lhs, const BoundedInt& rhs)
|
|
220
220
|
{
|
|
221
221
|
return lhs.equal(rhs);
|
|
222
222
|
}
|
|
223
223
|
|
|
224
224
|
// Overloads the inequality operator to compare two BoundedInt objects.
|
|
225
|
-
friend
|
|
225
|
+
friend bool operator!=(const BoundedInt& lhs, const BoundedInt& rhs)
|
|
226
226
|
{
|
|
227
227
|
return !lhs.equal(rhs);
|
|
228
228
|
}
|
|
229
229
|
|
|
230
230
|
// Overloads the greater than operator to compare two BoundedInt objects.
|
|
231
|
-
friend
|
|
231
|
+
friend bool operator>(const BoundedInt& lhs, const BoundedInt& rhs)
|
|
232
232
|
{
|
|
233
233
|
return !lhs.leq(rhs);
|
|
234
234
|
}
|
|
235
235
|
|
|
236
236
|
// Overloads the less than operator to compare two BoundedInt objects.
|
|
237
|
-
friend
|
|
237
|
+
friend bool operator<(const BoundedInt& lhs, const BoundedInt& rhs)
|
|
238
238
|
{
|
|
239
239
|
return !lhs.geq(rhs);
|
|
240
240
|
}
|
|
241
241
|
|
|
242
242
|
// Overloads the less than or equal to operator to compare two BoundedInt
|
|
243
243
|
// objects.
|
|
244
|
-
friend
|
|
244
|
+
friend bool operator<=(const BoundedInt& lhs, const BoundedInt& rhs)
|
|
245
245
|
{
|
|
246
246
|
return lhs.leq(rhs);
|
|
247
247
|
}
|
|
248
248
|
|
|
249
249
|
// Overloads the greater than or equal to operator to compare two BoundedInt
|
|
250
250
|
// objects.
|
|
251
|
-
friend
|
|
251
|
+
friend bool operator>=(const BoundedInt& lhs, const BoundedInt& rhs)
|
|
252
252
|
{
|
|
253
253
|
return lhs.geq(rhs);
|
|
254
254
|
}
|
|
@@ -863,38 +863,38 @@ public:
|
|
|
863
863
|
|
|
864
864
|
/// Reload operator
|
|
865
865
|
//{%
|
|
866
|
-
friend
|
|
867
|
-
|
|
866
|
+
friend bool operator==(const BoundedDouble& lhs,
|
|
867
|
+
const BoundedDouble& rhs)
|
|
868
868
|
{
|
|
869
869
|
return lhs.equal(rhs);
|
|
870
870
|
}
|
|
871
871
|
|
|
872
|
-
friend
|
|
873
|
-
|
|
872
|
+
friend bool operator!=(const BoundedDouble& lhs,
|
|
873
|
+
const BoundedDouble& rhs)
|
|
874
874
|
{
|
|
875
875
|
return !lhs.equal(rhs);
|
|
876
876
|
}
|
|
877
877
|
|
|
878
|
-
friend
|
|
879
|
-
|
|
878
|
+
friend bool operator>(const BoundedDouble& lhs,
|
|
879
|
+
const BoundedDouble& rhs)
|
|
880
880
|
{
|
|
881
881
|
return !lhs.leq(rhs);
|
|
882
882
|
}
|
|
883
883
|
|
|
884
|
-
friend
|
|
885
|
-
|
|
884
|
+
friend bool operator<(const BoundedDouble& lhs,
|
|
885
|
+
const BoundedDouble& rhs)
|
|
886
886
|
{
|
|
887
887
|
return !lhs.geq(rhs);
|
|
888
888
|
}
|
|
889
889
|
|
|
890
|
-
friend
|
|
891
|
-
|
|
890
|
+
friend bool operator<=(const BoundedDouble& lhs,
|
|
891
|
+
const BoundedDouble& rhs)
|
|
892
892
|
{
|
|
893
893
|
return lhs.leq(rhs);
|
|
894
894
|
}
|
|
895
895
|
|
|
896
|
-
friend
|
|
897
|
-
|
|
896
|
+
friend bool operator>=(const BoundedDouble& lhs,
|
|
897
|
+
const BoundedDouble& rhs)
|
|
898
898
|
{
|
|
899
899
|
return lhs.geq(rhs);
|
|
900
900
|
}
|