|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use GCI1Axiom | |
---|---|
de.tudresden.inf.lat.jcel.coreontology.axiom |
Provides interfaces and classes that model normalized axioms. |
Uses of GCI1Axiom in de.tudresden.inf.lat.jcel.coreontology.axiom |
---|
Methods in de.tudresden.inf.lat.jcel.coreontology.axiom that return GCI1Axiom | |
---|---|
GCI1Axiom |
NormalizedIntegerAxiomFactoryImpl.createGCI1Axiom(List<Integer> leftClList,
int rightCl)
|
GCI1Axiom |
NormalizedIntegerAxiomFactory.createGCI1Axiom(List<Integer> leftClList,
int rightCl)
Constructs a new GCI-1 axiom. |
Methods in de.tudresden.inf.lat.jcel.coreontology.axiom that return types with arguments of type GCI1Axiom | |
---|---|
Set<GCI1Axiom> |
ExtendedOntologyImpl.getGCI1Axioms(int classId)
|
Set<GCI1Axiom> |
ExtendedOntology.getGCI1Axioms(int classId)
Returns the set of all axioms GCI1 in the ontology such that the given class occurs in the left part of the axiom. |
Methods in de.tudresden.inf.lat.jcel.coreontology.axiom with parameters of type GCI1Axiom | |
---|---|
T |
NormalizedIntegerAxiomVisitor.visit(GCI1Axiom axiom)
Visits a GCI-1 axiom. |
Boolean |
ExtendedOntologyImpl.visit(GCI1Axiom axiom)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |