Uses of Class
de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentClassesAxiom

Packages that use IntegerEquivalentClassesAxiom
de.tudresden.inf.lat.jcel.ontology.axiom.complex
Provides interfaces and classes that model complex axioms. 
 

Uses of IntegerEquivalentClassesAxiom in de.tudresden.inf.lat.jcel.ontology.axiom.complex
 

Methods in de.tudresden.inf.lat.jcel.ontology.axiom.complex that return IntegerEquivalentClassesAxiom
 IntegerEquivalentClassesAxiom ComplexIntegerAxiomFactoryImpl.createEquivalentClassesAxiom(Set<IntegerClassExpression> descSet)
           
 IntegerEquivalentClassesAxiom ComplexIntegerAxiomFactory.createEquivalentClassesAxiom(Set<IntegerClassExpression> descSet)
          Constructs a new equivalent classes axiom.
 

Methods in de.tudresden.inf.lat.jcel.ontology.axiom.complex with parameters of type IntegerEquivalentClassesAxiom
 T ComplexIntegerAxiomVisitor.visit(IntegerEquivalentClassesAxiom axiom)
          Visits an equivalent classes axiom.
 



Copyright © 2012. All Rights Reserved.