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 Description 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.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.
-