|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use RI1Axiom | |
---|---|
de.tudresden.inf.lat.jcel.coreontology.axiom |
Provides interfaces and classes that model normalized axioms. |
Uses of RI1Axiom in de.tudresden.inf.lat.jcel.coreontology.axiom |
---|
Methods in de.tudresden.inf.lat.jcel.coreontology.axiom that return RI1Axiom | |
---|---|
RI1Axiom |
NormalizedIntegerAxiomFactoryImpl.createRI1Axiom(int prop)
|
RI1Axiom |
NormalizedIntegerAxiomFactory.createRI1Axiom(int prop)
Constructs a new axiom RI-1. |
Methods in de.tudresden.inf.lat.jcel.coreontology.axiom with parameters of type RI1Axiom | |
---|---|
T |
NormalizedIntegerAxiomVisitor.visit(RI1Axiom axiom)
Visits an RI-1 axiom. |
Boolean |
ExtendedOntologyImpl.visit(RI1Axiom axiom)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |