FSM Library - C++ version
HittingSet.h
1 /*
2  * Copyright. GaĆ«l Dottel, Christoph Hilken, and Jan Peleska 2016 - 2021
3  *
4  * Licensed under the EUPL V.1.1
5  */
6 #ifndef FSM_SETS_HITTINGSET_H_
7 #define FSM_SETS_HITTINGSET_H_
8 
9 #include <iostream>
10 #include <unordered_set>
11 #include <vector>
12 
13 #include "sets/HsTreeNode.h"
14 
16 {
17 private:
21  std::vector<std::unordered_set<int>> s;
22 
23  //TODO
24  std::unordered_set<int> h;
25 public:
30  HittingSet(const std::vector<std::unordered_set<int>>& s);
31 
36  std::unordered_set<int> calcMinCardHittingSet() const;
37 };
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