public class graph_diff<N,E>
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
graph_diff.change_state |
static interface |
graph_diff.edge_callback<N,E> |
static interface |
graph_diff.node_callback<N> |
Constructor and Description |
---|
graph_diff(Graph<N,E> old_graph,
Graph<N,E> new_graph,
graph_diff.node_callback<N> node_cb,
graph_diff.edge_callback<N,E> edge_cb) |
Modifier and Type | Method and Description |
---|---|
boolean |
compare_next() |
void |
compare() |