public class OWLObjectOneOfImpl extends OWLAnonymousClassExpressionImpl implements OWLObjectOneOf
Constructor and Description |
---|
OWLObjectOneOfImpl(Set<? extends OWLIndividual> values) |
Modifier and Type | Method and Description |
---|---|
void |
accept(OWLClassExpressionVisitor visitor)
Accepts a visit from an
OWLExpressionVisitor |
<O> O |
accept(OWLClassExpressionVisitorEx<O> visitor) |
void |
accept(OWLObjectVisitor visitor)
Accepts a visitor
|
<O> O |
accept(OWLObjectVisitorEx<O> visitor)
Accepts a visitor
|
void |
addAnonymousIndividualsToSet(Set<OWLAnonymousIndividual> anons) |
void |
addSignatureEntitiesToSet(Set<OWLEntity> entities) |
OWLClassExpression |
asObjectUnionOf()
Simplifies this enumeration to a union of singleton nominals
|
boolean |
equals(Object obj) |
ClassExpressionType |
getClassExpressionType()
Gets the class expression type for this class expression
|
Set<OWLIndividual> |
getIndividuals()
Gets the individuals that are in the oneOf.
|
boolean |
isClassExpressionLiteral()
Determines if this class is a literal.
|
asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getComplementNNF, getNNF, getObjectComplementOf, isOWLNothing, isOWLThing
compareTo, containsEntityInSignature, getAnnotationPropertiesInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString
asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getComplementNNF, getNNF, getObjectComplementOf, isOWLNothing, isOWLThing
getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity, toString
compareTo
getSignature
containsEntityInSignature
getAnonymousIndividuals
getClassesInSignature
getObjectPropertiesInSignature
getDataPropertiesInSignature
getIndividualsInSignature
getDatatypesInSignature
getAnnotationPropertiesInSignature
isAnonymous, isNamed
public OWLObjectOneOfImpl(@Nonnull Set<? extends OWLIndividual> values)
values
- values for oneofpublic void addSignatureEntitiesToSet(Set<OWLEntity> entities)
addSignatureEntitiesToSet
in interface HasIncrementalSignatureGenerationSupport
entities
- entity set where entities will be addedpublic void addAnonymousIndividualsToSet(Set<OWLAnonymousIndividual> anons)
addAnonymousIndividualsToSet
in interface HasIncrementalSignatureGenerationSupport
anons
- anonymous individuals set where individuals will be addedpublic ClassExpressionType getClassExpressionType()
OWLClassExpression
getClassExpressionType
in interface OWLClassExpression
public Set<OWLIndividual> getIndividuals()
OWLObjectOneOf
getIndividuals
in interface OWLObjectOneOf
ObjectOneOf
class expression.public boolean isClassExpressionLiteral()
OWLClassExpression
isClassExpressionLiteral
in interface OWLClassExpression
true
if this is a literal, or false if this is not a literal.public OWLClassExpression asObjectUnionOf()
OWLObjectOneOf
asObjectUnionOf
in interface OWLObjectOneOf
simp({a}) = {a}, simp({a0, ... ,
{an}) = unionOf({a0}, ... , {an})}
public boolean equals(Object obj)
equals
in class OWLObjectImplWithoutEntityAndAnonCaching
public void accept(OWLClassExpressionVisitor visitor)
OWLClassExpression
OWLExpressionVisitor
accept
in interface OWLClassExpression
visitor
- The visitor that wants to visitpublic void accept(OWLObjectVisitor visitor)
OWLObject
public <O> O accept(OWLClassExpressionVisitorEx<O> visitor)
accept
in interface OWLClassExpression
O
- visitor return typevisitor
- visitorpublic <O> O accept(OWLObjectVisitorEx<O> visitor)
OWLObject
Copyright © 2020 The University of Manchester. All rights reserved.