|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |