Package | Description |
---|---|
de.uni_due.inf.ti.graph | |
de.uni_due.inf.ti.graph.util |
Utility classes.
|
Modifier and Type | Method and Description |
---|---|
IsomorphismMap<java.lang.Integer> |
ExplicitTransitionSystem.getDepths()
Returns a map which assigns a depth to each graph in this
ExplicitTransitionSystem.
|
Modifier and Type | Class and Description |
---|---|
class |
IsomorphismHashMap<T>
Map of which the keys are graphs modulo isomorphism.
|