Referencia del Namespace TL

Arboles de adolfo@di-mare.com cuyos nodos contienen un puntero izquierdo al hijo y uno derecho al hermano o padre. Más...

Clases
class	TL::Tree_Node< E >
	Nodos almacenados en el árbol. Más...
class	TL::Tree< E >
	Los métodos para trabajar con árboles regresan "referencias" que son sub-árboles. Más...
Funciones
template<class E>
bool	check_ok (const E &)
template<class E>
bool	check_ok (const Tree< E > &T)
	Verifica que se cumpla la invariante de la clase, o sea, que el objeto esté bien construido.
template<class E>
bool	operator== (const Tree< E > &p, const Tree< E > &q)
template<class E>
bool	operator!= (const Tree< E > &p, const Tree< E > &q)
template<class E>
bool	check_ok_Tree (Tree< E > &T)
	Verifica que se cumpla la invariante de la clase, o sea, que el objeto esté bien construido.

---

Descripción detallada

Arboles de adolfo@di-mare.com cuyos nodos contienen un puntero izquierdo al hijo y uno derecho al hermano o padre.

---

Documentación de las funciones

template<class E> bool check_ok (  const E &   )

template<class E> bool TL::check_ok (  const Tree< E > &  T  )

Verifica que se cumpla la invariante de la clase, o sea, que el objeto esté bien construido. La razón por la que esta función no es un método es continuar la costumbre de muchos programadores quienes no definen la invariante para sus clases, pues en muchos casos sobra hacerlo. No invoca check_ok( value_type& ) para cada valor almacenado, aunque si el árbol cumple con su invariante necesariamentes es porque también sus elementos almacenados están bien construidos. Esta función en general es difícil de implementar, y en algunos casos es imposible pues, cuando el objeto no está bien construido, puede ocurrir que la función no retorne (como ocurriria si un nodo interno del árbol apunta de vuelta a la raíz, lo que se resulta en un círculo). En general, la implementáción de esta función no es completa pues hay casos en que es imposible verificar la invariante de una clase. Complejidad: O( Count() ) ==> tiempo O( Height() ) ==> espacio Postcondición: Retorna "true" si el árbol es un objeto bien construido Ver también: check_ok(Tree&) http://www.di-mare.com/adolfo/binder/c04.htm#sc11 Definición en la línea 872 del archivo Tree_L.h.

template<class E> bool operator== (  const Tree< E > &  p, const Tree< E > &  q )  [inline]

Definición en la línea 804 del archivo Tree_L.h.

template<class E> bool operator!= (  const Tree< E > &  p, const Tree< E > &  q )  [inline]

Definición en la línea 806 del archivo Tree_L.h.

template<class E> bool check_ok_Tree (  Tree< E > &  T  )  [inline]

Verifica que se cumpla la invariante de la clase, o sea, que el objeto esté bien construido. Además de todo el trabajo que hace check_ok(Tree& T), acá hay que constatar que el nodo raíz no tiene padre, que es la diferencia fundamental entre un árbol y un sub-árbol Postcondición: Retorna "true" si el árbol es un objeto bien construido Desaprobado: Los árboles y los sub-árboles son la misma cosa. Ver también: check_ok(Tree&) Definición en la línea 1348 del archivo Tree_L.h.

---