svf-lib 1.0.2028 → 1.0.2029
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.
|
@@ -382,10 +382,7 @@ public:
|
|
|
382
382
|
void view();
|
|
383
383
|
};
|
|
384
384
|
|
|
385
|
-
} // End namespace SVF
|
|
386
385
|
|
|
387
|
-
namespace SVF
|
|
388
|
-
{
|
|
389
386
|
/* !
|
|
390
387
|
* GenericGraphTraits specializations for the generic graph algorithms.
|
|
391
388
|
* Provide graph traits for traversing from a constraint node using standard graph traversals.
|
|
@@ -405,6 +402,6 @@ template<> struct GenericGraphTraits<SVF::ConstraintGraph*> : public GenericGrap
|
|
|
405
402
|
typedef SVF::ConstraintNode *NodeRef;
|
|
406
403
|
};
|
|
407
404
|
|
|
408
|
-
} // End namespace
|
|
405
|
+
} // End namespace SVF
|
|
409
406
|
|
|
410
407
|
#endif /* CONSG_H_ */
|
|
Binary file
|
|
Binary file
|