Uses of Class
net.sf.tweety.logics.commons.syntax.QuantifiedFormulaSupport

Packages that use QuantifiedFormulaSupport

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

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

Fields in net.sf.tweety.logics.fol.syntax declared as QuantifiedFormulaSupport

Modifier and Type	Field and Description
protected QuantifiedFormulaSupport<FolFormula>	ForallQuantifiedFormula.support This helper class implements common functionalities of quantified formulas, meaning the implementation can delegate the method calls to the support class.
protected QuantifiedFormulaSupport<FolFormula>	ExistsQuantifiedFormula.support This helper class implements common functionalities of quantified formulas, meaning the implementation can delegate the method calls to the support class.