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) |
<O> O |
accept(OWLObjectVisitorEx<O> visitor) |
OWLClassExpression |
asIntersectionOfMinMax()
Obtains an equivalent form that is a conjunction of a min cardinality
and max cardinality restriction.
|
boolean |
equals(java.lang.Object obj) |
ClassExpressionType |
getClassExpressionType()
Gets the class expression type for this class expression
|
isDataRestriction, isObjectRestriction, isQualified
compareObjectOfSameType, getCardinality, getFiller
getProperty, isClassExpressionLiteral
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
getCardinality, 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
public OWLObjectExactCardinalityImpl(OWLObjectPropertyExpression property, int cardinality, OWLClassExpression filler)
public ClassExpressionType getClassExpressionType()
getClassExpressionType
in interface OWLClassExpression
public boolean equals(java.lang.Object obj)
equals
in class OWLObjectCardinalityRestrictionImpl
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)
public <O> O accept(OWLClassExpressionVisitorEx<O> visitor)
accept
in interface OWLClassExpression
public <O> O accept(OWLObjectVisitorEx<O> visitor)