public interface IntegerSubsumerBidirectionalGraph extends IntegerSubsumerGraph
Modifier and Type | Method and Description |
---|---|
Collection<Integer> |
getSubsumees(int vertex)
Returns the collection of subsumees of a given vertex.
|
containsPair, getBottomElement, getElements, getSubsumers, getTopElement
Collection<Integer> getSubsumees(int vertex)
vertex
- to get the collection of subsumeesCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.