mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Giacomo Vercesi
1c07656448
Add the `initialize` function to `pipebox.py`. This allows passing command-line arguments to the pipebox.
19 lines
459 B
C++
19 lines
459 B
C++
#pragma once
|
|
|
|
//
|
|
// This file is distributed under the MIT License. See LICENSE.md for details.
|
|
//
|
|
|
|
#include "llvm/ADT/SetOperations.h"
|
|
|
|
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);
|
|
}
|