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

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)
           
 



Copyright © 2012. All Rights Reserved.