svf-lib 1.0.2015 → 1.0.2017
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.
- package/SVF-linux/Release-build/bin/ae +0 -0
- package/SVF-linux/Release-build/include/Graphs/WTO.h +12 -1
- package/SVF-linux/Release-build/lib/libSvfCore.a +0 -0
- package/SVF-osx/Release-build/bin/ae +0 -0
- package/SVF-osx/Release-build/include/Graphs/WTO.h +12 -1
- package/SVF-osx/Release-build/lib/libSvfCore.a +0 -0
- package/SVF-osx/Release-build/lib/libSvfLLVM.a +0 -0
- package/package.json +1 -1
|
Binary file
|
|
@@ -414,6 +414,12 @@ public:
|
|
|
414
414
|
return _head;
|
|
415
415
|
}
|
|
416
416
|
|
|
417
|
+
/// Get all wto components in WTO cycle
|
|
418
|
+
const WTOComponentRefList& getWTOComponents() const
|
|
419
|
+
{
|
|
420
|
+
return _components;
|
|
421
|
+
}
|
|
422
|
+
|
|
417
423
|
/// Begin iterator over the components
|
|
418
424
|
Iterator begin() const
|
|
419
425
|
{
|
|
@@ -579,7 +585,12 @@ public:
|
|
|
579
585
|
}
|
|
580
586
|
}
|
|
581
587
|
|
|
582
|
-
///
|
|
588
|
+
/// Get all wto components in WTO
|
|
589
|
+
const WTOComponentRefList& getWTOComponents() const
|
|
590
|
+
{
|
|
591
|
+
return _components;
|
|
592
|
+
}
|
|
593
|
+
|
|
583
594
|
/// Begin iterator over the components
|
|
584
595
|
Iterator begin() const
|
|
585
596
|
{
|
|
Binary file
|
|
Binary file
|
|
@@ -414,6 +414,12 @@ public:
|
|
|
414
414
|
return _head;
|
|
415
415
|
}
|
|
416
416
|
|
|
417
|
+
/// Get all wto components in WTO cycle
|
|
418
|
+
const WTOComponentRefList& getWTOComponents() const
|
|
419
|
+
{
|
|
420
|
+
return _components;
|
|
421
|
+
}
|
|
422
|
+
|
|
417
423
|
/// Begin iterator over the components
|
|
418
424
|
Iterator begin() const
|
|
419
425
|
{
|
|
@@ -579,7 +585,12 @@ public:
|
|
|
579
585
|
}
|
|
580
586
|
}
|
|
581
587
|
|
|
582
|
-
///
|
|
588
|
+
/// Get all wto components in WTO
|
|
589
|
+
const WTOComponentRefList& getWTOComponents() const
|
|
590
|
+
{
|
|
591
|
+
return _components;
|
|
592
|
+
}
|
|
593
|
+
|
|
583
594
|
/// Begin iterator over the components
|
|
584
595
|
Iterator begin() const
|
|
585
596
|
{
|
|
Binary file
|
|
Binary file
|