public interface IntegerClassExpression extends IntegerDatatype
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 |
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.
|
getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature
<T> T accept(IntegerClassExpressionVisitor<T> visitor)
boolean containsBottom()
true
if and only if this class expression contains a
bottomboolean hasOnlyClasses()
true
if and only if this class expression contains
only literalsboolean isLiteral()
true
if and only if this class expression is a
literalCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.