de.tudresden.inf.lat.jcel.coreontology.axiom
Interface NormalizedIntegerAxiom

All Superinterfaces:
IntegerAxiom, IntegerDatatype
All Known Implementing Classes:
FunctObjectPropAxiom, GCI0Axiom, GCI1Axiom, GCI2Axiom, GCI3Axiom, NominalAxiom, RangeAxiom, RI1Axiom, RI2Axiom, RI3Axiom

public interface NormalizedIntegerAxiom
extends IntegerAxiom

This interface is for normalized axioms, that is, resulting axioms of the normalization process.

Author:
Julian Mendez

Method Summary
<T> T
accept(NormalizedIntegerAxiomVisitor<T> visitor)
          Applies a visitor to this normalized integer axiom.
 
Methods inherited from interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype
getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature
 

Method Detail

accept

<T> T accept(NormalizedIntegerAxiomVisitor<T> visitor)
Applies a visitor to this normalized integer axiom.

Type Parameters:
T - the return type of the visitor's methods
Parameters:
visitor - visitor
Returns:
the visit result


Copyright © 2012. All Rights Reserved.