public class OWLObjectOneOfImpl extends OWLAnonymousClassExpressionImpl implements OWLObjectOneOf
Constructor and Description |
---|
OWLObjectOneOfImpl(java.util.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) |
<O> O |
accept(OWLObjectVisitorEx<O> visitor) |
OWLClassExpression |
asObjectUnionOf()
Simplifies this enumeration to a union of singleton nominals
|
protected int |
compareObjectOfSameType(OWLObject object) |
boolean |
equals(java.lang.Object obj) |
ClassExpressionType |
getClassExpressionType()
Gets the class expression type for this class expression
|
java.util.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, isAnonymous, isOWLNothing, isOWLThing
compareLists, compareSets, compareTo, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, isBottomEntity, isTopEntity, setOWLDataFactory, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isOWLNothing, isOWLThing
getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
public OWLObjectOneOfImpl(java.util.Set<? extends OWLIndividual> values)
public ClassExpressionType getClassExpressionType()
getClassExpressionType
in interface OWLClassExpression
public java.util.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
public boolean equals(java.lang.Object obj)
equals
in class OWLObjectImpl
public void accept(OWLClassExpressionVisitor visitor)
OWLClassExpression
OWLExpressionVisitor
accept
in interface OWLClassExpression
visitor
- The visitor that wants to visitpublic void accept(OWLObjectVisitor visitor)
public <O> O accept(OWLClassExpressionVisitorEx<O> visitor)
accept
in interface OWLClassExpression
public <O> O accept(OWLObjectVisitorEx<O> visitor)
protected int compareObjectOfSameType(OWLObject object)
compareObjectOfSameType
in class OWLObjectImpl