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 visitor
|
<O> O |
accept(OWLClassExpressionVisitorEx<O> visitor)
Accepts a 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
|
isDataRestriction, isObjectRestriction, isQualified
getCardinality, getFiller
getProperty, isClassExpressionLiteral
asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isOWLNothing, isOWLThing
compareTo, containsEntityInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString
isQualified
getFiller
getProperty, isDataRestriction, isObjectRestriction
asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isClassExpressionLiteral, isOWLNothing, isOWLThing
getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
compareTo
containsEntityInSignature
getCardinality
public OWLObjectExactCardinalityImpl(OWLObjectPropertyExpression property, int cardinality, OWLClassExpression filler)
property
- propertycardinality
- cardinalityfiller
- fillerpublic ClassExpressionType getClassExpressionType()
OWLClassExpression
getClassExpressionType
in interface OWLClassExpression
public boolean equals(Object obj)
equals
in class OWLObjectCardinalityRestrictionImpl
public OWLClassExpression asIntersectionOfMinMax()
OWLObjectExactCardinality
asIntersectionOfMinMax
in interface OWLObjectExactCardinality
public void accept(OWLClassExpressionVisitor visitor)
OWLClassExpression
accept
in interface OWLClassExpression
visitor
- The visitorpublic void accept(OWLObjectVisitor visitor)
OWLObject
public <O> O accept(OWLClassExpressionVisitorEx<O> visitor)
OWLClassExpression
accept
in interface OWLClassExpression
O
- visitor return typevisitor
- The visitorpublic <O> O accept(OWLObjectVisitorEx<O> visitor)
OWLObject
Copyright © 2017 The University of Manchester. All Rights Reserved.