6 #ifndef FSM_SETS_HSTREENODE_H_
7 #define FSM_SETS_HSTREENODE_H_
13 #include <unordered_set>
19 std::unordered_set<int> x;
20 std::vector<std::unordered_set<int>> s;
21 std::vector<HsTreeNode> children;
35 HsTreeNode(
const std::unordered_set<int>& x,
const std::vector<std::unordered_set<int>>& s);
64 #endif //FSM_SETS_HSTREENODE_H_
static int maxNodeNum
Definition: HsTreeNode.h:32
bool isHittingSet() const
Definition: HsTreeNode.cpp:23
static std::unordered_set< int > hSmallest
Definition: HsTreeNode.h:27
void add(const HsTreeNode &node)
Definition: HsTreeNode.cpp:54
std::string toDot()
Definition: HsTreeNode.cpp:78
size_t size() const
Definition: HsTreeNode.cpp:18
Definition: HsTreeNode.h:16