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

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

Package	Description
net.sf.tweety.logics.fol.prover
net.sf.tweety.logics.fol.test

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

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

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

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