public class OWLObjectIntersectionOfImpl extends OWLNaryBooleanClassExpressionImpl implements OWLObjectIntersectionOf
Constructor and Description |
---|
OWLObjectIntersectionOfImpl(Set<? extends OWLClassExpression> operands) |
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
|
Set<OWLClassExpression> |
asConjunctSet()
Interprets this expression as a conjunction and returns the conjuncts.
|
boolean |
containsConjunct(OWLClassExpression ce)
Determines if this class expression contains a particular conjunct.
|
boolean |
equals(Object obj) |
ClassExpressionType |
getClassExpressionType()
Gets the class expression type for this class expression
|
addAnonymousIndividualsToSet, addSignatureEntitiesToSet, getOperands, getOperandsAsList, isClassExpressionLiteral
asDisjunctSet, asOWLClass, getComplementNNF, getNNF, getObjectComplementOf, isOWLNothing, isOWLThing
compareTo, containsEntityInSignature, getAnnotationPropertiesInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString
getOperands, getOperandsAsList
asDisjunctSet, asOWLClass, getComplementNNF, getNNF, getObjectComplementOf, isClassExpressionLiteral, isOWLNothing, isOWLThing
getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity, toString
compareTo
getSignature
containsEntityInSignature
getAnonymousIndividuals
getClassesInSignature
getObjectPropertiesInSignature
getDataPropertiesInSignature
getIndividualsInSignature
getDatatypesInSignature
getAnnotationPropertiesInSignature
isAnonymous, isNamed
public OWLObjectIntersectionOfImpl(@Nonnull Set<? extends OWLClassExpression> operands)
operands
- operandspublic ClassExpressionType getClassExpressionType()
OWLClassExpression
getClassExpressionType
in interface OWLClassExpression
public boolean equals(Object obj)
equals
in class OWLNaryBooleanClassExpressionImpl
public void accept(@Nonnull OWLClassExpressionVisitor visitor)
OWLClassExpression
OWLExpressionVisitor
accept
in interface OWLClassExpression
visitor
- The visitor that wants to visitpublic void accept(OWLObjectVisitor visitor)
OWLObject
public <O> O accept(OWLObjectVisitorEx<O> visitor)
OWLObject
public <O> O accept(OWLClassExpressionVisitorEx<O> visitor)
accept
in interface OWLClassExpression
O
- visitor return typevisitor
- visitorpublic Set<OWLClassExpression> asConjunctSet()
OWLClassExpression
asConjunctSet
in interface OWLClassExpression
asConjunctSet
in class OWLAnonymousClassExpressionImpl
public boolean containsConjunct(OWLClassExpression ce)
OWLClassExpression
containsConjunct
in interface OWLClassExpression
containsConjunct
in class OWLAnonymousClassExpressionImpl
ce
- The conjunct to test fortrue
if this class expression is equal to ce
or if this class
expression is an ObjectIntersectionOf
(possibly nested within another
ObjectIntersectionOf
) that contains ce
, otherwise false
.Copyright © 2020 The University of Manchester. All rights reserved.