public interface IntegerSubsumerGraph
Modifier and Type | Method and Description |
---|---|
boolean |
containsPair(int subsumee,
int subsumer)
Tells whether this subsumer graph contains the given pair.
|
int |
getBottomElement()
Returns the bottom element.
|
Collection<Integer> |
getElements()
Returns the collection of vertices in the graph.
|
Collection<Integer> |
getSubsumers(int vertex)
Returns the collection of subsumers of a given vertex.
|
int |
getTopElement()
Returns the top element.
|
boolean containsPair(int subsumee, int subsumer)
subsumee
- subsumeesubsumer
- subsumertrue
if and only if this subsumer graph contains the
given pairint getBottomElement()
Collection<Integer> getElements()
Collection<Integer> getSubsumers(int vertex)
vertex
- to get the collection of subsumersint getTopElement()
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.