Uses of Class
de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom

Packages that use GCI0Axiom
de.tudresden.inf.lat.jcel.coreontology.axiom
Provides interfaces and classes that model normalized axioms. 
 

Uses of GCI0Axiom in de.tudresden.inf.lat.jcel.coreontology.axiom
 

Methods in de.tudresden.inf.lat.jcel.coreontology.axiom that return GCI0Axiom
 GCI0Axiom NormalizedIntegerAxiomFactoryImpl.createGCI0Axiom(int subCl, int superCl)
           
 GCI0Axiom NormalizedIntegerAxiomFactory.createGCI0Axiom(int subCl, int superCl)
          Constructs a new GCI-0 axiom.
 

Methods in de.tudresden.inf.lat.jcel.coreontology.axiom that return types with arguments of type GCI0Axiom
 Set<GCI0Axiom> ExtendedOntologyImpl.getGCI0Axioms(int classId)
           
 Set<GCI0Axiom> ExtendedOntology.getGCI0Axioms(int classId)
          Returns the set of all axioms GCI0 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 GCI0Axiom
 T NormalizedIntegerAxiomVisitor.visit(GCI0Axiom axiom)
          Visits a GCI-0 axiom.
 Boolean ExtendedOntologyImpl.visit(GCI0Axiom axiom)
           
 



Copyright © 2012. All Rights Reserved.