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

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

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

Methods in de.tudresden.inf.lat.jcel.ontology.axiom.complex that return IntegerDifferentIndividualsAxiom
 IntegerDifferentIndividualsAxiom ComplexIntegerAxiomFactoryImpl.createDifferentIndividualsAxiom(Set<Integer> individualSet)
           
 IntegerDifferentIndividualsAxiom ComplexIntegerAxiomFactory.createDifferentIndividualsAxiom(Set<Integer> individualSet)
          Constructs a new different individuals axiom
 

Methods in de.tudresden.inf.lat.jcel.ontology.axiom.complex with parameters of type IntegerDifferentIndividualsAxiom
 T ComplexIntegerAxiomVisitor.visit(IntegerDifferentIndividualsAxiom axiom)
          Visits a different individuals axiom.
 



Copyright © 2012. All Rights Reserved.