public interface NormalizedIntegerAxiom extends IntegerAxiom
Modifier and Type | Method and Description |
---|---|
<T> T |
accept(NormalizedIntegerAxiomVisitor<T> visitor)
Applies a visitor to this normalized integer axiom.
|
getAnnotations
getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature
<T> T accept(NormalizedIntegerAxiomVisitor<T> visitor)
T
- the return type of the visitor's methodsvisitor
- visitorCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.