public class IntegerDataProperty extends Object implements IntegerDataPropertyExpression, Comparable<IntegerDataProperty>
Modifier | Constructor and Description |
---|---|
protected |
IntegerDataProperty(int n)
Constructs a data property.
|
Modifier and Type | Method and Description |
---|---|
int |
compareTo(IntegerDataProperty o) |
boolean |
equals(Object o) |
Set<Integer> |
getClassesInSignature() |
Set<Integer> |
getDataPropertiesInSignature() |
Set<Integer> |
getDatatypesInSignature() |
int |
getId()
Returns the identifier of the used data property.
|
Set<Integer> |
getIndividualsInSignature() |
Set<Integer> |
getObjectPropertiesInSignature() |
int |
hashCode() |
String |
toString() |
protected IntegerDataProperty(int n)
n
- data property identifierpublic int compareTo(IntegerDataProperty o)
compareTo
in interface Comparable<IntegerDataProperty>
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 int getId()
IntegerDataPropertyExpression
getId
in interface IntegerDataPropertyExpression
public Set<Integer> getIndividualsInSignature()
getIndividualsInSignature
in interface IntegerDatatype
public Set<Integer> getObjectPropertiesInSignature()
getObjectPropertiesInSignature
in interface IntegerDatatype
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.