Detailed Description

Tree node structure for labeled tree used in pseudo-determinization

Definition at line 77 of file omg_pseudodet.h.

#include <omg_pseudodet.h>

Public Types
enum	Color { WHITE , RED , GREEN }
	Node color for Rabin acceptance condition tracking. More...

Public Member Functions
	TreeNode ()
	Default constructor. More...

	TreeNode (int number)
	Constructor with node number. More...

bool	operator< (const TreeNode &other) const
	Comparison operator for ordering. More...

bool	operator== (const TreeNode &other) const
	Equality operator. More...

std::string	ToString () const
	Debug string representation. More...

Public Attributes
StateSet	stateLabel
	S: state label. More...

std::set< int >	aSet
	A-set (using node numbers 1..N) More...

std::set< int >	rSet
	R-set (using node numbers 1..N) More...

std::vector< Idx >	children
	child nodes More...

int	nodeNumber
	Fixed node number (1 to N) More...

enum faudes::TreeNode::Color	color

Member Enumeration Documentation

◆ Color

enum faudes::TreeNode::Color

Node color for Rabin acceptance condition tracking.

Enumerator
WHITE
RED
GREEN

Definition at line 86 of file omg_pseudodet.h.

Constructor & Destructor Documentation

◆ TreeNode() [1/2]

faudes::TreeNode::TreeNode ( )

Default constructor.

Definition at line 46 of file omg_pseudodet.cpp.

◆ TreeNode() [2/2]

faudes::TreeNode::TreeNode ( int number )

Constructor with node number.

Definition at line 48 of file omg_pseudodet.cpp.

Member Function Documentation

◆ operator<()

bool faudes::TreeNode::operator< ( const TreeNode & other ) const

Comparison operator for ordering.

Definition at line 50 of file omg_pseudodet.cpp.

◆ operator==()

bool faudes::TreeNode::operator== ( const TreeNode & other ) const

Equality operator.

Definition at line 59 of file omg_pseudodet.cpp.

◆ ToString()

std::string faudes::TreeNode::ToString ( ) const

Debug string representation.

Definition at line 68 of file omg_pseudodet.cpp.

Member Data Documentation

◆ aSet

std::set<int> faudes::TreeNode::aSet

A-set (using node numbers 1..N)

Definition at line 80 of file omg_pseudodet.h.

◆ children

std::vector<Idx> faudes::TreeNode::children

child nodes

Definition at line 82 of file omg_pseudodet.h.

◆ color

enum faudes::TreeNode::Color faudes::TreeNode::color

◆ nodeNumber

int faudes::TreeNode::nodeNumber

Fixed node number (1 to N)

Definition at line 83 of file omg_pseudodet.h.

◆ rSet

std::set<int> faudes::TreeNode::rSet

R-set (using node numbers 1..N)

Definition at line 81 of file omg_pseudodet.h.

◆ stateLabel

StateSet faudes::TreeNode::stateLabel

S: state label.

Definition at line 79 of file omg_pseudodet.h.

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