Stree Member List

This is the complete list of members for Stree, including all inherited members.

addLastChild(int parent, std::set< State > const &childLabel)	Stree
getLabel(int node) const	Stree	inline
isGreen(int node) const	Stree
isIsomorphic(Stree const &other, int root=0, int otherRoot=0) const	Stree
makeContiguous(void)	Stree
preorder(std::vector< int > &order) const	Stree
removeDescendants(int node)	Stree
removeSubtree(int node)	Stree
restrictLabels(void)	Stree
setLabel(int node, std::set< State > newlabel)	Stree	inline
size(void) const	Stree	inline
Stree(void)	Stree
toDot(std::string graphname=std::string("tree"), std::string subgraph=std::string("")) const	Stree
toString(void) const	Stree
undef	Stree	static