Uses of Package
net.sf.tweety.logics.fol.reasoner

Packages that use net.sf.tweety.logics.fol.reasoner

Package	Description
net.sf.tweety.logics.fol.reasoner

Classes in net.sf.tweety.logics.fol.reasoner used by net.sf.tweety.logics.fol.reasoner

Class	Description
FolReasoner	Abstract FOL Prover to be implemented by concrete solvers