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