Uses of Class
net.sf.tweety.logics.fol.syntax.QuantifiedFormula

Packages that use QuantifiedFormula

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

Uses of QuantifiedFormula in net.sf.tweety.logics.fol.syntax

Subclasses of QuantifiedFormula in net.sf.tweety.logics.fol.syntax

Modifier and Type	Class and Description
class	ExistsQuantifiedFormula
class	ForallQuantifiedFormula For-All quantified formula.

Methods in net.sf.tweety.logics.fol.syntax that return types with arguments of type QuantifiedFormula

Modifier and Type	Method and Description
java.util.Set<QuantifiedFormula>	SpecialFormula.getQuantifiedFormulas()
java.util.Set<QuantifiedFormula>	QuantifiedFormula.getQuantifiedFormulas()