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