public static class OWLGraphEdge.OWLGraphEdgeSet extends HashSet<OWLGraphEdge>
Set
of OWLGraphEdge
s. The add(OWLGraphEdge)
and addAll(Collection)
methods allow to merge the underlying axioms
of the OWLGraphEdge
s that are tried to be added with potential equal
OWLGraphEdge
already present in this Set
.#OWLGraphEdge#getAxioms()
,
Serialized FormConstructor and Description |
---|
OWLGraphEdge.OWLGraphEdgeSet() |
OWLGraphEdge.OWLGraphEdgeSet(OWLGraphEdge.OWLGraphEdgeSet edges) |
OWLGraphEdge.OWLGraphEdgeSet(Set<OWLGraphEdge> edges) |
Modifier and Type | Method and Description |
---|---|
boolean |
add(OWLGraphEdge edge)
Try to add
edge to this OWLGraphEdgeSet , or, if it already
contains an equal OWLGraphEdge , merges their underlying OWLAxiom s
(as returned by their getOWLAxioms methods). |
boolean |
addAll(Collection<? extends OWLGraphEdge> edges)
Try to add or merge each element of
edges into this OWLGraphEdgeSet ,
as performed by the method add(OWLGraphEdge) . |
clear, clone, contains, isEmpty, iterator, remove, size
equals, hashCode, removeAll
containsAll, retainAll, toArray, toArray, toString
public OWLGraphEdge.OWLGraphEdgeSet()
public OWLGraphEdge.OWLGraphEdgeSet(OWLGraphEdge.OWLGraphEdgeSet edges)
public OWLGraphEdge.OWLGraphEdgeSet(Set<OWLGraphEdge> edges)
public boolean addAll(Collection<? extends OWLGraphEdge> edges)
edges
into this OWLGraphEdgeSet
,
as performed by the method add(OWLGraphEdge)
.
As a result of this method, some elements of edges
could have
been added to this OWLGraphEdgeSet
, and/or some elements contained
in this OWLGraphEdgeSet
could have been replaced.
addAll
in interface Collection<OWLGraphEdge>
addAll
in interface Set<OWLGraphEdge>
addAll
in class AbstractCollection<OWLGraphEdge>
edges
- A Set
of OWLGraphEdge
s to be added to
this OWLGraphEdgeSet
, or that will provide their underlying
OWLAxiom
s to potential equal edges already existing.boolean
always true
to comply to
the Set
signature.public boolean add(OWLGraphEdge edge)
edge
to this OWLGraphEdgeSet
, or, if it already
contains an equal OWLGraphEdge
, merges their underlying OWLAxiom
s
(as returned by their getOWLAxioms
methods).
As a result of this method, either this OWLGraphEdgeSet
would contain
one more element, or one of the element it contains would have been replaced.
add
in interface Collection<OWLGraphEdge>
add
in interface Set<OWLGraphEdge>
add
in class HashSet<OWLGraphEdge>
edge
- An OWLGraphEdge
to be added to this OWLGraphEdgeSet
,
or that will provide its underlying OWLAxiom
s to potential
equal edge already existing.boolean
always true
to comply to
the Set
signature.Copyright © 2010–2015. All rights reserved.