public interface OWLObjectExactCardinality extends OWLObjectCardinalityRestriction
Modifier and Type | Method and Description |
---|---|
default void |
accept(OWLClassExpressionVisitor visitor)
Accepts a visit from an
OWLExpressionVisitor . |
default <O> O |
accept(OWLClassExpressionVisitorEx<O> visitor) |
default void |
accept(OWLObjectVisitor visitor)
Accepts a visitor
|
default <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.
|
default ClassExpressionType |
getClassExpressionType()
Gets the class expression type for this class expression.
|
default int |
hashIndex() |
default int |
typeIndex() |
components, initHashCode, isQualified
getCardinality
getProperty, isObjectRestriction
isDataRestriction
asConjunctSet, asDisjunctSet, conjunctSet, containsConjunct, disjunctSet, getComplementNNF, getNNF, getObjectComplementOf, isClassExpressionLiteral, isOWLNothing, isOWLThing
asOWLClass, isOWLClass
default int hashIndex()
hashIndex
in interface HasHashIndex
default int typeIndex()
default ClassExpressionType getClassExpressionType()
OWLClassExpression
getClassExpressionType
in interface OWLClassExpression
OWLClassExpression asIntersectionOfMinMax()
default void accept(OWLObjectVisitor visitor)
OWLObject
default <O> O accept(OWLObjectVisitorEx<O> visitor)
OWLObject
default void accept(OWLClassExpressionVisitor visitor)
OWLClassExpression
OWLExpressionVisitor
.accept
in interface OWLClassExpression
visitor
- The visitor that wants to visitdefault <O> O accept(OWLClassExpressionVisitorEx<O> visitor)
accept
in interface OWLClassExpression
O
- visitor return typevisitor
- visitorCopyright © 2020 The University of Manchester. All rights reserved.