Uses of Interface
de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner

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

Uses of IntegerReasoner in de.tudresden.inf.lat.jcel.reasoner.main
 

Classes in de.tudresden.inf.lat.jcel.reasoner.main that implement IntegerReasoner
 class RuleBasedReasoner
          This class models a rule-based reasoner.
 



Copyright © 2012. All Rights Reserved.