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

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)
           
 



Copyright © 2012. All Rights Reserved.