mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Andrea Gussoni
17 lines
422 B
C++
17 lines
422 B
C++
#pragma once
|
|
|
|
//
|
|
// This file is distributed under the MIT License. See LICENSE.md for details.
|
|
//
|
|
|
|
template<class S1Ty, class S2Ty>
|
|
bool intersects(const S1Ty &S1, const S2Ty &S2) {
|
|
S1Ty Intersection = llvm::set_intersection(S1, S2);
|
|
return !Intersection.empty();
|
|
}
|
|
|
|
template<class S1Ty, class S2Ty>
|
|
bool equal(const S1Ty &S1, const S2Ty &S2) {
|
|
return llvm::set_is_subset(S1, S2) and llvm::set_is_subset(S2, S1);
|
|
}
|