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

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

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

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

Methods in de.tudresden.inf.lat.jcel.ontology.axiom.complex with parameters of type IntegerDisjointClassesAxiom
 T ComplexIntegerAxiomVisitor.visit(IntegerDisjointClassesAxiom axiom)
          Visits a disjoint classes axiom.
 



Copyright © 2012. All Rights Reserved.