public interface IsomorphismSet extends java.util.Set<Graph>
Modifier and Type | Method and Description |
---|---|
Morphism |
addIsomorphic(Graph graph)
Makes sure that a graph isomorphic to a given graph is present in this
IsomorphismSet (optional operation).
|
Morphism |
containsIsomorphic(Graph graph)
Determines whether this IsomorphismSet contains a graph which is
isomorphic to a given graph.
|
Morphism containsIsomorphic(Graph graph)
null
is returned.graph
- graph to find in this IsomorphismSetgraph
to a graph in this IsomorphismSet,
or null
if this IsomorphismSet does not contain a graph
which is isomorphic to graph
java.lang.NullPointerException
- if graph
is null
Morphism addIsomorphic(Graph graph)
graph
- graph to be added to this IsomorphismSetgraph
to an isomorphic graph in this
setjava.lang.NullPointerException
- if graph
is null
UnsupportedOperation
- if this IsomorphismSet does not support adding elements