public interface IntegerAxiom extends IntegerDatatype
IntegerAxiom
is an axiom that is composed by integer numbers.
It should use a small amount of memory.Modifier and Type | Method and Description |
---|---|
Set<Annotation> |
getAnnotations()
Returns the annotations of this axiom.
|
getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature
Set<Annotation> getAnnotations()
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.