vishnu.model.transactions.deadlock
Interface Graph<E>

All Known Implementing Classes:

MatrixGraph, WaitsForGraph

public interface Graph<E>

Representa un grafo orientado.

Author:

Mariano Tepper

Method Summary

void	add(E node) Agrega un nodo al grafo.
void	addEdge(E origin, E end) Agrega un eje al grafo entre los nodos especificados.
void	clear() Borra el grafo.
boolean	contains(E node) Indica si el grafo contiene el nodo especificado.
boolean	containsEdge(E origin, E end) Indica si el grafo contiene un eje entre los nodos especificados.
java.util.List<E>	neighbors(E node) La lista de nodos con ejes incidentes que parten del nodo especificado
java.util.List<E>	nodes() La lista de nodos del grafo.
void	remove(E node) Saca un nodo del grafo.
void	removeEdge(E origin, E end) Elimina un eje al grafo entre los nodos especificados.

Method Detail

add

void add(E node)

Agrega un nodo al grafo.

Parameters:

node - - el nuevo nodo del grafo.

remove

void remove(E node)

Saca un nodo del grafo.

Parameters:

node - - el nodo a eliminar del grafo.

contains

boolean contains(E node)

Indica si el grafo contiene el nodo especificado.

Parameters:

node - - el nodo.

Returns:

true si el grafo contiene el nodo, false si no.

addEdge

void addEdge(E origin,
             E end)

Agrega un eje al grafo entre los nodos especificados. El eje es orientado.

Parameters:

origin - - el nodo de salida del eje.

end - - eń nodo de llegada del eje.

removeEdge

void removeEdge(E origin,
                E end)

Elimina un eje al grafo entre los nodos especificados. El eje es orientado.

Parameters:

origin - - el nodo de salida del eje.

end - - eń nodo de llegada del eje.

containsEdge

boolean containsEdge(E origin,
                     E end)

Indica si el grafo contiene un eje entre los nodos especificados. El eje es orientado.

Parameters:

origin - - el nodo de salida del eje.

end - - eń nodo de llegada del eje.

Returns:

true si el grafo contiene el eje, false si no.

nodes

java.util.List<E> nodes()

La lista de nodos del grafo.

Returns:

la lista con todos los nodos del grafo.

neighbors

java.util.List<E> neighbors(E node)

La lista de nodos con ejes incidentes que parten del nodo especificado

Parameters:

node - - el nodo.

Returns:

la lista de vecinos del nodo.

clear

void clear()

Borra el grafo.