public class IntegerDataHasValue extends Object implements IntegerClassExpression
Modifier | Constructor and Description |
---|---|
protected |
IntegerDataHasValue(int propertyId,
int val)
Constructs a has-value class expression.
|
Modifier and Type | Method and Description |
---|---|
<T> T |
accept(IntegerClassExpressionVisitor<T> visitor) |
boolean |
containsBottom()
Tells whether or not this class expression contains a bottom.
|
boolean |
equals(Object o) |
Set<Integer> |
getClassesInSignature()
Returns the classes in the signature.
|
Set<Integer> |
getDataPropertiesInSignature()
Returns the data properties in the signature.
|
Set<Integer> |
getDatatypesInSignature()
Returns the data types in the signature.
|
Set<Integer> |
getIndividualsInSignature()
Returns the individuals in the signature.
|
Set<Integer> |
getObjectPropertiesInSignature()
Returns the object properties in the signature.
|
int |
getProperty()
Returns the data property in this class expression.
|
int |
getValue()
Returns the value in this class expression.
|
int |
hashCode() |
boolean |
hasOnlyClasses()
Tells whether or not this class expression contains only one class in its
signature.
|
boolean |
isLiteral()
Tells whether or not this class expression is a literal.
|
String |
toString() |
protected IntegerDataHasValue(int propertyId, int val)
propertyId
- data property expressionval
- valuepublic <T> T accept(IntegerClassExpressionVisitor<T> visitor)
accept
in interface IntegerClassExpression
public boolean containsBottom()
IntegerClassExpression
containsBottom
in interface IntegerClassExpression
true
if and only if this class expression contains a
bottompublic Set<Integer> getClassesInSignature()
IntegerDatatype
getClassesInSignature
in interface IntegerDatatype
public Set<Integer> getDataPropertiesInSignature()
IntegerDatatype
getDataPropertiesInSignature
in interface IntegerDatatype
public Set<Integer> getDatatypesInSignature()
IntegerDatatype
getDatatypesInSignature
in interface IntegerDatatype
public Set<Integer> getIndividualsInSignature()
IntegerDatatype
getIndividualsInSignature
in interface IntegerDatatype
public Set<Integer> getObjectPropertiesInSignature()
IntegerDatatype
getObjectPropertiesInSignature
in interface IntegerDatatype
public int getProperty()
public int getValue()
public boolean hasOnlyClasses()
IntegerClassExpression
hasOnlyClasses
in interface IntegerClassExpression
true
if and only if this class expression contains
only literalspublic boolean isLiteral()
IntegerClassExpression
isLiteral
in interface IntegerClassExpression
true
if and only if this class expression is a
literalCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.