public class IntegerObjectInverseOf extends Object implements IntegerObjectPropertyExpression, Comparable<IntegerObjectInverseOf>
Modifier | Constructor and Description |
---|---|
protected |
IntegerObjectInverseOf(IntegerObjectProperty property)
Constructs an inverse object property.
|
Modifier and Type | Method and Description |
---|---|
<T> T |
accept(IntegerObjectPropertyExpressionVisitor<T> visitor) |
int |
compareTo(IntegerObjectInverseOf o) |
boolean |
equals(Object o) |
Set<Integer> |
getClassesInSignature() |
Set<Integer> |
getDataPropertiesInSignature() |
Set<Integer> |
getDatatypesInSignature() |
Set<Integer> |
getIndividualsInSignature() |
IntegerObjectProperty |
getInverse()
Returns the inverse used for this object property expression
|
Set<Integer> |
getObjectPropertiesInSignature() |
int |
hashCode() |
boolean |
isLiteral()
Tells whether or not this property expression is a literal.
|
String |
toString() |
protected IntegerObjectInverseOf(IntegerObjectProperty property)
property
- property to create the inversepublic <T> T accept(IntegerObjectPropertyExpressionVisitor<T> visitor)
accept
in interface IntegerObjectPropertyExpression
public int compareTo(IntegerObjectInverseOf o)
compareTo
in interface Comparable<IntegerObjectInverseOf>
public Set<Integer> getClassesInSignature()
getClassesInSignature
in interface IntegerDatatype
public Set<Integer> getDataPropertiesInSignature()
getDataPropertiesInSignature
in interface IntegerDatatype
public Set<Integer> getDatatypesInSignature()
getDatatypesInSignature
in interface IntegerDatatype
public Set<Integer> getIndividualsInSignature()
getIndividualsInSignature
in interface IntegerDatatype
public IntegerObjectProperty getInverse()
public Set<Integer> getObjectPropertiesInSignature()
getObjectPropertiesInSignature
in interface IntegerDatatype
public boolean isLiteral()
IntegerObjectPropertyExpression
isLiteral
in interface IntegerObjectPropertyExpression
true
if and only if this class expression is a
literalCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.