6 #ifndef FSM_SETS_HITTINGSET_H_
7 #define FSM_SETS_HITTINGSET_H_
10 #include <unordered_set>
13 #include "sets/HsTreeNode.h"
21 std::vector<std::unordered_set<int>> s;
24 std::unordered_set<int> h;
30 HittingSet(
const std::vector<std::unordered_set<int>>& s);
38 #endif //FSM_SETS_HITTINGSET_H_
std::unordered_set< int > calcMinCardHittingSet() const
Definition: HittingSet.cpp:20
Definition: HittingSet.h:15
HittingSet(const std::vector< std::unordered_set< int >> &s)
Definition: HittingSet.cpp:8