FSM Library - C++ version
Public Member Functions | Static Public Attributes | List of all members
HsTreeNode Class Reference

Public Member Functions

 HsTreeNode (const std::unordered_set< int > &x, const std::vector< std::unordered_set< int >> &s)
 
size_t size () const
 
bool isHittingSet () const
 
void add (const HsTreeNode &node)
 
void expandNode ()
 
std::string toDot ()
 

Static Public Attributes

static std::unordered_set< int > hSmallest
 
static int maxNodeNum = 0
 

Member Function Documentation

void HsTreeNode::add ( const HsTreeNode node)

Add a new hitting set tree node to this node's children

Parameters
Thenode to add
bool HsTreeNode::isHittingSet ( ) const

Check whether or not, it is a hitting set

Returns
true if is a hitting set, false otherwise
size_t HsTreeNode::size ( ) const

Getter for the size of the hitting set

Returns
The size of the hitting set
std::string HsTreeNode::toDot ( )

Create a dot file representing the hitting set (by calling this method recursively on its children)

Returns
A string containing the representation

Member Data Documentation

std::unordered_set< int > HsTreeNode::hSmallest
static

The smallest hitting set

int HsTreeNode::maxNodeNum = 0
static

The number of hitting set tree nodes already created


The documentation for this class was generated from the following files: