Uses of Package
de.tudresden.inf.lat.jcel.reasoner.main

Packages that use de.tudresden.inf.lat.jcel.reasoner.main
de.tudresden.inf.lat.jcel.reasoner.main
Provides interfaces and classes used for the reasoner. 
 

Classes in de.tudresden.inf.lat.jcel.reasoner.main used by de.tudresden.inf.lat.jcel.reasoner.main
IntegerReasoner
          This interface models a reasoner.
RuleBasedReasoner
          This class models a rule-based reasoner.
 



Copyright © 2012. All Rights Reserved.