public class IntegerObjectIntersectionOf extends Object implements IntegerClassExpression
Modifier | Constructor and Description |
---|---|
protected |
IntegerObjectIntersectionOf(Set<IntegerClassExpression> operands)
Constructs an intersection of class expressions.
|
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() |
Set<Integer> |
getDataPropertiesInSignature() |
Set<Integer> |
getDatatypesInSignature() |
Set<Integer> |
getIndividualsInSignature() |
Set<Integer> |
getObjectPropertiesInSignature() |
Set<IntegerClassExpression> |
getOperands()
Return the operands 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 IntegerObjectIntersectionOf(Set<IntegerClassExpression> operands)
operands
- set of class expressionspublic <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()
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 Set<Integer> getObjectPropertiesInSignature()
getObjectPropertiesInSignature
in interface IntegerDatatype
public Set<IntegerClassExpression> getOperands()
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.