svf-lib 1.0.2400 → 1.0.2402

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.
Files changed (3) hide show
  1. package/SVF-linux-aarch64/include/AE/Core/NumericValue.h +12 -12
  2. package/SVF-linux-x86_64/include/AE/Core/NumericValue.h +12 -12
  3. package/package.json +1 -1
package/SVF-linux-aarch64/include/AE/Core/NumericValue.h CHANGED
@@ -863,38 +863,38 @@ public:
863
863
 
864
864
  /// Reload operator
865
865
  //{%
866
- friend BoundedDouble operator==(const BoundedDouble& lhs,
867
- const BoundedDouble& rhs)
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 BoundedDouble operator!=(const BoundedDouble& lhs,
873
- const BoundedDouble& rhs)
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 BoundedDouble operator>(const BoundedDouble& lhs,
879
- const BoundedDouble& rhs)
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 BoundedDouble operator<(const BoundedDouble& lhs,
885
- const BoundedDouble& rhs)
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 BoundedDouble operator<=(const BoundedDouble& lhs,
891
- const BoundedDouble& rhs)
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 BoundedDouble operator>=(const BoundedDouble& lhs,
897
- const BoundedDouble& rhs)
896
+ friend bool operator>=(const BoundedDouble& lhs,
897
+ const BoundedDouble& rhs)
898
898
  {
899
899
  return lhs.geq(rhs);
900
900
  }
package/SVF-linux-x86_64/include/AE/Core/NumericValue.h CHANGED
@@ -863,38 +863,38 @@ public:
863
863
 
864
864
  /// Reload operator
865
865
  //{%
866
- friend BoundedDouble operator==(const BoundedDouble& lhs,
867
- const BoundedDouble& rhs)
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 BoundedDouble operator!=(const BoundedDouble& lhs,
873
- const BoundedDouble& rhs)
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 BoundedDouble operator>(const BoundedDouble& lhs,
879
- const BoundedDouble& rhs)
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 BoundedDouble operator<(const BoundedDouble& lhs,
885
- const BoundedDouble& rhs)
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 BoundedDouble operator<=(const BoundedDouble& lhs,
891
- const BoundedDouble& rhs)
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 BoundedDouble operator>=(const BoundedDouble& lhs,
897
- const BoundedDouble& rhs)
896
+ friend bool operator>=(const BoundedDouble& lhs,
897
+ const BoundedDouble& rhs)
898
898
  {
899
899
  return lhs.geq(rhs);
900
900
  }
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.2400",
3
+ "version": "1.0.2402",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {