public class OWLObjectExactCardinalityImpl extends OWLObjectCardinalityRestrictionImpl implements OWLObjectExactCardinality
Constructor and Description |
---|
OWLObjectExactCardinalityImpl(OWLObjectPropertyExpression property,
int cardinality,
OWLClassExpression filler) |
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
|
OWLClassExpression |
asIntersectionOfMinMax()
Obtains an equivalent form that is a conjunction of a min cardinality and
max cardinality restriction.
|
boolean |
equals(Object obj) |
ClassExpressionType |
getClassExpressionType()
Gets the class expression type for this class expression
|
addAnonymousIndividualsToSet, addSignatureEntitiesToSet, getProperty, isDataRestriction, isObjectRestriction, isQualified
getCardinality, getFiller
isClassExpressionLiteral
asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getComplementNNF, getNNF, getObjectComplementOf, isOWLNothing, isOWLThing
compareTo, containsEntityInSignature, getAnnotationPropertiesInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString
getCardinality, isQualified
getFiller
getProperty
isDataRestriction, isObjectRestriction
asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getComplementNNF, getNNF, getObjectComplementOf, isClassExpressionLiteral, isOWLNothing, isOWLThing
public OWLObjectExactCardinalityImpl(@Nonnull OWLObjectPropertyExpression property, int cardinality, @Nonnull OWLClassExpression filler)
property
- propertycardinality
- cardinalityfiller
- fillerpublic ClassExpressionType getClassExpressionType()
OWLClassExpression
getClassExpressionType
in interface OWLClassExpression
public boolean equals(Object obj)
equals
in class OWLObjectCardinalityRestrictionImpl
@Nonnull public OWLClassExpression asIntersectionOfMinMax()
OWLObjectExactCardinality
asIntersectionOfMinMax
in interface OWLObjectExactCardinality
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.