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

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

Package	Description
net.sf.tweety.logics.fol.parser
net.sf.tweety.logics.fol.prover
net.sf.tweety.logics.fol.writer

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

Class and Description
FolBeliefSet This class models a first-order knowledge base, i.e.

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

Class and Description
FolBeliefSet This class models a first-order knowledge base, i.e.

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

Class and Description
FolBeliefSet This class models a first-order knowledge base, i.e.