public interface IntegerDeclarationAxiom extends ComplexIntegerAxiom
Modifier and Type | Method and Description |
---|---|
Integer |
getEntity()
Returns the entity declared by this axioms.
|
accept
getAnnotations
getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature
Integer getEntity()
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.