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
net.sf.tweety.logics.fol.test

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

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

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

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