|
|
Verifica la invariante del grafo.
- Regresa
"true" si el grafo "DDD" contiene un valor correcto - Podría retornar
"true" para un grafo lista cuyo valor está corrupto - Podría no retornar si el grafo tiene su valor corrupto
- Como los valores del grafo están ordenados, verifica que la lista que DDD contiene esté ordenada
- Rep Diagrama de la clase
m_DICC[]
+------+-----------------------------------+
| | +---------+---------+-----------+ |
| F | | A(1)=>2 | A(2)=>8 | A(3)==>64 | |
| | +---------+---------+-----------+ |
+------+-----------------------------------+
| | +------+ | A(1) C(1)
| A(1) | | B=>2 | | / \ / \
| | +------+ | / \ / \
+------+-----------------------------------+ F----A(2)----B-- --D
| | +------+ | \ / \ /
| A(2) | | B=>8 | | \ / \ /
| | +------+ | A(3) C(2)
+------+-----------------------------------+
| | +-------+ |
| A(3) | | B=>64 | | G.set("F", "A(1)", 2 ); G.set( "A(1)", "B", 2 );
| | +-------+ | G.set("F", "A(2)", 8 ); G.set( "A(2)", "B", 8 );
+------+-----------------------------------+ G.set("F", "A(3)", 64 ); G.set( "A(3)", "B", 64 );
| | +---------+----------+ |
| B | | C(1)=>3 | C(2)=>27 | | G.set("B", "C(1)", 3 ); G.set( "C(1)", "D", 3 );
| | +---------+----------+ | G.set("B", "C(2)", 27 ); G.set( "C(2)", "D", 27 );
+------+-----------------------------------+
| | +------+ |
| C(1) | | D=>2 | |
| | +------+ |
+------+-----------------------------------+
| | +------+ |
| C(2) | | D=>8 | |
| | +------+ |
+------+-----------------------------------+
| | +-+ |
| D | | | | D no es salida de ninguna arista
| | +-+ | - Su diccionario está vacío
+------+-----------------------------------+
- El grafo está implementado como un diccionario que contiene otro diccionario.
- La llave del diccionario principal es el vértice que comienza un arco.
- Cada vértice tiene asociado un diccionario cuya llave es el vértice de destino. Este es el diccionario que representa cada arista.
- El valor numérico asociado en el diccionario de cada arista es el valor de la arista.
- Si un vértice no participa en ninguna arista, tampoco aparece en el grafo. / - En el grado sólo están almacenados los vértices que participan en alguna arista.
- Invariante: ningún objeto puede estar almacenado en la posición nula.
Definición en la línea 69 del archivo ADH_Graph.cpp. |
