public class OWLObjectMinCardinalityImpl extends OWLObjectCardinalityRestrictionImpl implements OWLObjectMinCardinality
Constructor and Description |
---|
OWLObjectMinCardinalityImpl(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) |
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 OWLObjectMinCardinalityImpl(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 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)