public class graphs_comparator extends Object
| Constructor and Description |
|---|
graphs_comparator() |
| Modifier and Type | Method and Description |
|---|---|
boolean |
edges_comparator(org.jgrapht.GraphPath<Object,es.tid.tedb.IntraDomainEdge> gp1,
org.jgrapht.GraphPath<Object,es.tid.tedb.IntraDomainEdge> gp2) |
Copyright © 2016. All rights reserved.