public class OWLDataAllValuesFromImpl extends OWLQuantifiedDataRestrictionImpl implements OWLDataAllValuesFrom
Constructor and Description |
---|
OWLDataAllValuesFromImpl(OWLDataPropertyExpression property,
OWLDataRange 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
|
boolean |
isDataRestriction()
Determines if this is a data restriction.
|
boolean |
isObjectRestriction()
Determines if this is an object restriction.
|
compareObjectOfSameType
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
getFiller
getProperty
asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isClassExpressionLiteral, isOWLNothing, isOWLThing
getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
public OWLDataAllValuesFromImpl(OWLDataPropertyExpression property, OWLDataRange filler)
public ClassExpressionType getClassExpressionType()
getClassExpressionType
in interface OWLClassExpression
public boolean equals(java.lang.Object obj)
equals
in class OWLQuantifiedRestrictionImpl<OWLDataRange,OWLDataPropertyExpression,OWLDataRange>
public boolean isObjectRestriction()
OWLRestriction
isObjectRestriction
in interface OWLRestriction<OWLDataRange,OWLDataPropertyExpression,OWLDataRange>
true
if this is an object restriction, otherwise false
public boolean isDataRestriction()
OWLRestriction
isDataRestriction
in interface OWLRestriction<OWLDataRange,OWLDataPropertyExpression,OWLDataRange>
true
if this is a data restriction, otherwise false
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)